https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112464
Bug ID: 112464 Summary: [14 Regression] ICE avx512 with -ftrapv since r14-5076 Product: gcc Version: 14.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: mjires at suse dot cz CC: rdapp at gcc dot gnu.org Target Milestone: --- Following reduction of testcase avx-vandpd-1.c causes ICE with -mavx512dq -ftrapv Bisection points to r14-5076 $ cat included.c long *e; int n, i, err; void fn() { for (; i < n; i++) if (e[i]) err++; } $ gcc included.c -Ofast -mavx512dq -ftrapv during GIMPLE pass: vect included.c: In function ‘fn’: included.c:3:6: internal compiler error: in vect_finish_replace_stmt, at tree-vect-stmts.cc:1353 3 | void fn() { | ^~ 0x91fc95 vect_finish_replace_stmt(vec_info*, _stmt_vec_info*, gimple*) /home/mjires/git/GCC/master/gcc/tree-vect-stmts.cc:1353 0x1296bd6 vectorize_fold_left_reduction /home/mjires/git/GCC/master/gcc/tree-vect-loop.cc:7191 0x1296bd6 vect_transform_reduction(_loop_vec_info*, _stmt_vec_info*, gimple_stmt_iterator*, gimple**, _slp_tree*) /home/mjires/git/GCC/master/gcc/tree-vect-loop.cc:8456 0x1fac0f5 vect_transform_stmt(vec_info*, _stmt_vec_info*, gimple_stmt_iterator*, _slp_tree*, _slp_instance*) /home/mjires/git/GCC/master/gcc/tree-vect-stmts.cc:13069 0x1287d1f vect_transform_loop_stmt /home/mjires/git/GCC/master/gcc/tree-vect-loop.cc:11325 0x12acf13 vect_transform_loop(_loop_vec_info*, gimple*) /home/mjires/git/GCC/master/gcc/tree-vect-loop.cc:11770 0x12ee5a1 vect_transform_loops /home/mjires/git/GCC/master/gcc/tree-vectorizer.cc:1006 0x12eebac try_vectorize_loop_1 /home/mjires/git/GCC/master/gcc/tree-vectorizer.cc:1152 0x12eebac try_vectorize_loop /home/mjires/git/GCC/master/gcc/tree-vectorizer.cc:1182 0x12eef34 execute /home/mjires/git/GCC/master/gcc/tree-vectorizer.cc:1298 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. $ gcc -v Using built-in specs. COLLECT_GCC=/home/mjires/built/master/bin/gcc COLLECT_LTO_WRAPPER=/home/mjires/built/master/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: /home/mjires/git/GCC/master/configure --prefix=/home/mjires/built/master --disable-bootstrap --enable-languages=c,c++,fortran,lto --disable-multilib --disable-libsanitizer --enable-checking Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.0 20231109 (experimental) (GCC)