[Bug tree-optimization/124528] New signed overflow introduced by sccp

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

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |wrong-code

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
This code is not happening:
      /* If def's type has undefined overflow and there were folded
         casts, rewrite all stmts added for def into arithmetics
         with defined overflow behavior.  */
      if ((folded_casts
           && ANY_INTEGRAL_TYPE_P (TREE_TYPE (def))
           && TYPE_OVERFLOW_UNDEFINED (TREE_TYPE (def)))
          || cond_overflow_p)
        {
          gimple_stmt_iterator gsi2;
          gsi2 = gsi_start (stmts);
          while (!gsi_end_p (gsi2))
            {
              if (gimple_needing_rewrite_undefined (gsi_stmt (gsi2)))
                rewrite_to_defined_unconditional (&gsi2);
              gsi_next (&gsi2);
            }
        }