[Bug c/52291] __sync_fetch_and_add and friends poorly specified for pointer types

[mikpe at it dot uu.se]

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.