[gcc r12-4024] [Ada] Add new debug switch -gnatd.8

[gcc r12-4024] [Ada] Add new debug switch -gnatd.8

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:f54be415c18a2cfb37152ed55666c7e766404e4e

commit r12-4024-gf54be415c18a2cfb37152ed55666c7e766404e4e
Author: Eric Botcazou <ebotcazou@adacore.com>
Date:   Thu Aug 12 21:45:33 2021 +0200

    [Ada] Add new debug switch -gnatd.8
    
    gcc/ada/
    
            * debug.adb (d.8): Document usage.
            * fe.h (Debug_Flag_Dot_8): Declare.

Diff:
---
 gcc/ada/debug.adb | 6 +++++-
 gcc/ada/fe.h      | 2 ++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb
index a7cdfae2581..2c07e94f3e6 100644
--- 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 488e81128df..957f40b26a3 100644
--- 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: */