[Bug tree-optimization/61502] == comparison on "one-past" pointer gives wrong result

2018-05-08 Thread Peter.Sewell at cl dot cam.ac.uk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61502 --- Comment #29 from Peter Sewell --- On 8 May 2018 at 08:22, rguenth at gcc dot gnu.org wrote: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61502 > > --- Comment #25 from Richard Biener --- > (In reply to Harald

[Bug target/76774] atomics on PPC: inconsistent widths for an _Atomic(_Bool) and for atomic_compare_exchange_strong on it

2016-08-16 Thread Peter.Sewell at cl dot cam.ac.uk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76774 --- Comment #4 from Peter Sewell --- (In reply to Andrew Pinski from comment #3) > What code were you expecting anyways? I hadn't noticed how recent the other-size LL/SC were. But then I would have expected a 4-byte representation for

[Bug c/76774] atomics on PPC: inconsistent widths for an _Atomic(_Bool) and for atomic_compare_exchange_strong on it

2016-08-15 Thread Peter.Sewell at cl dot cam.ac.uk
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=76774 --- Comment #1 from Peter Sewell --- Created attachment 39439 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39439=edit example code

[Bug c/76774] New: atomics on PPC: inconsistent widths for an _Atomic(_Bool) and for atomic_compare_exchange_strong on it

2016-08-15 Thread Peter.Sewell at cl dot cam.ac.uk
Status: UNCONFIRMED Severity: normal Priority: P3 Component: c Assignee: unassigned at gcc dot gnu.org Reporter: Peter.Sewell at cl dot cam.ac.uk Target Milestone: --- On a POWER 7 machine using GCC 4.9.1, something declared as an _Atomic

[Bug c/61502] New: == comparison on one-past pointer gives wrong result

2014-06-13 Thread Peter.Sewell at cl dot cam.ac.uk
Component: c Assignee: unassigned at gcc dot gnu.org Reporter: Peter.Sewell at cl dot cam.ac.uk Created attachment 32934 -- https://gcc.gnu.org/bugzilla/attachment.cgi?id=32934action=edit C code as pasted into bug report The following code can produce a pointer to one-past the x