Constraint violation - when?

[Pietro Cerutti]

Dear all,

I would like to open another topic to try to clarify a doubt raised on
my previous post today with the subject 'printf("%d%d%d ")'.

Reading through the standard, I cannot find a clear definition of what
is a constraint violation.

Repeating the citation:
3.8
1 constraint
restriction, either syntactic or semantic, by which the exposition
of language elements is to be interpreted

As I understand it, a constraint is any explicit syntax or semantic rule.

Still, i = i++; is not a constraint violation.

Why? The standard clearly says that a variable cannot be modified more
than once within a single sequence point. The aforementioned code
modifies i twice. Isn't it a semantical rule being violated?

P.S. It's incredible how many things I get wrong reading the standard....

--
Pietro Cerutti

[santosh]

Pietro Cerutti <gahr_SPAM_gahr _ME_chwrote:

Dear all,

I would like to open another topic to try to clarify a doubt raised on
my previous post today with the subject 'printf("%d%d%d ")'.

Reading through the standard, I cannot find a clear definition of what
is a constraint violation.

Repeating the citation:
3.8
1 constraint
restriction, either syntactic or semantic, by which the
exposition of language elements is to be interpreted

As I understand it, a constraint is any explicit syntax or semantic
rule.

Still, i = i++; is not a constraint violation.

Why? The standard clearly says that a variable cannot be modified more
than once within a single sequence point. The aforementioned code
modifies i twice. Isn't it a semantical rule being violated?

P.S. It's incredible how many things I get wrong reading the
standard....

From n1256.pdf

4. Conformance

1 In this International Standard, ??shall?? is to be interpreted as a
requirement on an implementation or on a program; conversely, ??shall
not?? is to be interpreted as a prohibition.
2 If a ??shall?? or ??shall not?? requirement that appears outside of a
constraint is violated, the behavior is undefined. Undefined behavior
is otherwise indicated in this International Standard by the
words ??undefined behavior?? or by the omission of any explicit
definition of behavior. There is no difference in emphasis among these
three; they all describe ??behavior that is undefined??.

[Pietro Cerutti]

santosh wrote:

Pietro Cerutti <gahr_SPAM_gahr _ME_chwrote:

>Dear all,

I would like to open another topic to try to clarify a doubt raised on
my previous post today with the subject 'printf("%d%d%d ")'.

Reading through the standard, I cannot find a clear definition of what
is a constraint violation.

Repeating the citation:
3.8
1 constraint
restriction, either syntactic or semantic, by which the
exposition of language elements is to be interpreted

As I understand it, a constraint is any explicit syntax or semantic
rule.

Still, i = i++; is not a constraint violation.

Why? The standard clearly says that a variable cannot be modified more
than once within a single sequence point. The aforementioned code
modifies i twice. Isn't it a semantical rule being violated?

P.S. It's incredible how many things I get wrong reading the
standard....

From n1256.pdf

4. Conformance

1 In this International Standard, ??shall?? is to be interpreted as a
requirement on an implementation or on a program; conversely, ??shall
not?? is to be interpreted as a prohibition.
2 If a ??shall?? or ??shall not?? requirement that appears outside of a
constraint is violated, the behavior is undefined. Undefined behavior
is otherwise indicated in this International Standard by the
words ??undefined behavior?? or by the omission of any explicit
definition of behavior. There is no difference in emphasis among these
three; they all describe ??behavior that is undefined??.

Great, thanks. I think I've got it now...

--
Pietro Cerutti

[James Kuyper]

Pietro Cerutti wrote:

Dear all,

I would like to open another topic to try to clarify a doubt raised on
my previous post today with the subject 'printf("%d%d%d ")'.

Reading through the standard, I cannot find a clear definition of what
is a constraint violation.

Repeating the citation:
3.8
1 constraint
restriction, either syntactic or semantic, by which the exposition
of language elements is to be interpreted

I agree that this description is quite elliptic; I've never been able to
attach any clear meaning to the part after the second comma. However,
all is not lost --

As I understand it, a constraint is any explicit syntax or semantic rule.

Whatever it is that they meant to say in the definition above, it
appears, from the way the standard uses the term, that syntax rules are
distinct from syntactic constraints, and that semantic rules are
distinct from semantic constraints.

All you have to do to identify a constraint is to look at the title of
the section where you found it. If that title is "constraint s", then
it's a constraint; otherwise it's something else. Exception:
5.1.2.2.1p2, 6.10p2.

Lawrence Jones: wouldn't it be more consistent if 5.1.2.2.1p2 and 6.10p2
were not exceptions to this pattern?

[Ben Bacarisse]

Pietro Cerutti <gahr_SPAM_gahr _ME_chwrites:

<snip>

Still, i = i++; is not a constraint violation.

Why?

To add a little more... It is not a constraint violation because
constraints must be checked by the implementation and violations of
this rule (no multiple updates between sequence points) are hard to
diagnose in general (in fact it is not possible to detect this in
every case).

--
Ben.

[Pietro Cerutti]

Ben Bacarisse wrote:

Pietro Cerutti <gahr_SPAM_gahr _ME_chwrites:

<snip>

>Still, i = i++; is not a constraint violation.

Why?

To add a little more... It is not a constraint violation because
constraints must be checked by the implementation and violations of
this rule (no multiple updates between sequence points) are hard to
diagnose in general (in fact it is not possible to detect this in
every case).

Thanks for this point Ben. Then it's more about commodity to check than
about exact rules of the language.

--
Pietro Cerutti

[Pietro Cerutti]

James Kuyper wrote:

Pietro Cerutti wrote:

>Dear all,

I would like to open another topic to try to clarify a doubt raised on
my previous post today with the subject 'printf("%d%d%d ")'.

Reading through the standard, I cannot find a clear definition of what
is a constraint violation.

[snip]

All you have to do to identify a constraint is to look at the title of
the section where you found it. If that title is "constraint s", then
it's a constraint; otherwise it's something else. Exception:
5.1.2.2.1p2, 6.10p2.

This is a very good and practical hint! Thanks!
--
Pietro Cerutti

[Keith Thompson]

Pietro Cerutti <gahr_SPAM_gahr _ME_chwrites:

Ben Bacarisse wrote:

>Pietro Cerutti <gahr_SPAM_gahr _ME_chwrites:
<snip>

>>Still, i = i++; is not a constraint violation.

Why?

To add a little more... It is not a constraint violation because
constraints must be checked by the implementation and violations of
this rule (no multiple updates between sequence points) are hard to
diagnose in general (in fact it is not possible to detect this in
every case).

Thanks for this point Ben. Then it's more about commodity to check
than about exact rules of the language.

It's more about the fact that the standard's definition of
"constraint " in C99 3.8 is too vague.

If you think of a "constraint " as "any requirement that's in a section
marked 'Constraints'", there's little or no ambiguity.

And yes, the set of requirements that are "constraint s" was carefully
chosen to allow them to be reliable checked by the compiler. If it
were practical to diagnose "i = i++;" at compile time, it probably
would have been made a constraint.

--
Keith Thompson (The_Other_Keit h) ks***@mib.org <http://www.ghoti.net/~kst>
Nokia
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

[Keith Thompson]

James Kuyper <ja*********@ve rizon.netwrites :
[...]

All you have to do to identify a constraint is to look at the title of
the section where you found it. If that title is "constraint s", then
it's a constraint; otherwise it's something else. Exception:
5.1.2.2.1p2, 6.10p2.

Lawrence Jones: wouldn't it be more consistent if 5.1.2.2.1p2 and
6.10p2 were not exceptions to this pattern?

In 5.1.2.2.1p2:

If they are declared, the parameters to the main function shall
obey the following constraints:
...

the word "constraint s" is being used in a manner that's consistent
with the vague definition in 3.8, but not with the general usage of
the term "constraint " as a requirement whose violation can be
diagnosed at compile time.

The use of term "constraint s" in 6.10p2 is also rather odd. Something
that violates the listed "constraint s" isn't necessarily a diagnosable
error; it's just not a preprocessing directive.

--
Keith Thompson (The_Other_Keit h) ks***@mib.org <http://www.ghoti.net/~kst>
Nokia
"We must do something. This is something. Therefore, we must do this."
-- Antony Jay and Jonathan Lynn, "Yes Minister"

[jameskuyper]

Keith Thompson wrote:

James Kuyper <ja*********@ve rizon.netwrites :
[...]

All you have to do to identify a constraint is to look at the title of
the section where you found it. If that title is "constraint s", then
it's a constraint; otherwise it's something else. Exception:
5.1.2.2.1p2, 6.10p2.

Lawrence Jones: wouldn't it be more consistent if 5.1.2.2.1p2 and
6.10p2 were not exceptions to this pattern?

Note: I got an autormated reply that he's on vacation until 8/11

>
In 5.1.2.2.1p2:

If they are declared, the parameters to the main function shall
obey the following constraints:
...

the word "constraint s" is being used in a manner that's consistent
with the vague definition in 3.8, but not with the general usage of
the term "constraint " as a requirement whose violation can be
diagnosed at compile time.

Yes, those are run-time constraints on the implementation, rather than
compile-time constraints on the program.

The use of term "constraint s" in 6.10p2 is also rather odd. Something
that violates the listed "constraint s" isn't necessarily a diagnosable
error; it's just not a preprocessing directive.

You're right: I just did a quick search for "constraint ". I thought
those were just a couple of inconsistencies that slipped past the
editor. If I'd thought about it a little longer, I'd have realize why
these two were handled differently than the other "contraint"
sections.