[Bug tree-optimization/110116] [12/13 Regression] ICE on valid code at -O3 on x86_64-linux-gnu: verify_gimple failed

["tkoenig at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>]

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

Thomas Koenig <tkoenig at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12/13/14 Regression] ICE   |[12/13 Regression] ICE on
                   |on valid code at -O3 on     |valid code at -O3 on
                   |x86_64-linux-gnu:           |x86_64-linux-gnu:
                   |verify_gimple failed        |verify_gimple failed
           See Also|                            |https://gcc.gnu.org/bugzill
                   |                            |a/show_bug.cgi?id=111614
      Known to work|                            |14.0

--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
r14-4303-g88d79b9b03eccf fixed it:

88d79b9b03eccf39921d13c2cbd1acc50aeda126 is the first fixed commit
commit 88d79b9b03eccf39921d13c2cbd1acc50aeda126
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Sep 28 09:41:30 2023 +0200

    tree-optimization/111614 - missing convert in
undistribute_bitref_for_vector

    The following adjusts a flawed guard for converting the first vector
    of the sum we create in undistribute_bitref_for_vector.

            PR tree-optimization/111614
            * tree-ssa-reassoc.cc (undistribute_bitref_for_vector): Properly
            convert the first vector when required.

            * gcc.dg/torture/pr111614.c: New testcase.

 gcc/testsuite/gcc.dg/torture/pr111614.c | 23 +++++++++++++++++++++++
 gcc/tree-ssa-reassoc.cc                 | 27 +++++++++++++++------------
 2 files changed, 38 insertions(+), 12 deletions(-)
 create mode 100644 gcc/testsuite/gcc.dg/torture/pr111614.c

Maybe a candidate for backporting?  Unlike PR111614, this does not appear
to be latent.