https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102827
Bug ID: 102827 Summary: [12 Regression] ICE: verify_ssa failed (error: definition in block 20 does not dominate use in block 19) Product: gcc Version: 12.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- Target: x86_64-pc-linux-gnu gcc-12.0.0-alpha20211017 snapshot (g:5d4d64faa71a6389bfb76bfb3334b63360cf62c0) ICEs when compiling the following testcase, reduced from gcc/testsuite/gcc.target/aarch64/sve/vcond_4_run.c, w/ -mavx -O1 -ftree-parallelize-loops=2 -ftree-vectorize --param ssa-name-def-chain-limit=2: void test_double_double_nugt_var (double *restrict dest, double *restrict src, int b, int i) { while (i < 1) { dest[i] = b ? src[i] : 0.0; ++i; } } % x86_64-pc-linux-gnu-gcc-12.0.0 -mavx -O1 -ftree-parallelize-loops=2 -ftree-vectorize --param ssa-name-def-chain-limit=2 -c e4ykrgkb.c e4ykrgkb.c: In function 'test_double_double_nugt_var._loopfn.0': e4ykrgkb.c:5:12: error: definition in block 20 does not dominate use in block 19 5 | while (i < 1) | ^ for SSA_NAME: _46 in statement: _71 = _46 + _70; during GIMPLE pass: vect e4ykrgkb.c:5:12: internal compiler error: verify_ssa failed 0x10d79e3 verify_ssa(bool, bool) /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211017/work/gcc-12-20211017/gcc/tree-ssa.c:1214 0xdaa655 execute_function_todo /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211017/work/gcc-12-20211017/gcc/passes.c:2049 0xdaaf6c execute_todo /var/tmp/portage/sys-devel/gcc-12.0.0_alpha20211017/work/gcc-12-20211017/gcc/passes.c:2096