https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122765
Bug ID: 122765
Summary: [16 Regression] RISC-V: ICE in merge at
ipa-modref-tree.cc:176
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: ewlu at rivosinc dot com
Target Milestone: ---
Created attachment 62851
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=62851&action=edit
freport-bug output
Testcase:
short a;
void b(unsigned c[][4][24]) {
for (long d = 0; d < 10918164083879695525ULL; d += -16660957600788277724ULL)
for (int e = (5 ? c[d][6][d] : 0) ?: 0; e; e += 8086952633)
a = 0;
}
Commands/backtrace:
$
/scratch/ewlu/daily-upstream-build/build-gcv/bin/riscv64-unknown-linux-gnu-gcc
-I/scratch/ewlu/ci/compiler-fuzz-ci/csmith-build/include -fsigned-char
-fno-strict-aliasing -fwrapv -O3 red.c -o rv64gcv.out -w -freport-bug
during GIMPLE pass: modref
red.c: In function 'b':
red.c:2:6: internal compiler error: in merge, at ipa-modref-tree.cc:176
2 | void b(unsigned c[][4][24]) {
| ^
0x3098b61 internal_error(char const*, ...)
../../../gcc/gcc/diagnostic-global-context.cc:787
0xd728e9 fancy_abort(char const*, int, char const*)
../../../gcc/gcc/diagnostics/context.cc:1805
0xbb6429 modref_access_node::merge(modref_access_node const&, bool)
../../../gcc/gcc/ipa-modref-tree.cc:176
0x12b946c modref_access_node::try_merge_with(vec<modref_access_node, va_gc,
vl_embed>*&, unsigned long)
../../../gcc/gcc/ipa-modref-tree.cc:457
0x12b9ca9 modref_access_node::insert(vec<modref_access_node, va_gc,
vl_embed>*&, modref_access_node, unsigned long, bool)
../../../gcc/gcc/ipa-modref-tree.cc:562
0x12b4b41 modref_ref_node<int>::insert_access(modref_access_node, unsigned
long, bool)
../../../gcc/gcc/ipa-modref-tree.h:194
0x12b4b41 modref_tree<int>::insert(unsigned int, unsigned int, unsigned int,
int, int, modref_access_node, bool)
../../../gcc/gcc/ipa-modref-tree.h:444
0x12a64f3 modref_tree<int>::insert(tree_node*, int, int, modref_access_node
const&, bool)
../../../gcc/gcc/ipa-modref-tree.h:471
0x12a64f3 record_access
../../../gcc/gcc/ipa-modref.cc:1086
0x12a713b analyze_load
../../../gcc/gcc/ipa-modref.cc:1721
0x11dacb2 walk_stmt_load_store_addr_ops(gimple*, void*, bool (*)(gimple*,
tree_node*, tree_node*, void*), bool (*)(gimple*, tree_node*, tree_node*,
void*), bool (*)(gimple*, tree_node*, tree_node*, void*))
../../../gcc/gcc/gimple-walk.cc:826
0x12ada7b analyze_stmt
../../../gcc/gcc/ipa-modref.cc:1801
0x12af22b analyze
../../../gcc/gcc/ipa-modref.cc:1914
0x12af22b analyze_function
../../../gcc/gcc/ipa-modref.cc:3241
0x12b0cce execute
../../../gcc/gcc/ipa-modref.cc:4262
Please submit a full bug report, with preprocessed source.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.
Preprocessed source stored into /tmp/cc5aTGoA.out file, please attach this to
your bugreport.
Godbolt: https://godbolt.org/z/4rr9rMc8e
Found via fuzzer
