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

[redi at gcc dot gnu.org]

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

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-02-17 
00:38:15 UTC ---
N.B. those built-ins are deprecated in favour of
http://gcc.gnu.org/onlinedocs/gcc/_005f_005fatomic-Builtins.html