https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106844
Bug ID: 106844
Summary: ICE in init_use_preds, at
gimple-predicate-analysis.cc:1944 since
r13-2436-ge9ea2688271bd0b4
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: marxin at gcc dot gnu.org
CC: rguenth at gcc dot gnu.org
Target Milestone: ---
The following crashes:
$ cat ice.c
struct {
int count;
int array[];
} fde_merge_v1;
void
fde_merge_i2() {
unsigned i1;
do
while (i1 && fde_merge_v1.array[i1 - 1])
i1--;
while (fde_merge_i2);
}
$ gcc ice.c --param=uninit-control-dep-attempts=1 -O1 -c -Wmaybe-uninitialized
during GIMPLE pass: uninit
ice.c: In function ‘fde_merge_i2’:
ice.c:7:1: internal compiler error: in init_use_preds, at
gimple-predicate-analysis.cc:1924
7 | fde_merge_i2() {
| ^~~~~~~~~~~~
0x8a35ff uninit_analysis::init_use_preds(predicate&, basic_block_def*,
basic_block_def*)
/home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:1924
0x1d68f8b uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int, hash_set<gphi*, false, default_hash_traits<gphi*> >*)
/home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:2086
0x1d69573 uninit_analysis::is_use_guarded(gimple*, basic_block_def*, gphi*,
unsigned int)
/home/marxin/Programming/gcc/gcc/gimple-predicate-analysis.cc:2127
0x11b6614 find_uninit_use
/home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1238
0x11b6f55 warn_uninitialized_phi
/home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1308
0x11b6f55 execute_late_warn_uninitialized
/home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1429
0x11b6f55 execute
/home/marxin/Programming/gcc/gcc/tree-ssa-uninit.cc:1446
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.
