[Bug c/84853] New: [7/8 Regression] ICE: verify_gimple failed (expand_shift_1)

[gscfq@t-online.de]

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

            Bug ID: 84853
           Summary: [7/8 Regression] ICE: verify_gimple failed
                    (expand_shift_1)
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: gscfq@t-online.de
  Target Milestone: ---

Changed before 20160807, invalid code affects version 7/8 :


$ cat z1.c
typedef float V __attribute__((vector_size(16)));
V
foo (int a, V b)
{
  return b << a;
}


$ gcc-8-20180311 -c z1.c
during RTL pass: expand
z1.c: In function 'foo':
z1.c:5:12: internal compiler error: in expand_shift_1, at expmed.c:2631
   return b << a;
          ~~^~~~
0x83168f expand_shift_1
        ../../gcc/expmed.c:2631
0x8329c3 expand_variable_shift(tree_code, machine_mode, rtx_def*, tree_node*,
rtx_def*, int)
        ../../gcc/expmed.c:2673
0x8500b0 expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
expand_modifier)
        ../../gcc/expr.c:9381
0x75053d expand_gimple_stmt_1
        ../../gcc/cfgexpand.c:3729
0x75053d expand_gimple_stmt
        ../../gcc/cfgexpand.c:3790
0x75191d expand_gimple_basic_block
        ../../gcc/cfgexpand.c:5819
0x756da6 execute
        ../../gcc/cfgexpand.c:6425



Configured with --enable-checking=yes :

$ gcc-8-20180311 -c z1.c
z1.c: In function 'foo':
z1.c:3:1: error: type mismatch in shift expression
 foo (int a, V b)
 ^~~
V
V
int
D.1963 = b << a;
z1.c:3:1: internal compiler error: verify_gimple failed
0xcbbbcd verify_gimple_in_seq(gimple*)
        ../../gcc/tree-cfg.c:5247
0x9e35a7 gimplify_body(tree_node*, bool)
        ../../gcc/gimplify.c:12710
0x9e3944 gimplify_function_tree(tree_node*)
        ../../gcc/gimplify.c:12800
0x82e987 cgraph_node::analyze()
        ../../gcc/cgraphunit.c:670
0x832083 analyze_functions
        ../../gcc/cgraphunit.c:1131
0x832b92 symbol_table::finalize_compilation_unit()
        ../../gcc/cgraphunit.c:2691