https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112741
Bug ID: 112741 Summary: ICE: in gimplify_var_or_parm_decl, at gimplify.cc:3261 Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: sanitizer Assignee: unassigned at gcc dot gnu.org Reporter: iamanonymous.cs at gmail dot com CC: dodji at gcc dot gnu.org, dvyukov at gcc dot gnu.org, jakub at gcc dot gnu.org, kcc at gcc dot gnu.org, marxin at gcc dot gnu.org Target Milestone: --- ******************************************************************************* OS and Platform: $ uname -a: Linux ubuntu 4.15.0-213-generic #224-Ubuntu SMP Mon Jun 19 13:30:12 UTC 2023 x86_64 x86_64 x86_64 GNU/Linux ******************************************************************************* gcc version: $ gcc -v Using built-in specs. COLLECT_GCC=/root/gcc_set/202311021000/bin/gcc COLLECT_LTO_WRAPPER=/root/gcc_set/202311021000/libexec/gcc/x86_64-pc-linux-gnu/14.0.0/lto-wrapper Target: x86_64-pc-linux-gnu Configured with: ../gcc/configure --prefix=/root/gcc_set/202311021000 --with-gmp=/root/build_essential --with-mpfr=/root/build_essential --with-mpc=/root/build_essential --enable-languages=c,c++ --disable-multilib --with-sanitizer=address,undefined,thread,leak Thread model: posix Supported LTO compression algorithms: zlib gcc version 14.0.0 20231102 (experimental) (GCC) git version: d508a94167c186b2baacc679896e2809554c0b99 ******************************************************************************* Program: $ cat mutant.c int __GIMPLE(ssa) foo(int j) { int c[1][10][1]; int _1; __BB(2): c[0][1][0] = 1; c[0][1] = _Literal (int[1]) {}; _1 = c[0][j_2(D)][0]; return _1; } int main() { if (foo (1) != 0) __builtin_abort (); return 0; } ******************************************************************************* Command Lines: $ gcc -fgimple -fsanitize=undefined mutant.c during GIMPLE pass: ubsan mutant.c: In function ‘foo’: mutant.c:9:20: internal compiler error: in gimplify_var_or_parm_decl, at gimplify.cc:3261 9 | _1 = c[0][j_2(D)][0]; | ~~~~~~~~~~~~^~~ 0x78d031 gimplify_var_or_parm_decl ../../gcc/gcc/gimplify.cc:3261 0xcd5ba0 gimplify_compound_lval ../../gcc/gcc/gimplify.cc:3381 0xccfcd3 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*), int) ../../gcc/gcc/gimplify.cc:16648 0xcd7ef0 gimplify_addr_expr ../../gcc/gcc/gimplify.cc:6788 0xcd0c64 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*), int) ../../gcc/gcc/gimplify.cc:16743 0xcd0316 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*), int) ../../gcc/gcc/gimplify.cc:17001 0xccff17 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*), int) ../../gcc/gcc/gimplify.cc:17482 0xccff17 gimplify_expr(tree_node**, gimple**, gimple**, bool (*)(tree_node*), int) ../../gcc/gcc/gimplify.cc:17482 0xcf598b force_gimple_operand_1(tree_node*, gimple**, bool (*)(tree_node*), tree_node*) ../../gcc/gcc/gimplify-me.cc:78 0xcf5abf force_gimple_operand_gsi_1(gimple_stmt_iterator*, tree_node*, bool (*)(tree_node*), tree_node*, bool, gsi_iterator_update) ../../gcc/gcc/gimplify-me.cc:115 0xcf5abf force_gimple_operand_gsi(gimple_stmt_iterator*, tree_node*, bool, tree_node*, bool, gsi_iterator_update) ../../gcc/gcc/gimplify-me.cc:141 0x1023f9c instrument_object_size ../../gcc/gcc/ubsan.cc:2306 0x1028f15 execute ../../gcc/gcc/ubsan.cc:2500 Please submit a full bug report, with preprocessed source (by using -freport-bug). Please include the complete backtrace with any bug report. See <https://gcc.gnu.org/bugs/> for instructions.