http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55947 --- Comment #2 from Andi Kleen <andi-gcc at firstfloor dot org> 2013-01-11 22:01:49 UTC --- I would probably add at least a warning. The whole concept of a runtime switched memory barrier is imho ill-defined.