From: Bob Duff <duff@adacore.com>
Date: Mon, 14 Jun 2021 13:37:24 +0000 (-0400)
Subject: [Ada] Add source file name to gnat bug box
X-Git-Tag: basepoints/gcc-13~6104
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbc72d0b4ac841fdf7d3ea15851f3be39361a86c;p=thirdparty%2Fgcc.git

[Ada] Add source file name to gnat bug box

gcc/ada/

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

diff --git a/gcc/ada/comperr.adb b/gcc/ada/comperr.adb
index 300b523213aa..064fae062b86 100644
--- a/gcc/ada/comperr.adb
+++ b/gcc/ada/comperr.adb
@@ -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.