[Bug sanitizer/63839] New: ICE: tree check: expected ssa_name, have var_decl in simplify_builtin_call, at tree-ssa-forwprop.c:1441 with -fsanitize=unreachable

[zsojka at seznam dot cz]

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