https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108367
Bug ID: 108367 Summary: [12/13 Regression] ICE: verify_ssa failed (error: definition in block 4 does not dominate use in block 3) Product: gcc Version: 13.0 Status: UNCONFIRMED Keywords: ice-on-valid-code, openacc Severity: normal Priority: P3 Component: tree-optimization Assignee: unassigned at gcc dot gnu.org Reporter: asolokha at gmx dot com Target Milestone: --- gcc 13.0.0 20230108 snapshot (g:e3a4bd0bbdccdde0cff85f93064b01a44fb10d2a) ICEs when compiling libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c w/ -Os -fopenacc -fno-tree-fre -fno-tree-vrp -g: % gcc-13 -Os -fopenacc -fno-tree-fre -fno-tree-vrp -g -c libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c: In function 'main._omp_fn.0': libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c:14:1: error: definition in block 4 does not dominate use in block 3 14 | } | ^ for SSA_NAME: rw_7 in statement: # DEBUG rw => rw_7 during GIMPLE pass: parloops libgomp/testsuite/libgomp.oacc-c-c++-common/pr89376.c:14:1: internal compiler error: verify_ssa failed 0x1149446 verify_ssa(bool, bool) /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/tree-ssa.cc:1211 0xdfea25 execute_function_todo /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/passes.cc:2098 0xdfee5e execute_todo /var/tmp/portage/sys-devel/gcc-13.0.0_p20230108/work/gcc-13-20230108/gcc/passes.cc:2145