diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-04-08 23:27:24 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-30 08:29:04 +0000 |
| commit | 0f29dfcec26d883cb2d3d7ccdfc09bde1afcfa2e (patch) | |
| tree | 201712cae0dc0f5539cee84579075cc8580dcc85 | |
| parent | 9baae5692bd594024e3131589b8b1e1bfb6e77c1 (diff) | |
| download | gcc-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.
| -rw-r--r-- | gcc/ada/doc/gnat_rm/implementation_advice.rst | 6 | ||||
| -rw-r--r-- | gcc/ada/gnat_rm.texi | 8 |
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 |