diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2022-05-26 13:34:55 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-07-04 07:45:55 +0000 |
| commit | 02e41e69d4762937f6ba927059e22abf84801b32 (patch) | |
| tree | 7b5b52d3ff4e61e57af57d18de59a702074c96b2 /gcc/ada/debug.adb | |
| parent | c901877facf9635149ed69cabd88c871f60931fe (diff) | |
| download | gcc-02e41e69d4762937f6ba927059e22abf84801b32.zip gcc-02e41e69d4762937f6ba927059e22abf84801b32.tar.gz gcc-02e41e69d4762937f6ba927059e22abf84801b32.tar.bz2 | |
[Ada] Do not use front-end build-in-place mechanism for nonlimited types
It was only used in specific cases for controlled types but no longer
provides any significant benefit in practice.
gcc/ada/
* debug.adb (d.9): Remove usage.
* exp_ch6.adb (Expand_Simple_Function_Return): Remove redundant
test on Debug_Flag_Dot_L.
(Is_Build_In_Place_Result_Type): Return false for nonlimited types.
(Is_Build_In_Place_Function): Tidy up and remove redundant test on
Debug_Flag_Dot_L.
Diffstat (limited to 'gcc/ada/debug.adb')
| -rw-r--r-- | gcc/ada/debug.adb | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/gcc/ada/debug.adb b/gcc/ada/debug.adb index a03c88d..d0bcdb0 100644 --- a/gcc/ada/debug.adb +++ b/gcc/ada/debug.adb @@ -211,7 +211,7 @@ package body Debug is -- 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 Disable unconditional inlining of expression functions - -- d.9 Disable build-in-place for nonlimited types + -- d.9 -- d_1 -- d_2 @@ -1125,9 +1125,6 @@ package body Debug is -- 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. - ------------------------------------------ -- Documentation for Binder Debug Flags -- ------------------------------------------ |