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
