https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109410
--- Comment #11 from Sam James <sjames at gcc dot gnu.org> --- Broken for 13 again too: $ gcc -c -g -O1 ./gcc/testsuite/gcc.dg/pr109410.c ./gcc/testsuite/gcc.dg/pr109410.c: In function ‘foo’: ./gcc/testsuite/gcc.dg/pr109410.c:14:1: error: returns_twice call is not first in basic block 2 14 | foo (int x, int y) | ^~~ baz (x_7(D), y_8(D)); during GIMPLE pass: reassoc ./gcc/testsuite/gcc.dg/pr109410.c:14:1: internal compiler error: verify_flow_info failed 0x7a85a2 verify_flow_info() /usr/src/debug/sys-devel/gcc-13.0.1_pre20230421/gcc-13.1.0-RC-20230421/gcc/cfghooks.cc:285 0x19c3a82 execute_function_todo /usr/src/debug/sys-devel/gcc-13.0.1_pre20230421/gcc-13.1.0-RC-20230421/gcc/passes.cc:2110 0x192e2e6 do_per_function /usr/src/debug/sys-devel/gcc-13.0.1_pre20230421/gcc-13.1.0-RC-20230421/gcc/passes.cc:1694 0x192e2e6 execute_todo /usr/src/debug/sys-devel/gcc-13.0.1_pre20230421/gcc-13.1.0-RC-20230421/gcc/passes.cc:2152 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://bugs.gentoo.org/> for instructions.