[Bug tree-optimization/109115] [13 Regression] ICE on valid code at -O2 and -O3 on x86_64-linux-gnu: in upper_bound, at value-range.h:950

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

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Version|unknown                     |13.0

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
I would have assumed range_of_expr would return false if r had no range
information ...


          if (ranger.range_of_expr (r, oprnd0, stmt))
            {
              wide_int max = r.upper_bound ();


Maybe there needs to be a check to make sure r.kind () is VR_RANGE then ...