This is the mail archive of the gcc@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Is this a gcc bug?


Falk Hueffner wrote:
> > 
> > Michael Eager <eager@mvista.com> writes:
> > 
> > > My sugguestion:
> > >
> > >       undefined behavior:  value of expression using 'x' is undefined
> > 
> > This would seem to imply that the behaviour is undefined because one
> > uses an undefined value. But that's not the case: the standard says
> > program behaviour is undefined even if you say x = ++x and never look
> > at x again. (At least IIRC.)
> 
> It is the result of the expression (including any side effects) which is 
> undefined.  An expression has a value, even if you never use it.
> 
> There are many constructs with undefined behavior.  Some can be
> recognized at compile time; most cannot.  

How about the compile-error:
"detected undefined behaviour: [some actual explanation]"?

..if gcc is able to see it in this case?

-- 
Sent through GMX FreeMail - http://www.gmx.net


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]