]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Display message on reproducer generation failure
authorRonan Desplanques <desplanques@adacore.com>
Mon, 14 Oct 2024 08:15:11 +0000 (10:15 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:58 +0000 (16:57 +0100)
Before this patch, nothing was reported to the user when an exception
was raised during generation of a minimal reproducer. This patch fixes
this.

gcc/ada/ChangeLog:

* comperr.adb (Compiler_Abort): Display message in exception handler.

gcc/ada/comperr.adb

index e411ddb5d29814df7d5a5a2e159c645d4fe722d6..726f0ccadb05d40b8f173b7d3fe535e955dbee22 100644 (file)
@@ -409,7 +409,8 @@ package body Comperr is
                Generate_Minimal_Reproducer;
             end if;
          exception
-            when others => null;
+            when others =>
+               Write_Str ("failed to generate reproducer");
          end;
 
          Write_Eol;