char s[500000];

[Vijay Kumar R Zanvar]

Greetings,
Will the following definition invoke
undefined behaviour, either at file scope
or block scope?

char s[500000];

--
"We approached the case, you remember Watson," said
Mr. Homles, "with an absolutely blank mind, which is
always an advantage."

[Martin Dickopp]

"Vijay Kumar R Zanvar" <vi*****@globaledgesoft.com> writes:

Will the following definition invoke
undefined behaviour, either at file scope
or block scope?

char s[500000];

Yes. An implementation need not support objects larger than
65535 bytes.

Martin
--
,--. Martin Dickopp, Dresden, Germany ,= ,-_-. =.
/ ,- ) http://www.zero-based.org/ ((_/)o o(\_))
\ `-' `-'(. .)`-'
`-. Debian, a variant of the GNU operating system. \_/

[Richard Bos]

Martin Dickopp <ex****************@zero-based.org> wrote:

"Vijay Kumar R Zanvar" <vi*****@globaledgesoft.com> writes:

Will the following definition invoke
undefined behaviour, either at file scope
or block scope?

char s[500000];

Yes. An implementation need not support objects larger than
65535 bytes.

AFAICT it still doesn't invoke UB. Any implementation may reject it as
being too large, but if it accepts this definition, it must accept it as
a normal array.

Richard

[Dan Pop]

In <40*****************@news.individual.net> rl*@hoekstra-uitgeverij.nl (Richard Bos) writes:

Martin Dickopp <ex****************@zero-based.org> wrote:

"Vijay Kumar R Zanvar" <vi*****@globaledgesoft.com> writes:

> Will the following definition invoke
> undefined behaviour, either at file scope
> or block scope?
>
> char s[500000];
Yes. An implementation need not support objects larger than
65535 bytes.

That's true for hosted C99 implementations *only*. Hosted C89
implementations need not support more than one object of 32767 bytes.
AFAICT it still doesn't invoke UB. Any implementation may reject it as
being too large, but if it accepts this definition, it must accept it as
a normal array.

I'm afraid Martin is right here, as I can't find the chapter and verse
which requires the implementation to emit a diagnostic if the size is
too large.

So, a maximally portable program needing a 500000 byte array will have
to check first that (size_t)-1 > 500000 and then try to allocate it
dynamically.

Dan
--
Dan Pop
DESY Zeuthen, RZ group
Email: Da*****@ifh.de

[ZAPPLE]

rl*@hoekstra-uitgeverij.nl (Richard Bos) wrote in message news:<40*****************@news.individual.net>...

Martin Dickopp <ex****************@zero-based.org> wrote:

"Vijay Kumar R Zanvar" <vi*****@globaledgesoft.com> writes:

Will the following definition invoke
undefined behaviour, either at file scope
or block scope?

char s[500000];

Yes. An implementation need not support objects larger than
65535 bytes.

AFAICT it still doesn't invoke UB. Any implementation may reject it as
being too large, but if it accepts this definition, it must accept it as
a normal array.

Richard

Hi Guys,
What is all about? Is this just a testing question or what? Instead if
you tell us what is the problem all about? we can have a great
discussion.
What do you think about this?
ZAPPLE - My computer is a Clever machine

[Robert Wessel]

Da*****@cern.ch (Dan Pop) wrote in message news:<c6**********@sunnews.cern.ch>...

I'm afraid Martin is right here, as I can't find the chapter and verse
which requires the implementation to emit a diagnostic if the size is
too large.

(C89) 5.1.1.3 Diagnostics: A conforming implementation shall produce
at least one diagnostic message (...) for every translation unit that
contains a violation of any syntax rule or constraint.

I would read "constraint" to include the translation limits.

[Jack Klein]

On 27 Apr 2004 16:09:15 -0700, ro***********@yahoo.com (Robert Wessel)
wrote in comp.lang.c:

Da*****@cern.ch (Dan Pop) wrote in message news:<c6**********@sunnews.cern.ch>...

I'm afraid Martin is right here, as I can't find the chapter and verse
which requires the implementation to emit a diagnostic if the size is
too large.

(C89) 5.1.1.3 Diagnostics: A conforming implementation shall produce
at least one diagnostic message (...) for every translation unit that
contains a violation of any syntax rule or constraint.

I would read "constraint" to include the translation limits.

Your interpretation is incorrect. The term "constraint" itself is
specifically defined in the standard:

"restriction, either syntactic or semantic, by which the exposition of
language elements is to be interpreted".

Even more specifically, constraint violations are enumerated in the
standard by appearing in specifically labeled clauses. A program that
fails due to exceeding translation limits does not exhibit a
constraint violation, and no diagnostic is required.

--
Jack Klein
Home: http://JK-Technology.Com
FAQs for
comp.lang.c http://www.eskimo.com/~scs/C-faq/top.html
comp.lang.c++ http://www.parashift.com/c++-faq-lite/
alt.comp.lang.learn.c-c++
http://www.contrib.andrew.cmu.edu/~a...FAQ-acllc.html

[Mark McIntyre]

On 27 Apr 2004 16:09:15 -0700, in comp.lang.c , ro***********@yahoo.com
(Robert Wessel) wrote:

Da*****@cern.ch (Dan Pop) wrote in message news:<c6**********@sunnews.cern.ch>...

I'm afraid Martin is right here, as I can't find the chapter and verse
which requires the implementation to emit a diagnostic if the size is
too large.

(C89) 5.1.1.3 Diagnostics: A conforming implementation shall produce
at least one diagnostic message (...) for every translation unit that
contains a violation of any syntax rule or constraint.

This is true, but bear in mind that
"VAXC-I-SUCCESS Succesful compilation"
is a diagnostic.

--
Mark McIntyre
CLC FAQ <http://www.eskimo.com/~scs/C-faq/top.html>
CLC readme: <http://www.angelfire.com/ms3/bchambless0/welcome_to_clc.html>
----== Posted via Newsfeed.Com - Unlimited-Uncensored-Secure Usenet News==----
http://www.newsfeed.com The #1 Newsgroup Service in the World! >100,000 Newsgroups
---= 19 East/West-Coast Specialized Servers - Total Privacy via Encryption =---