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

2016-01-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 Martin Sebor changed: What|Removed |Added Status|NEW |RESOLVED Resolution|---

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

2016-01-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 --- Comment #6 from Martin Sebor --- Author: msebor Date: Thu Jan 21 03:38:32 2016 New Revision: 232662 URL: https://gcc.gnu.org/viewcvs?rev=232662&root=gcc&view=rev Log: PR c/52291 - __sync_fetch_and_add and friends poorly specified for pointer

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

2016-01-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 --- Comment #5 from Martin Sebor --- Documentation patch posted for review: https://gcc.gnu.org/ml/gcc-patches/2016-01/msg01581.html

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

2016-01-19 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 Martin Sebor changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed|

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

2012-02-17 Thread mikpe at it dot uu.se
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 --- Comment #3 from Mikael Pettersson 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 th

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

2012-02-16 Thread hstong at ca dot ibm.com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 --- Comment #1 from Hubert Tong 2012-02-17 00:37:12 UTC --- I mean that the pseudo-code is not consistent with valid C/C++ when the operands (`*ptr' and `value') are pointer types.

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

2012-02-16 Thread redi at gcc dot gnu.org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52291 --- Comment #2 from Jonathan Wakely 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