From: Ronan Desplanques <desplanq...@adacore.com>
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.
Tested on x86_64-pc-linux-gnu, committed on master.
---
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 d13709af6bb..2378f60c472 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???
--
2.43.0
