[Bug libstdc++/12496] wrong result for __atomic_add(&value, -1) when using -O0

[paolo at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


paolo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|wrong result for            |wrong result for
                   |__atomic_add(&value, -1)    |__atomic_add(&value, -1)
                   |when using -o0              |when using -O0