https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109410
David Binderman <dcb314 at hotmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |dcb314 at hotmail dot com --- Comment #9 from David Binderman <dcb314 at hotmail dot com> --- I think this one might have returned. With today's gcc trunk: $ ~/gcc/results/bin/gcc -c ./gcc.dg/pr109410.c $ ~/gcc/results/bin/gcc -c -g ./gcc.dg/pr109410.c $ ~/gcc/results/bin/gcc -c -g -O1 ./gcc.dg/pr109410.c ./gcc.dg/pr109410.c: In function ‘foo’: ./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.dg/pr109410.c:14:1: internal compiler error: verify_flow_info failed $ ~/gcc/results/bin/gcc -v Using built-in specs. COLLECT_GCC=/home/dcb36/gcc/results/bin/gcc COLLECT_LTO_WRAPPER=/home/dcb36/gcc/results.20230422/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../trunk.year/configure --prefix=/home/dcb36/gcc/results.20230422 --disable-multilib --disable-bootstrap --with-pkgversion=cda246f8b421ba85 --enable-checking=yes --enable-languages=c,c++,fortran Thread model: posix Supported LTO compression algorithms: zlib zstd gcc version 14.0.0 20230422 (experimental) (cda246f8b421ba85) $