Re: [PATCH] C undefined behavior fix

From: J.A. Magallon (jamagallon@able.es)
Date: Mon Jan 07 2002 - 19:27:34 EST

Next message: David Mosberger: "can we make anonymous memory non-EXECUTABLE?"
Previous message: Paul Mackerras: "Re: [PATCH] C undefined behavior fix"
In reply to: jtv: "Re: [PATCH] C undefined behavior fix"
Next in thread: Bernard Dautrevaux: "RE: [PATCH] C undefined behavior fix"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

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

-- 
J.A. Magallon                           #  Let the source be with you...        
mailto:jamagallon@able.es
Mandrake Linux release 8.2 (Cooker) for i586
Linux werewolf 2.4.18-pre1-beo #1 SMP Fri Jan 4 02:25:59 CET 2002 i686
-
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/

Next message: David Mosberger: "can we make anonymous memory non-EXECUTABLE?"
Previous message: Paul Mackerras: "Re: [PATCH] C undefined behavior fix"
In reply to: jtv: "Re: [PATCH] C undefined behavior fix"
Next in thread: Bernard Dautrevaux: "RE: [PATCH] C undefined behavior fix"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Mon Jan 07 2002 - 21:00:37 EST