[Bug c/69404] atomic builtins accept incompatible pointers

2016-02-02 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 Martin Sebor changed: What|Removed |Added Last reconfirmed||2016-2-2 Known to fail|

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-21 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 Martin Sebor changed: What|Removed |Added CC||eric at efcs dot ca --- Comment #6 from M

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 --- Comment #5 from Martin Sebor --- The GCC manual says the __atomic builtins are meant to be compatible with those described in the Intel Itanium Processor-specific Application Binary Interface, section 7.4. Both the ABI and the GCC manual des

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-20 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 --- Comment #4 from Andrew Pinski --- Oh one more thing about qualifiers: _Atomic is a qualifer.

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-20 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 --- Comment #3 from Andrew Pinski --- (In reply to Martin Sebor from comment #1) > Actually, with more testing I see the builtins do even more than that: they > silently convert between pointers to types of the same size. (Clang > diagnoses thos

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-20 Thread pinskia at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 --- Comment #2 from Andrew Pinski --- So this might be following C++ rules here dealing with qualifiers. There is no discarding of qualifiers either but rather adding them according to C++ rules. Note C and C++ deals with inner qualifiers diffe

[Bug c/69404] atomic builtins accept incompatible pointers

2016-01-20 Thread msebor at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69404 Martin Sebor changed: What|Removed |Added Summary|atomic builtins silently|atomic builtins accept