https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63839
Bug ID: 63839
Summary: ICE: tree check: expected ssa_name, have var_decl in
simplify_builtin_call, at tree-ssa-forwprop.c:1441
with -fsanitize=unreachable
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 33951
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=33951&action=edit
reduced testcase
Compiler output:
$ gcc -O -fsanitize=unreachable testcase.C
testcase.C: In function 'void bar()':
testcase.C:4:1: warning: 'noreturn' function does return
}
^
testcase.C: In function 'void foo()':
testcase.C:8:1: internal compiler error: tree check: expected ssa_name, have
var_decl in simplify_builtin_call, at tree-ssa-forwprop.c:1441
foo ()
^
0x1005d74 tree_check_failed(tree_node const*, char const*, int, char const*,
...)
/mnt/svn/gcc-trunk/gcc/tree.c:9193
0xece266 tree_check(tree_node*, char const*, int, char const*, tree_code)
/mnt/svn/gcc-trunk/gcc/tree.h:2751
0xece266 simplify_builtin_call
/mnt/svn/gcc-trunk/gcc/tree-ssa-forwprop.c:1441
0xed1b11 execute
/mnt/svn/gcc-trunk/gcc/tree-ssa-forwprop.c:2489
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:
r217404 - ICE
4_9 r216937 - OK
