[Bug tree-optimization/97721] [11 Regression] ICE in verify_range, at value-range.cc:361

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

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |amker at gcc dot gnu.org,
                   |                            |jakub at gcc dot gnu.org

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Seems ivopts changes:
@@ -24,7 +24,7 @@ z6 (char * tw)
   <bb 3> [local count: 955630225]:
   # ot.1_12 = PHI <_1(6), ot.1_11(5)>
   _1 = ot.1_12 + -1;
-  if (_1 >= 0)
+  if (_1 != -1(OVF))
     goto <bb 6>; [89.00%]
   else
     goto <bb 9>; [11.00%]