https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Bug ID: 108274
Summary: [13 Regression] ICE with in df_refs_verify during
arm_reorg pass with -fipa-icf
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: acoplan at gcc dot gnu.org
Target Milestone: ---
The following (reduced from g++.dg/ipa/pr64146.C) fails:
$ gcc/xgcc -B gcc -v
Reading specs from gcc/specs
COLLECT_GCC=gcc/xgcc
COLLECT_LTO_WRAPPER=gcc/lto-wrapper
Target: arm-eabi
Configured with: /home/alecop01/toolchain/src/gcc/configure
--prefix=/data_sdb/toolchain/cc1s/arm --enable-languages=c,c++
--disable-bootstrap --target=arm-eabi
Thread model: single
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20230103 (experimental) (GCC)
$ cat t.c
const char *f() { return ""; }
const char *g() { return ""; }
$ gcc/xgcc -B gcc -c t.c -fipa-icf -march=armv8-a -mthumb
during RTL pass: mach
t.c: In function ‘g’:
t.c:2:13: internal compiler error: in df_refs_verify, at df-scan.cc:4009
2 | const char *g() { return ""; }
| ^
0x8d84cf df_refs_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4009
0x8dd84b df_insn_refs_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4088
0x8dddce df_bb_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4125
0x8e1687 df_scan_verify()
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4246
0x8cac74 df_verify()
/home/alecop01/toolchain/src/gcc/gcc/df-core.cc:1818
0x8cac74 df_analyze_1
/home/alecop01/toolchain/src/gcc/gcc/df-core.cc:1214
0x1217a40 thumb2_reorg
/home/alecop01/toolchain/src/gcc/gcc/config/arm/arm.cc:19227
0x1217a40 arm_reorg
/home/alecop01/toolchain/src/gcc/gcc/config/arm/arm.cc:19446
0xd5dc39 execute
/home/alecop01/toolchain/src/gcc/gcc/reorg.cc:3927
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
