https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63913
Bug ID: 63913
Summary: [5 Regression] ICE: verify_gimple failed: statement
marked for throw, but doesn't with
-fnon-call-exceptions -fsanitize=bool
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: sanitizer
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org,
jakub at gcc dot gnu.org, kcc at gcc dot gnu.org
Created attachment 34002
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34002&action=edit
reduced testcase
Compiler output:
$ gcc -fnon-call-exceptions -fsanitize=bool testcase.C
testcase.C: In function 'double foo(bool*)':
testcase.C:10:1: error: statement marked for throw, but doesn't
}
^
_3 = (bool) _10;
testcase.C:10:1: internal compiler error: verify_gimple failed
0xe5b748 verify_gimple_in_cfg(function*, bool)
/mnt/svn/gcc-trunk/gcc/tree-cfg.c:5027
0xd272eb execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1868
0xd27d33 execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1925
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:
r217624 - ICE
4_9 r216937 - OK
