https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64930
--- Comment #5 from torvald at gcc dot gnu.org --- (In reply to Jakub Jelinek from comment #3) > Created attachment 34731 [details] > gcc5-pr64930.patch > > Thus I'm proposing this untested patch. I think expecting the consume-to-acquire promotion is the right thing to do (I haven't tested the patch though). The consume specification in the standard has issues, and based on the discussions in ISO C++ SG1, it seems unlikely that it can or will be fixed. Thus, I believe the promotion will stay with us forever. Therefore, using an XFAIL doesn't seem right to me.