https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113890
Bug ID: 113890
Summary: -fdump-tree-modref ICE with _BitInt
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: ipa
Assignee: unassigned at gcc dot gnu.org
Reporter: jakub at gcc dot gnu.org
Target Milestone: ---
unsigned _BitInt(512) b;
int
foo (unsigned _BitInt(511) a)
{
return a <= b;
}
ICEs with -O2 -fdump-tree-modref:
during GIMPLE pass: modref
dump file: pr113849-2.c.223t.modref2
pr113849-2.c: In function ‘foo’:
pr113849-2.c:4:1: internal compiler error: in analyze_function, at
ipa-modref.cc:3287
4 | foo (unsigned _BitInt(511) a)
| ^~~
0x7e445c analyze_function
../../gcc/ipa-modref.cc:3287
0x12954ca execute
../../gcc/ipa-modref.cc:4240
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.
I'm afraid I have no idea what that assert is about, nor whether I'm doing
something wrong on the bitint lowering side or if it is an modref bug.
