[Bug tree-optimization/116939] New: rewrite_to_defined_overflow/gimple_with_undefined_signed_overflow should also rewrite VCEs (from/to integral types) into casts

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

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

            Bug ID: 116939
           Summary: rewrite_to_defined_overflow/gimple_with_undefined_sign
                    ed_overflow should also rewrite VCEs (from/to integral
                    types) into casts
           Product: gcc
           Version: 15.0
            Status: UNCONFIRMED
          Keywords: internal-improvement
          Severity: enhancement
          Priority: P3
         Component: tree-optimization
          Assignee: pinskia at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
            Blocks: 116938
  Target Milestone: ---

as mentioned in
https://gcc.gnu.org/pipermail/gcc-patches/2024-October/664260.html and as
implemented in phiopt's move_stmt .


Referenced Bugs:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116938
[Bug 116938] move_stmt in phiopt should use rewrite_to_defined_overflow