]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix adareducer oracle generation
authorRonan Desplanques <desplanques@adacore.com>
Wed, 15 Jan 2025 08:57:10 +0000 (09:57 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 5 Jun 2025 08:18:34 +0000 (10:18 +0200)
This patch adds a missing "-quiet" switch to the compiler invocations
performed by generated oracles. Without that switch, log lines could be
present before bug boxes for crashes in gigi and that caused the crash
detection logic to fail.

gcc/ada/ChangeLog:

* generate_minimal_reproducer.adb (Generate_Minimal_Reproducer): Fix
oracle generation.

gcc/ada/generate_minimal_reproducer.adb

index d13709af6bba8c12f90d02f05cf70751da8f67df..2378f60c4729d65128bdda5a52afcc3a21c6bf50 100644 (file)
@@ -253,7 +253,8 @@ begin
          Write_Eol;
          Write_Line ("   Args : constant GNAT.OS_Lib.Argument_List :=");
 
-         Write_Str ("     (new String'(""-gnatd_M"")");
+         Write_Str
+           ("     (new String'(""-quiet""), new String'(""-gnatd_M"")");
 
          --  The following way of iterating through the command line arguments
          --  was copied from Set_Targ. TODO factorize???