[Bug tree-optimization/105834] [13 Regression] Dead Code Elimination Regression at -O2 (trunk vs. 12.1.0)

[pinskia at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
c_5  : int [0, 0][3, 3]
vs
c_5  : [irange] int [0, 3] NONZERO 0x3

Obvious the first range is more correct, c_5 can only be either 0 or 3.