https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65984
Bug ID: 65984
Summary: ICE: definition in block 4 does not dominate use in
block 2 with -fnon-call-exceptions -fsanitize=enum
Product: gcc
Version: 6.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Target Milestone: ---
Created attachment 35443
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35443&action=edit
reduced testcase
Compiler output:
$ gcc -fnon-call-exceptions -fsanitize=enum testcase.C
testcase.C: In function 'int foo(int)':
testcase.C:12:1: error: definition in block 4 does not dominate use in block 2
}
^
for SSA_NAME: _3 in statement:
_4 = _3;
testcase.C:12:1: internal compiler error: verify_ssa failed
0xf08601 verify_ssa(bool, bool)
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:1068
0xc21ed5 execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1953
0xc2268b execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:2003
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
Tested revisions:
r222716 - ICE
5 r222437 - ICE
4_9 r222436 - ICE
