aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorPiotr Trojanek <trojanek@adacore.com>2022-04-08 23:27:24 +0200
committerPierre-Marie de Rodat <derodat@adacore.com>2022-05-30 08:29:04 +0000
commit0f29dfcec26d883cb2d3d7ccdfc09bde1afcfa2e (patch)
tree201712cae0dc0f5539cee84579075cc8580dcc85 /gcc
parent9baae5692bd594024e3131589b8b1e1bfb6e77c1 (diff)
downloadgcc-0f29dfcec26d883cb2d3d7ccdfc09bde1afcfa2e.zip
gcc-0f29dfcec26d883cb2d3d7ccdfc09bde1afcfa2e.tar.gz
gcc-0f29dfcec26d883cb2d3d7ccdfc09bde1afcfa2e.tar.bz2
[Ada] Remove repeated description of support for Address clauses
The GNAT behaviour regarding the Ada RM requirement to support Address clauses for imported subprograms was documented twice: in section about packed types (which was a mistake) and in section about address clauses (where it belongs). Cleanup related to the use of packed arrays for bitset operations to detect uses of uninitialized scalars in GNAT. gcc/ada/ * doc/gnat_rm/implementation_advice.rst (Packed Types): Remove duplicated and wrongly placed paragraph. * gnat_rm.texi: Regenerate.
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ada/doc/gnat_rm/implementation_advice.rst6
-rw-r--r--gcc/ada/gnat_rm.texi8
2 files changed, 0 insertions, 14 deletions
diff --git a/gcc/ada/doc/gnat_rm/implementation_advice.rst b/gcc/ada/doc/gnat_rm/implementation_advice.rst
index e7649b0..f2f34db 100644
--- a/gcc/ada/doc/gnat_rm/implementation_advice.rst
+++ b/gcc/ada/doc/gnat_rm/implementation_advice.rst
@@ -353,12 +353,6 @@ then values of the type are implicitly initialized to zero. This
happens both for objects of the packed type, and for objects that have a
subcomponent of the packed type.
-
- "An implementation should support Address clauses for imported
- subprograms."
-
-Followed.
-
.. index:: Address clauses
RM 13.3(14-19): Address Clauses
diff --git a/gcc/ada/gnat_rm.texi b/gcc/ada/gnat_rm.texi
index 434bd3c..1fa93a3 100644
--- a/gcc/ada/gnat_rm.texi
+++ b/gcc/ada/gnat_rm.texi
@@ -14333,14 +14333,6 @@ then values of the type are implicitly initialized to zero. This
happens both for objects of the packed type, and for objects that have a
subcomponent of the packed type.
-@quotation
-
-“An implementation should support Address clauses for imported
-subprograms.”
-@end quotation
-
-Followed.
-
@geindex Address clauses
@node RM 13 3 14-19 Address Clauses,RM 13 3 29-35 Alignment Clauses,RM 13 2 6-8 Packed Types,Implementation Advice