[Ada] Add new debug switch -gnatd.8

gcc/ada/

	* debug.adb (d.8): Document usage.
	* fe.h (Debug_Flag_Dot_8): Declare.

diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index a7cdfae25819b863a9aeedc4f50e62aa57851422..2c07e94f3e6fa1308e60ab17e8e7d1ffe5199c1f 100644 (file)
--- a/gcc/ada/debug.adb
+++ b/gcc/ada/debug.adb
@@ -210,7 +210,7 @@ package body Debug is
    --  d.5  Do not generate imported subprogram definitions in C code
    --  d.6  Do not avoid declaring unreferenced types in C code
    --  d.7  Disable unsound heuristics in gnat2scil (for CP as SPARK prover)
-   --  d.8
+   --  d.8  Disable unconditional inlining of expression functions
    --  d.9  Disable build-in-place for nonlimited types
 
    --  d_1
@@ -1105,6 +1105,10 @@ package body Debug is
    --       issues (e.g., assuming that a low bound of an array parameter
    --       of an unconstrained subtype belongs to the index subtype).
 
+   --  d.8  By default calls to expression functions are always inlined.
+   --       This debug flag turns off this behavior, making them subject
+   --       to the usual inlining heuristics of the code generator.
+
    --  d.9  Disable build-in-place for function calls returning nonlimited
    --       types.
 

diff --git a/gcc/ada/fe.h b/gcc/ada/fe.h
index 488e81128dfbe1b452351dc03ef70f224a95b52a..957f40b26a3a00fa6f2ef1a86e64e299a7537429 100644 (file)
--- a/gcc/ada/fe.h
+++ b/gcc/ada/fe.h
@@ -61,10 +61,12 @@ extern void Compiler_Abort (String_Pointer, String_Pointer, Boolean) ATTRIBUTE_N
 
 #define Debug_Flag_Dot_KK      debug__debug_flag_dot_kk
 #define Debug_Flag_Dot_R       debug__debug_flag_dot_r
+#define Debug_Flag_Dot_8       debug__debug_flag_dot_8
 #define Debug_Flag_NN          debug__debug_flag_nn
 
 extern Boolean Debug_Flag_Dot_KK;
 extern Boolean Debug_Flag_Dot_R;
+extern Boolean Debug_Flag_Dot_8;
 extern Boolean Debug_Flag_NN;
 
 /* einfo: */