Bug ID: 84853
           Summary: [7/8 Regression] ICE: verify_gimple failed
           Product: gcc
           Version: 8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot
  Target Milestone: ---

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

$ cat z1.c
typedef float V __attribute__((vector_size(16)));
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
0x8329c3 expand_variable_shift(tree_code, machine_mode, rtx_def*, tree_node*,
rtx_def*, int)
0x8500b0 expand_expr_real_2(separate_ops*, rtx_def*, machine_mode,
0x75053d expand_gimple_stmt_1
0x75053d expand_gimple_stmt
0x75191d expand_gimple_basic_block
0x756da6 execute

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)
D.1963 = b << a;
z1.c:3:1: internal compiler error: verify_gimple failed
0xcbbbcd verify_gimple_in_seq(gimple*)
0x9e35a7 gimplify_body(tree_node*, bool)
0x9e3944 gimplify_function_tree(tree_node*)
0x82e987 cgraph_node::analyze()
0x832083 analyze_functions
0x832b92 symbol_table::finalize_compilation_unit()

Reply via email to