Re: [PATCH] C undefined behavior fix

From: Gérard Roudier (groudier@free.fr)
Date: Wed Jan 09 2002 - 14:47:15 EST


On Tue, 8 Jan 2002, J.A. Magallon wrote:

>
> On 20020107 jtv wrote:
> >
> >Let's say we have this simplified version of the problem:
> >
> > int a = 3;
> > {
> > volatile int b = 10;
>
> >>>>>>>>> here b changes

Hmmm...
Then your hardware is probably broken or may-be you are dreaming. :-)

There is nothing in this code that requires the compiler to allocate
memory for 'b'. You just invent the volatile constant concept. :)

> > a += b;
> > }
> >
> >Is there really language in the Standard preventing the compiler from
> >constant-folding this code to "int a = 13;"?

Gérard.

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



This archive was generated by hypermail 2b29 : Tue Jan 15 2002 - 21:00:28 EST