------- Comment #96 from David dot Monniaux at ens dot fr 2007-04-20 21:19 ------- The following paper explains how this kind of behaviour occurs, why it is "correct", why it is difficult to fix but how it can be partly fixed, and how this breaks many testing and proving techniques:
http://hal.archives-ouvertes.fr/hal-00128124 -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=323
