http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56098
--- Comment #7 from werner at almesberger dot net 2013-01-26 02:09:33 UTC ---
I'm happy to confirm that trunk (for x86-64) now passes all variations of this
theme I tried with flying colors. Thanks again !
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56098
--- Comment #6 from werner at almesberger dot net 2013-01-25 22:46:17 UTC ---
Thanks for the analysis and the fixes ! I'll try them soonish.
Regarding work-arounds, the ones I mentioned for my original code snippet
(i.e., -O1 or
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56098
Bug #: 56098
Summary: conditional write through volatile pointer produces
unintended read
Classification: Unclassified
Product: gcc
Version: 4.7.2
Status: U