https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240
--- Comment #5 from Andrew Pinski ---
here is a better testcase:
```
int test_array(unsigned ()[3]) {
int t = (a[0]+a[1]+a[2]);
ALWAYS_TRUE(a[0] < a[1] && a[1] < a[2]);
return (a[0] < a[2])+t;
}
```
(just to make sure VRP is only dealing
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240
Aldy Hernandez changed:
What|Removed |Added
CC||aldyh at gcc dot gnu.org
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240
Andrew Macleod changed:
What|Removed |Added
CC||aldyh at redhat dot com
--- Comment
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240
--- Comment #2 from Richard Biener ---
Note will require a VRP pass after PRE since only there we'll be able to
CSE the a[2] load.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240
Richard Biener changed:
What|Removed |Added
Blocks||85316
Last reconfirmed|