[Bug tree-optimization/79972] New: ICE in tree check: expected ssa_name, have var_decl in get_range_info, at tree-ssanames.c:377 w/ -Walloca -Wvla-larger-than=364854541

[marxin at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79972

            Bug ID: 79972
           Summary: ICE in tree check: expected ssa_name, have var_decl in
                    get_range_info, at tree-ssanames.c:377 w/ -Walloca
                    -Wvla-larger-than=364854541
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: aldyh at gcc dot gnu.org
  Target Milestone: ---

Starting from r241318 (introduction of -Walloca), we ICE on:

$ gcc
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/20071108-1.c
-Walloca -Wvla-larger-than=364854541
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/20071108-1.c:
In function ‘f’:
/home/marxin/Programming/gcc/gcc/testsuite/gcc.c-torture/compile/20071108-1.c:5:1:
internal compiler error: tree check: expected ssa_name, have var_decl in
get_range_info, at tree-ssanames.c:377
 f (int dim, int *b, int *c)
 ^
0xeadf6c tree_check_failed(tree_node const*, char const*, int, char const*,
...)
        .././../gcc/tree.c:9815
0xe23543 tree_check(tree_node const*, char const*, int, char const*, tree_code)
        .././../gcc/tree.h:3320
0xe23543 get_range_info(tree_node const*, generic_wide_int<wide_int_storage>*,
generic_wide_int<wide_int_storage>*)
        .././../gcc/tree-ssanames.c:377
0x12f9a6c alloca_call_type
        .././../gcc/gimple-ssa-warn-alloca.c:302
0x12f9a6c pass_walloca::execute(function*)
        .././../gcc/gimple-ssa-warn-alloca.c:466