This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c/52291] __sync_fetch_and_add and friends poorly specified for pointer types
- From: "mikpe at it dot uu.se" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 17 Feb 2012 08:53:28 +0000
- Subject: [Bug c/52291] __sync_fetch_and_add and friends poorly specified for pointer types
- Auto-submitted: auto-generated
- References: <bug-52291-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291
--- Comment #3 from Mikael Pettersson <mikpe at it dot uu.se> 2012-02-17 08:53:28 UTC ---
(In reply to comment #1)
> I mean that the pseudo-code is not consistent with valid C/C++ when the
> operands (`*ptr' and `value') are pointer types.
I would think it's implied that the pointer values are automatically converted
to uintptr_t and that the bit-twiddling or arithmetic is done on their
uintptr_t representations.