https://gcc.gnu.org/g:6b9bdbf958cecf4a4bc96fa64923535fbf4973b8
commit r17-1284-g6b9bdbf958cecf4a4bc96fa64923535fbf4973b8 Author: Johannes Kanig <[email protected]> Date: Wed Apr 29 01:29:38 2026 +0000 ada: Adjust bugbox URL in GNATprove mode When an FSF frontend crash happens under GNATprove_Mode, the bugbox should point users to the SPARK repository instead of the GCC bug tracker. Keep the existing GCC bug-report instructions for other FSF tools. gcc/ada/ChangeLog: * comperr.adb (Compiler_Abort): Use the SPARK bug-report URL in GNATprove mode only, and keep the GCC bug-report URL for other FSF tools. Diff: --- gcc/ada/comperr.adb | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/gcc/ada/comperr.adb b/gcc/ada/comperr.adb index 5a7ba6f5d7ca..2ae38a7b3996 100644 --- a/gcc/ada/comperr.adb +++ b/gcc/ada/comperr.adb @@ -296,7 +296,17 @@ package body Comperr is -- Otherwise we use the standard fixed text else - if Is_FSF_Version then + if Is_FSF_Version and then GNATprove_Mode then + Write_Str + ("| Please submit a bug report at the SPARK issue" & + " tracker:"); + End_Line; + + Write_Str + ("| https://github.com/AdaCore/spark2014 ."); + End_Line; + + elsif Is_FSF_Version then Write_Str ("| Please submit a bug report; see" & " https://gcc.gnu.org/bugs/ .");
