https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121886
Bug ID: 121886
Summary: ICE: in df_refs_verify, at df-scan.cc:4012 with -Os
-finstrument-functions-once
-fzero-call-used-regs=leafy-gpr -mthumb
Product: gcc
Version: 16.0
Status: UNCONFIRMED
Keywords: ice-checking, ice-on-valid-code
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: zsojka at seznam dot cz
Target Milestone: ---
Host: x86_64-pc-linux-gnu
Target: armv7a-hardfloat-linux-gnueabi
Compiler output:
$ echo 'void foo(){}' |
/repo/gcc-trunk/binary-latest-armv7a-hardfloat/bin/armv7a-hardfloat-linux-gnueabi-gcc
-Os -finstrument-functions-once -fzero-call-used-regs=leafy-gpr -mthumb -xc -
during RTL pass: mach
<stdin>: In function 'foo':
<stdin>:1:12: internal compiler error: in df_refs_verify, at df-scan.cc:4012
0x230e8fc internal_error(char const*, ...)
/repo/gcc-trunk/gcc/diagnostic-global-context.cc:786
0xabac95 fancy_abort(char const*, int, char const*)
/repo/gcc-trunk/gcc/diagnostics/context.cc:1787
0x70e7be df_refs_verify
/repo/gcc-trunk/gcc/df-scan.cc:4012
0xd0f1db df_insn_refs_verify
/repo/gcc-trunk/gcc/df-scan.cc:4091
0xd111c4 df_bb_verify
/repo/gcc-trunk/gcc/df-scan.cc:4128
0xd11557 df_scan_verify()
/repo/gcc-trunk/gcc/df-scan.cc:4249
0xcfae11 df_verify()
/repo/gcc-trunk/gcc/df-core.cc:1864
0xcfae11 df_analyze_1
/repo/gcc-trunk/gcc/df-core.cc:1251
0x1704300 thumb2_reorg
/repo/gcc-trunk/gcc/config/arm/arm.cc:19312
0x1704300 arm_reorg
/repo/gcc-trunk/gcc/config/arm/arm.cc:19531
0x12065a9 execute
/repo/gcc-trunk/gcc/reorg.cc:3924
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.
$ armv7a-hardfloat-linux-gnueabi-gcc -v
Using built-in specs.
COLLECT_GCC=/repo/gcc-trunk/binary-latest-armv7a-hardfloat/bin/armv7a-hardfloat-linux-gnueabi-gcc
COLLECT_LTO_WRAPPER=/repo/gcc-trunk/binary-trunk-20250908132503-r16-3661-g4f91825436c737-checking-yes-rtl-df-extra-armv7a-hardfloat/bin/../libexec/gcc/armv7a-hardfloat-linux-gnueabi/16.0.0/lto-wrapper
Target: armv7a-hardfloat-linux-gnueabi
Configured with: /repo/gcc-trunk//configure --enable-languages=c,c++
--enable-valgrind-annotations --disable-nls --enable-checking=yes,rtl,df,extra
--enable-libsanitizer --with-float=hard --with-fpu=vfpv4 --with-arch=armv7-a
--with-sysroot=/usr/armv7a-hardfloat-linux-gnueabi --build=x86_64-pc-linux-gnu
--host=x86_64-pc-linux-gnu --target=armv7a-hardfloat-linux-gnueabi
--with-ld=/usr/bin/armv7a-hardfloat-linux-gnueabi-ld
--with-as=/usr/bin/armv7a-hardfloat-linux-gnueabi-as --disable-libstdcxx-pch
--prefix=/repo/gcc-trunk//binary-trunk-20250908132503-r16-3661-g4f91825436c737-checking-yes-rtl-df-extra-armv7a-hardfloat
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 16.0.0 20250908 (experimental) (GCC)
