[Bug tree-optimization/109749] New: new test case g++.dg/vect/pr109573.cc ICEs with checks turned on

[Bug tree-optimization/109749] New: new test case g++.dg/vect/pr109573.cc ICEs with checks turned on

[seurer at gcc dot gnu.org]

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

            Bug ID: 109749
           Summary: new test case g++.dg/vect/pr109573.cc ICEs with checks
                    turned on
           Product: gcc
           Version: 11.3.1
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: seurer at gcc dot gnu.org
  Target Milestone: ---

The compiler was built with --enable-checking=yes,extra,rtl.  Without that it
does not ICE.

g:8ee420c763add757bfb7c451f3ec986046644021, r11-10679-g8ee420c763add7
make  -k check-gcc RUNTESTFLAGS="vect.exp=g++.dg/vect/pr109573.cc"
FAIL: g++.dg/vect/pr109573.cc  -std=c++2a (internal compiler error)
FAIL: g++.dg/vect/pr109573.cc  -std=c++2a (test for excess errors)
# of unexpected failures        2
# of unsupported tests          3


spawn -ignore SIGHUP
/home/seurer/gcc/git/build/gcc-11-test/gcc/testsuite/g++/../../xg++
-B/home/seurer/gcc/git/build/gcc-11-test/gcc/testsuite/g++/../../
exceptions_enabled1011389.cc -fdiagnostics-plain-output -nostdinc++
-I/home/seurer/gcc/git/build/gcc-11-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include/powerpc64le-unknown-linux-gnu
-I/home/seurer/gcc/git/build/gcc-11-test/powerpc64le-unknown-linux-gnu/libstdc++-v3/include
-I/home/seurer/gcc/git/gcc-11-test/libstdc++-v3/libsupc++
-I/home/seurer/gcc/git/gcc-11-test/libstdc++-v3/include/backward
-I/home/seurer/gcc/git/gcc-11-test/libstdc++-v3/testsuite/util
-fmessage-length=0 -S -o exceptions_enabled1011389.s
FAIL: g++.dg/vect/pr109573.cc  -std=c++2a (test for excess errors)
Excess errors:
during GIMPLE pass: slp
/home/seurer/gcc/git/gcc-11-test/gcc/testsuite/g++.dg/vect/pr109573.cc:81:6:
internal compiler error: in vectorizable_live_operation, at
tree-vect-loop.c:8879
0x113c0cc7 vectorizable_live_operation(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*, int, bool,
vec<stmt_info_for_cost, va_heap, vl_ptr>*)
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-loop.c:8876
0x11376137 can_vectorize_live_stmts
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-stmts.c:10663
0x113a4d13 vect_transform_stmt(vec_info*, _stmt_vec_info*,
gimple_stmt_iterator*, _slp_tree*, _slp_instance*)
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-stmts.c:11047
0x113e4517 vect_schedule_slp_node
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:6391
0x113e4517 vect_schedule_slp_node
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:6198
0x113f5137 vect_schedule_scc
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:6553
0x113f4edb vect_schedule_scc
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:6534
0x113f58fb vect_schedule_slp(vec_info*, vec<_slp_instance*, va_heap, vl_ptr>)
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:6669
0x113f7507 vect_slp_region
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:5074
0x113f896b vect_slp_bbs
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:5186
0x113f8f9b vect_slp_function(function*)
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vect-slp.c:5272
0x114051c3 execute
        /home/seurer/gcc/git/gcc-11-test/gcc/tree-vectorizer.c:1450


commit 8ee420c763add757bfb7c451f3ec986046644021 (HEAD, refs/bisect/bad)
Author: Richard Biener <rguenther@suse.de>
Date:   Fri Apr 21 12:57:17 2023 +0200

    tree-optimization/109573 - avoid ICEing on unexpected live def

[Bug tree-optimization/109749] new test case g++.dg/vect/pr109573.cc ICEs with checks turned on

[seurer at gcc dot gnu.org]

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

--- Comment #1 from seurer at gcc dot gnu.org ---
I tried this on gcc 12 and it did not ICE.

[Bug tree-optimization/109749] new test case g++.dg/vect/pr109573.cc ICEs with checks turned on

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |DUPLICATE

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Yep, this is known, a fix is difficult (well, removing the assert...).  I've
nevertheless backported the original fix since it demotes the assert to a
checking assert.

See the original PR which Jakub re-opened.

*** This bug has been marked as a duplicate of bug 109573 ***