https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96730
Bug ID: 96730
Summary: ICE on x86_64-linux-gnu with `-O1` to `-O3` (in
verify_sra_access_forest, at tree-sra.c:2352)
Product: gcc
Version: unknown
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: cnsun at uwaterloo dot ca
Target Milestone: ---
$ gcc-trunk -O1 t.c
during GIMPLE pass: esra
t.c: In function ‘d’:
t.c:10:1: internal compiler error: in verify_sra_access_forest, at
tree-sra.c:2352
10 | int main() {}
| ^~~
0x734000 verify_sra_access_forest(access*)
/tmp/tmp.uva1EAuUpA-gcc-builder/gcc/gcc/tree-sra.c:2352
0xf42be2 verify_all_sra_access_forests()
/tmp/tmp.uva1EAuUpA-gcc-builder/gcc/gcc/tree-sra.c:2403
0xf46bb4 analyze_all_variable_accesses
/tmp/tmp.uva1EAuUpA-gcc-builder/gcc/gcc/tree-sra.c:3450
0xf470e1 perform_intra_sra
/tmp/tmp.uva1EAuUpA-gcc-builder/gcc/gcc/tree-sra.c:4527
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.
$
$ cat t.c
struct a {
int b;
int c;
} d() {
struct a e[9];
int f = 3362953455;
e[f] = e[6];
e[6].c = 1;
}
int main() {}
$
$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/scratch/software/gcc-trunk/libexec/gcc/x86_64-pc-linux-gnu/11.0.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /tmp/tmp.uva1EAuUpA-gcc-builder/gcc/configure
--enable-languages=c,c++,lto --enable-multiarch
--prefix=/scratch/software/gcc-trunk --disable-bootstrap
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 11.0.0 20200820 (experimental) [master revision
:01cb32abf:04e23a4051fb3c049f85b9e6e2fc58f937337aff] (GCC)
