Re: +++i

From: Alex Fraser (me_at_privacy.net)
Date: 09/09/04


Date: Wed, 8 Sep 2004 23:19:32 +0100


"Dan Pop" <Dan.Pop@cern.ch> wrote in message
news:chmvad$cm1$10@sunnews.cern.ch...
> In <2q6ctqFrc6joU1@uni-berlin.de> Alex Monjushko<monjushko@hotmail.com>
> writes:
> >I think you mean 'semantic error'.
>
> I think you mean constraint violation.

What is the distinction? Isn't what the standards term a constraint
violation just a type of semantic error?

Alex



Relevant Pages

  • Re: Arraym malloc() and free() question
    ... >> get a warning about the call to mallocwith no visible prototype. ... >constraint violation, ... Getting a diagnostic about ``an implicit conversion from type "int"'' is ... Dan Pop ...
    (comp.lang.c)
  • Re: int pointing to char
    ... >> constraint violation is unspecified behavior, ... An implementation aborting the translation process after issuing a ... Dan Pop ...
    (comp.lang.c)
  • Re: int pointing to char
    ... because the standard doesn't specify the semantics of any code ... >constraint violation is unspecified behavior, ... One of the expressions shall have type ``pointer to object type'', ... Dan Pop ...
    (comp.lang.c)
  • Re: pointer int/char ...
    ... >executing a program that contained a constraint violation is undefined ... The subsection ordering inside a section of the standard is not chosen ... Dan Pop ...
    (comp.lang.c)
  • Re: Objects and expressions - nitpicky questions
    ... after emitting the diagnostic). ... >Anyway, in C99 it is very clearly not a constraint violation, and ... so &3 is a constraint violation. ... Dan Pop ...
    (comp.lang.c)