[PATCH] C undefined behavior fix
Tim Hollebeek
tim@hollebeek.com
Mon Jan 7 14:04:00 GMT 2002
> Nothing's taking the pointer's address, so the compiler _will_ be able
> to prove that (in a sensible universe) no other thread, interrupt,
> kernel code or Angered Rain God will be able to find our pointer--much
> less change it.
You're not allowed to be that smart wrt volatile. If the programmer
says the value might change unpredictably and should not be optimized,
then It Is So and the compiler must respect that even if it determines
It Cannot Possibly Happen.
-Tim
More information about the Gcc
mailing list