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

[msebor at gcc dot gnu.org]

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

--- Comment #5 from Martin Sebor <msebor at gcc dot gnu.org> ---
Documentation patch posted for review:
https://gcc.gnu.org/ml/gcc-patches/2016-01/msg01581.html