https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65183
Bug ID: 65183
Summary: ICE: verify_ssa failed: virtual use of statement not
up-to-date with -fcheck-pointer-bounds
-fchkp-use-nochk-string-functions -mmpx
Product: gcc
Version: 5.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Created attachment 34849
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=34849&action=edit
reduced testcase
Compiler output:
$ gcc -O -fcheck-pointer-bounds -fchkp-use-nochk-string-functions -mmpx
testcase.c
testcase.c: In function 'foo.chkp':
testcase.c:12:6: error: virtual use of statement not up-to-date
void foo ()
^
# VUSE <.MEM>
_17 = __chkp_zero_bounds;
testcase.c:12:6: internal compiler error: verify_ssa failed
0xe23b21 verify_ssa(bool, bool)
/mnt/svn/gcc-trunk/gcc/tree-ssa.c:1068
0xb4f605 execute_function_todo
/mnt/svn/gcc-trunk/gcc/passes.c:1964
0xb4fd8b execute_todo
/mnt/svn/gcc-trunk/gcc/passes.c:2014
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:
r220888 - fail
