https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81262
Bug ID: 81262 Summary: [8 Regression] verify_flow_info failed for asmgoto test-case with -fsanitize=undefined Product: gcc Version: 7.0 Status: UNCONFIRMED Keywords: ice-on-valid-code Severity: normal Priority: P3 Component: sanitizer Assignee: unassigned at gcc dot gnu.org Reporter: marxin at gcc dot gnu.org CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, hubicka at ucw dot cz, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at gcc dot gnu.org Target Milestone: --- Starting from r249070, following test-case fails: $ g++ /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/asmgoto1.C -fsanitize=unreachable -O2 -c /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/asmgoto1.C: In function ‘int bar(int)’: /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/asmgoto1.C:32:1: error: fallthru edge crosses section boundary in bb 6 } ^ during RTL pass: bbpart /home/marxin/Programming/gcc/gcc/testsuite/g++.dg/ext/asmgoto1.C:32:1: internal compiler error: verify_flow_info failed 0xc15932 verify_flow_info() ../../gcc/cfghooks.c:259 0x1089f20 execute_function_todo ../../gcc/passes.c:2001 0x1088e92 do_per_function ../../gcc/passes.c:1655 0x108a0a0 execute_todo ../../gcc/passes.c:2043