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: gs...@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