OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Add new debug switch -gnatd.8

Browse Source 
gcc/ada/

	* debug.adb (d.8): Document usage.
	* fe.h (Debug_Flag_Dot_8): Declare.
This commit is contained in:
Eric Botcazou 2021-08-12 21:45:33 +02:00 committed by Pierre-Marie de Rodat
parent 302563cf1b
commit f54be415c1
2 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ada/debug.adb
View File

@ -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.

2
gcc/ada/fe.h
View File

@ -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: */