aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/types.ads
diff options
context:
space:
mode:
authorBob Duff <duff@adacore.com>2021-03-18 18:46:16 -0400
committerPierre-Marie de Rodat <derodat@adacore.com>2021-06-18 04:36:51 -0400
commit9324e07dbd14cf1da1627676b5f4aeb6ba606e4a (patch)
tree7b9fe5e2b551778b3212ca37735e8ada974a3990 /gcc/ada/types.ads
parentf44441d80fa8523a2e1b294b8563180202879727 (diff)
downloadgcc-9324e07dbd14cf1da1627676b5f4aeb6ba606e4a.zip
gcc-9324e07dbd14cf1da1627676b5f4aeb6ba606e4a.tar.gz
gcc-9324e07dbd14cf1da1627676b5f4aeb6ba606e4a.tar.bz2
[Ada] Remove AAMP from compiler sources
gcc/ada/ * ada_get_targ.adb, aspects.ads, checks.adb, cstand.adb, einfo.ads, exp_attr.adb, freeze.adb, get_targ.adb, libgnat/a-textio.ads, libgnat/g-memdum.ads, libgnat/s-scaval__128.adb, libgnat/s-scaval.adb, make.adb, osint.ads, par-prag.adb, sem_ch13.adb, sem_prag.adb, sem_prag.ads, set_targ.adb, set_targ.ads, snames.ads-tmpl, targparm.ads, types.ads: Remove AAMP-specific code. * switch.ads: Minor reformatting. * gen_il-fields.ads, gen_il-gen.adb, gen_il-gen-gen_entities.adb, gen_il-types.ads, einfo-utils.adb, einfo-utils.ads: Package Types now contains "type Float_Rep_Kind is (IEEE_Binary);", which used to also have an enumeral AAMP. Gen_IL can't handle fields of this type, which would be zero sized. Therefore, we move the Float_Rep field into Einfo.Utils as a synthesized attribute. (We do not delete the field altogether, in case we want new floating-point representations in the future.) * doc/gnat_rm/implementation_defined_pragmas.rst, doc/gnat_rm/implementation_defined_aspects.rst, doc/gnat_ugn/building_executable_programs_with_gnat.rst, doc/gnat_ugn/the_gnat_compilation_model.rst: Remove AAMP-specific documentation. * gnat_rm.texi, gnat_ugn.texi: Regenerate.
Diffstat (limited to 'gcc/ada/types.ads')
-rw-r--r--gcc/ada/types.ads7
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/types.ads b/gcc/ada/types.ads
index ef87a5a..a74bfb6 100644
--- a/gcc/ada/types.ads
+++ b/gcc/ada/types.ads
@@ -837,9 +837,10 @@ package Types is
-- Floating Point Representation --
-----------------------------------
- type Float_Rep_Kind is (
- IEEE_Binary, -- IEEE 754p conforming binary format
- AAMP); -- AAMP format
+ type Float_Rep_Kind is (IEEE_Binary);
+ -- The only one supported now is IEEE 754p conforming binary format, but
+ -- other formats were supported in the past, and could conceivably be
+ -- supported in the future, so we keep this singleton enumeration type.
----------------------------
-- Small_Paren_Count_Type --