]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Add source file name to gnat bug box
authorBob Duff <duff@adacore.com>
Mon, 14 Jun 2021 13:37:24 +0000 (09:37 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 9 Jul 2021 12:35:29 +0000 (12:35 +0000)
gcc/ada/

* comperr.adb (Compiler_Abort): Print source file name.

gcc/ada/comperr.adb

index 300b523213aae9ab6b15bbd4007ef87e0690866c..064fae062b868d79f22d51c33f33c53bf4e78939 100644 (file)
@@ -244,12 +244,17 @@ package body Comperr is
             end if;
 
             End_Line;
+
          else
             Write_Str ("| Error detected at ");
             Write_Location (Sloc (Current_Error_Node));
             End_Line;
          end if;
 
+         Write_Str ("| Compiling ");
+         Write_Str (Get_First_Main_File_Name);
+         End_Line;
+
          --  There are two cases now. If the file gnat_bug.box exists,
          --  we use the contents of this file at this point.