Andreas Schwab <sch...@linux-m68k.org> writes: > This breaks Ada on aarch64 in stage3, probably a miscompiled stage2 > compiler. For example: > > /opt/gcc/gcc-20220605/Build/./prev-gcc/xgcc > -B/opt/gcc/gcc-20220605/Build/./prev-gcc/ -B/usr/aarch64-suse-linux/bin/ > -B/usr/aarch64-suse-linux/bin/ -B/usr/aarch64-suse-linux/lib/ -isystem > /usr/aarch64-suse-linux/include -isystem > /usr/aarch64-suse-linux/sys-include -fchecking=1 -c -g -O2 -fchecking=1 > -gnatpg -gnata -W -Wall -nostdinc -I- -I. -Iada/generated -Iada > -I../../gcc/ada -Iada/libgnat -I../../gcc/ada/libgnat -Iada/gcc-interface > -I../../gcc/ada/gcc-interface ../../gcc/ada/spark_xrefs.adb -o > ada/spark_xrefs.o > +===========================GNAT BUG DETECTED==============================+ > | 13.0.0 20220605 (experimental) [master ad6919374be] (aarch64-suse-linux) | > | Assert_Failure failed precondition from sinfo-nodes.ads:5419 | > | Error detected at types.ads:53:28 | > | Compiling ../../gcc/ada/spark_xrefs.adb | > | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | > | Use a subject line meaningful to you and us to track the bug. | > | Include the entire contents of this bug box in the report. | > | Include the exact command that you entered. | > | Also include sources listed below. | > +==========================================================================+
Confirmed: this also happens on i386-pc-solaris2.11, sparc-sun-solaris2.11, and x86_64-pc-linux-gnu.
