https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120463
--- Comment #8 from Dubois <zzbard at wanadoo dot fr> --- OK, compilation line with -v switch below : $ gprbuild -P checkpres.gpr -v Changing to object directory of "Checkpres": "/media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/B-objali/" /usr/bin/gcc-13 -c -x ada -gnatA -g -g -O0 -gnata -gnatwa -gnatiw -gnatW8 -gnat2022 -fPIE -O2 -gnatec=/tmp/GPR.4863/GNAT-TEMP-000003.TMP -gnatem=/tmp/GPR.4863/GNAT-TEMP-000004.TMP /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/checkpres.adb /usr/bin/gcc-13 -c -x ada -gnatA -g -g -O0 -gnata -gnatwa -gnatiw -gnatW8 -gnat2022 -fPIE -O2 -gnatec=/tmp/GPR.4863/GNAT-TEMP-000003.TMP -gnatem=/tmp/GPR.4863/GNAT-TEMP-000004.TMP /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/Biblio/window1_callbacks.adb window1_callbacks.adb:51:50: warning: aspect Unreferenced specified for "Builder" [enabled by default] window1_callbacks.adb:93:53: warning: aspect Unreferenced specified for "Builder" [enabled by default] window1_callbacks.adb:94:75: warning: aspect Unreferenced specified for "Builder" [enabled by default] window1_callbacks.adb:104:75: warning: aspect Unreferenced specified for "Builder" [enabled by default] /usr/bin/gcc-13 -c -x ada -gnatA -g -g -O0 -gnata -gnatwa -gnatiw -gnatW8 -gnat2022 -fPIE -O2 -gnatec=/tmp/GPR.4863/GNAT-TEMP-000003.TMP -gnatem=/tmp/GPR.4863/GNAT-TEMP-000004.TMP /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/Biblio/fichier.adb +===========================GNAT BUG DETECTED==============================+ | 13.3.0 (x86_64-linux-gnu) Storage_Error stack overflow or erroneous memory access| | Error detected at fichier.adb:505:3 | | Compiling /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/Biblio/fichier.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. | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/Biblio/fichier.adb /media/4To/Donnees/Courrier/020-Ada/M-Sources/110-Utilitaires/130-Bureautique/015-HTML/G1R8/G1R8_1/A-src/Biblio/fichier.ads fichier.adb:552:36: warning: "return" statement missing following this statement [enabled by default] fichier.adb:552:36: warning: Program_Error will be raised at run time [enabled by default] compilation abandoned gprbuild: *** compilation phase failed $ BR Le 04/06/2025 à 11:07, ebotcazou at gcc dot gnu.org a écrit : > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120463 > > --- Comment #6 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- >> do you need more information or is it OK now for you to investigate >> the bug, please? > Yes, see the end of my last message, we need the command line passed to the > compiler. >
