This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug middle-end/51766] [4.7 regression] sync_fetch_and_xxx atomicity
- From: "jakub at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Tue, 10 Jan 2012 18:46:59 +0000
- Subject: [Bug middle-end/51766] [4.7 regression] sync_fetch_and_xxx atomicity
- Auto-submitted: auto-generated
- References: <bug-51766-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51766
Jakub Jelinek <jakub at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at gcc dot gnu.org
--- Comment #12 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-01-10 18:46:59 UTC ---
If the PPC implementation of __sync_fetch_and_* and __sync_*_and_fetch was
intentionally implemented to violate the documentation, then the documentation
should have been adjusted at that point to note that on PPC it behaves
differently. Otherwise it should be just considered a bug in the
implementation that it didn't implement the documented semantics.