https://gcc.gnu.org/g:f606f2417b33d88f70b735c1f94f52de5d121ae7
commit r16-1137-gf606f2417b33d88f70b735c1f94f52de5d121ae7
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Wed Jan 15 09:57:10 2025 +0100
ada: Fix adareducer oracle generation
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.
Diff:
---
gcc/ada/generate_minimal_reproducer.adb | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/generate_minimal_reproducer.adb
b/gcc/ada/generate_minimal_reproducer.adb
index d13709af6bba..2378f60c4729 100644
--- a/gcc/ada/generate_minimal_reproducer.adb
+++ b/gcc/ada/generate_minimal_reproducer.adb
@@ -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???
