https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114555
--- Comment #1 from Zdenek Sojka <zsojka at seznam dot cz> --- Created attachment 57860 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57860&action=edit another testcase, failing with -O -fno-tree-forwprop Compiler output: $ x86_64-pc-linux-gnu-gcc -O -fno-tree-forwprop testcase2.c testcase2.c: In function 'foo': testcase2.c:9:1: error: definition in block 14 does not dominate use in block 15 9 | foo(void) | ^~~ for SSA_NAME: _17 in statement: _16 = PHI <_15(2), _17(15)> PHI argument _17 for PHI node _16 = PHI <_15(2), _17(15)> during GIMPLE pass: bitintlower testcase2.c:9:1: internal compiler error: verify_ssa failed 0x177b02f verify_ssa(bool, bool) /repo/gcc-trunk/gcc/tree-ssa.cc:1203 0x13cc2c5 execute_function_todo /repo/gcc-trunk/gcc/passes.cc:2095 0x13cc72e execute_todo /repo/gcc-trunk/gcc/passes.cc:2142 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.
