From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1914) id 17CAB398B0F9; Fri, 9 Jul 2021 12:39:19 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 17CAB398B0F9 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Pierre-Marie de Rodat To: gcc-cvs@gcc.gnu.org Subject: [gcc r12-2209] [Ada] Add source file name to gnat bug box X-Act-Checkin: gcc X-Git-Author: Bob Duff X-Git-Refname: refs/heads/master X-Git-Oldrev: 021cf768fba5724f6d419fbbd574ca12c76c616c X-Git-Newrev: fbc72d0b4ac841fdf7d3ea15851f3be39361a86c Message-Id: <20210709123919.17CAB398B0F9@sourceware.org> Date: Fri, 9 Jul 2021 12:39:19 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Fri, 09 Jul 2021 12:39:19 -0000 https://gcc.gnu.org/g:fbc72d0b4ac841fdf7d3ea15851f3be39361a86c commit r12-2209-gfbc72d0b4ac841fdf7d3ea15851f3be39361a86c Author: Bob Duff Date: Mon Jun 14 09:37:24 2021 -0400 [Ada] Add source file name to gnat bug box gcc/ada/ * comperr.adb (Compiler_Abort): Print source file name. Diff: --- gcc/ada/comperr.adb | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gcc/ada/comperr.adb b/gcc/ada/comperr.adb index 300b523213a..064fae062b8 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.