https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #11 from Richard Biener ---
(In reply to Alexandre Oliva from comment #9)
> ISTM that the test invokes undefined behavior because the assignment and the
> increment in the loop both modify the same storage without an intervening
>
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #10 from Alexandre Oliva ---
Reasoning that the concurrent stores invoke undefined behavior would enable us
to assume that the stores don't alias, which invalidates the reasoning in
comment 1. Alas, I don't think gimple preserves
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
Alexandre Oliva changed:
What|Removed |Added
CC||aoliva at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #8 from CVS Commits ---
The master branch has been updated by Thomas Schwinge :
https://gcc.gnu.org/g:2210ef7d3d68a027ec16476825049567953c7fa4
commit r11-1348-g2210ef7d3d68a027ec16476825049567953c7fa4
Author: Thomas Schwinge
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
Richard Biener changed:
What|Removed |Added
Status|REOPENED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #6 from CVS Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:119a7db1e05c9741803b3ff93266b00fd535732a
commit r11-320-g119a7db1e05c9741803b3ff93266b00fd535732a
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
Rainer Orth changed:
What|Removed |Added
Resolution|FIXED |---
CC|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
Richard Biener changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #3 from CVS Commits ---
The master branch has been updated by Richard Biener :
https://gcc.gnu.org/g:b6ff3ddecfa93d53867afaaa078f85fc848abbbd
commit r11-272-gb6ff3ddecfa93d53867afaaa078f85fc848abbbd
Author: Richard Biener
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
--- Comment #2 from Richard Biener ---
(In reply to Richard Biener from comment #1)
> Ah, forgot to update this testcase. This is another instance of PR57359,
> that is, we may not sink the store to b across the store to *b since b may
> point
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94988
Richard Biener changed:
What|Removed |Added
Keywords||missed-optimization
Last
11 matches
Mail list logo