https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65955
--- Comment #1 from vries at gcc dot gnu.org --- Created attachment 35433 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=35433&action=edit Sources in tgz Using these sources, I can reproduce using just this command line: ... build/./prev-gcc/xgcc -Bbuild/./prev-gcc/ -Binstall/arm-linux-gnueabihf/bin/ -Binstall/arm-linux-gnueabihf/bin/ -Binstall/arm-linux-gnueabihf/lib/ -c -g -O2 -gtoggle -gnatpg -gnata -nostdinc sem_eval.adb ...
