https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
Andrew Macleod changed:
What|Removed |Added
Resolution|--- |FIXED
Status|NEW
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #6 from CVS Commits ---
The master branch has been updated by Andrew Macleod :
https://gcc.gnu.org/g:881bf8de9b07fb501d61ade8f521f1cc9dbe712e
commit r13-5630-g881bf8de9b07fb501d61ade8f521f1cc9dbe712e
Author: Andrew MacLeod
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #5 from Andrew Macleod ---
The full comment is the test case is:
/* Verify offsets in an anti-range. */
<...>
/* The initial source range is valid but the final range after the access
has complete cannot be. The value
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #4 from Andrew Macleod ---
Created attachment 54270
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54270=edit
possible patch
When the on-entry cache is updated for a block, all incoming ranges are unioned
together and the
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #3 from Andrew Macleod ---
Hmm. It is not eliminated until VRP1 now. Looks like something in EVRP. lets
see...
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #2 from Richard Biener ---
(In reply to Andrew Macleod from comment #1)
> From ccp2 :
>
> Simulating block 2
>
> Visiting statement:
> c.2_1 = c;
> which is likely CONSTANT
> Lattice value changed to VARYING. Adding SSA edges to
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
--- Comment #1 from Andrew Macleod ---
>From ccp2 :
Simulating block 2
Visiting statement:
c.2_1 = c;
which is likely CONSTANT
Lattice value changed to VARYING. Adding SSA edges to worklist.
Whereas in GCC12 I see:
Simulating block 2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108356
Martin Liška changed:
What|Removed |Added
Target Milestone|--- |13.0
Last reconfirmed|