diff options
| author | Bob Duff <duff@adacore.com> | 2021-03-16 15:45:48 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-06-18 04:36:49 -0400 |
| commit | 73b670e3b1b6a2c0ecfba711401210a284fce0c6 (patch) | |
| tree | 6433bce17b8092341aa98d8755f87967916fe9b1 /gcc | |
| parent | 57841a43114d66a59322ce8b8d98b5e0096e5e36 (diff) | |
| download | gcc-73b670e3b1b6a2c0ecfba711401210a284fce0c6.zip gcc-73b670e3b1b6a2c0ecfba711401210a284fce0c6.tar.gz gcc-73b670e3b1b6a2c0ecfba711401210a284fce0c6.tar.bz2 | |
[Ada] New debug switch to disable large static aggregates
gcc/ada/
* debug.adb: Document switch.
* exp_aggr.adb: If -gnatd_g was given, then do not bump the
limit to 500_000.
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/debug.adb | 6 | ||||
| -rw-r--r-- | gcc/ada/exp_aggr.adb | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index e2c7228..0694f23 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -145,7 +145,7 @@ package body Debug is -- d_d -- d_e Ignore entry calls and requeue statements for elaboration -- d_f Issue info messages related to GNATprove usage - -- d_g + -- d_g Disable large static aggregates -- d_h Disable the use of (perfect) hash functions for enumeration Value -- d_i Ignore activations and calls to instances for elaboration -- d_j Read JSON files and populate Repinfo tables (opposite of -gnatRjs) @@ -965,6 +965,10 @@ package body Debug is -- beginners find them confusing. Set automatically by GNATprove when -- switch --info is used. + -- d_g Disable large static aggregates. The maximum size for a static + -- aggregate will be fairly modest, which is useful if the compiler + -- is using too much memory and time at compile time. + -- d_h The compiler does not make use of (perfect) hash functions in the -- implementation of the Value attribute for enumeration types. diff --git a/gcc/ada/exp_aggr.adb b/gcc/ada/exp_aggr.adb index 8f3147e..2e772ed 100644 --- a/gcc/ada/exp_aggr.adb +++ b/gcc/ada/exp_aggr.adb @@ -684,9 +684,11 @@ package body Exp_Aggr is begin -- We bump the maximum size unless the aggregate has a single component -- association, which will be more efficient if implemented with a loop. + -- The -gnatd_g switch disables this bumping. - if No (Expressions (N)) - and then No (Next (First (Component_Associations (N)))) + if (No (Expressions (N)) + and then No (Next (First (Component_Associations (N))))) + or else Debug_Flag_Underscore_G then Max_Aggr_Size := Max_Aggregate_Size (N); else |