https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100887
--- Comment #3 from Zdenek Sojka <zsojka at seznam dot cz> --- Probably related issue: $ cat testcase.c typedef unsigned long long __attribute__((__vector_size__ (16))) U; typedef unsigned long long __attribute__((__vector_size__ (32))) V; typedef unsigned long long __attribute__((__vector_size__ (64))) W; U foo (V v) { return __builtin_shufflevector ((W){}, v, 0, 8); } $ x86_64-pc-linux-gnu-gcc -mavx512f testcase.c testcase.c: In function 'foo': testcase.c:6:1: error: not allowed type combination in 'bit_insert_expr' 6 | foo (V v) | ^~~ W V _2 = BIT_INSERT_EXPR <{ 0, 0, 0, 0, 0, 0, 0, 0 }, v, 64>; testcase.c:6:1: internal compiler error: 'verify_gimple' failed 0x10b85ad verify_gimple_in_seq(gimple*) /repo/gcc-trunk/gcc/tree-cfg.c:5161 0xdaf5e6 gimplify_body(tree_node*, bool) /repo/gcc-trunk/gcc/gimplify.c:15404 0xdaf75d gimplify_function_tree(tree_node*) /repo/gcc-trunk/gcc/gimplify.c:15475 0xbd9127 cgraph_node::analyze() /repo/gcc-trunk/gcc/cgraphunit.c:670 0xbdbc57 analyze_functions /repo/gcc-trunk/gcc/cgraphunit.c:1234 0xbdc8ed symbol_table::finalize_compilation_unit() /repo/gcc-trunk/gcc/cgraphunit.c:2508 Please submit a full bug report, with preprocessed source if appropriate. Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.