[Bug tree-optimization/101240] [missed optimization] Transitivity of less-than and less-or-equal

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101240

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Note will require a VRP pass after PRE since only there we'll be able to
CSE the a[2] load.