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 <[email protected]>
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.
