https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109798
--- Comment #7 from simon at pushface dot org --- I *can* reproduce with /opt/gcc-13.1.0-aarch64/bin/gcc -c -x ada -gnatA -Og -ffunction-sections -fdata-sections -g -gnatwa -gnatw.X -gnatVa -gnaty3 -gnatya -gnatyA -gnatyB -gnatyb -gnatyc -gnaty-d -gnatye -gnatyf -gnatyh -gnatyi -gnatyI -gnatyk -gnatyl -gnatym -gnatyn -gnatyO -gnatyp -gnatyr -gnatyS -gnatyt -gnatyu -gnatyx -gnatW8 -gnatec=/private/var/folders/_q/fvnxz46903z9hjh38fz0lyhm0000gs/T/GNAT-TEMP-000003.TMP -gnatem=/private/var/folders/_q/fvnxz46903z9hjh38fz0lyhm0000gs/T/GNAT-TEMP-000004.TMP /Users/simon/Developer/bugs/gcc/109798/alire/testing/src/testing.adb where the -gnatec file contains pragma Source_File_Name_Project (Spec_File_Name => "*.ads", Casing => lowercase, Dot_Replacement => "-"); pragma Source_File_Name_Project (Body_File_Name => "*.adb", Casing => lowercase, Dot_Replacement => "-"); and the -gnatem file contains testing_config%s testing_config.ads /Users/simon/Developer/bugs/gcc/109798/alire/testing/config/testing_config.ads testing%b testing.adb /Users/simon/Developer/bugs/gcc/109798/alire/testing/src/testing.adb I think it’s the -gnatVa (I took out the -f*sections and all the style options except a simple -gnaty).
