http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56098
Richard Biener <rguenth at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2013-01-25 CC| |matz at gcc dot gnu.org Target Milestone|--- |4.6.4 Summary|conditional write through |[4.6/4.7/4.8 Regression] |volatile pointer produces |conditional write through |unintended read |volatile pointer produces | |unintended read Ever Confirmed|0 |1 --- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> 2013-01-25 14:42:43 UTC --- This is cselim at work, preparing the way for if-conversion of the store ... It shouldn't do this for volatiles of course. Workaround: -fno-tree-cselim