http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54893



--- Comment #3 from torvald at gcc dot gnu.org 2012-10-11 19:54:11 UTC ---

I agree with Michael.  Accesses to volative vars are disallowed in safe code,

but relaxed transactions can run unsafe code (after going irrevocable).  The

test case in bug 46654 is an atomic transaction.

Reply via email to