diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2020-12-01 20:18:12 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-12-17 05:49:21 -0500 |
| commit | 211d0b4f036313148c4da5e88b520c451a803172 (patch) | |
| tree | 8ab6acc8641609ad440aeec9c2fc36e1da2edfc5 | |
| parent | f6219730a1ac4a24cbbc2428e3f30e1b11abe1e8 (diff) | |
| download | gcc-211d0b4f036313148c4da5e88b520c451a803172.zip gcc-211d0b4f036313148c4da5e88b520c451a803172.tar.gz gcc-211d0b4f036313148c4da5e88b520c451a803172.tar.bz2 | |
[Ada] Do not generate encodings for fixed-point types by default
gcc/ada/
* exp_dbug.adb (Get_Encoded_Name): Generate encodings for fixed
point types only if -fgnat-encodings=all is specified.
| -rw-r--r-- | gcc/ada/exp_dbug.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_dbug.adb b/gcc/ada/exp_dbug.adb index dc6cd26..bb0003d 100644 --- a/gcc/ada/exp_dbug.adb +++ b/gcc/ada/exp_dbug.adb @@ -648,7 +648,7 @@ package body Exp_Dbug is -- Fixed-point case: generate GNAT encodings when asked to if Is_Fixed_Point_Type (E) - and then GNAT_Encodings /= DWARF_GNAT_Encodings_Minimal + and then GNAT_Encodings = DWARF_GNAT_Encodings_All then Get_External_Name (E, True, "XF_"); Add_Real_To_Buffer (Delta_Value (E)); |