diff options
| author | Thomas Quinot <quinot@adacore.com> | 2007-06-06 12:18:51 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-06-06 12:18:51 +0200 |
| commit | 379ec90449ee88ae149c19e377910f453007e137 (patch) | |
| tree | bfd1a16861529f54c43de701839b6c45c16bfab9 | |
| parent | 6c5290ce34a20a2fdb1e94e1e18e7daac9fc2823 (diff) | |
| download | gcc-379ec90449ee88ae149c19e377910f453007e137.zip gcc-379ec90449ee88ae149c19e377910f453007e137.tar.gz gcc-379ec90449ee88ae149c19e377910f453007e137.tar.bz2 | |
a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types.
2007-04-20 Thomas Quinot <quinot@adacore.com>
* a-finali.ads (Ada.Finalization): Add missing pragma Remote_Types. The
presence of this categorization pragma is mandated by the language.
(Limited_Controlled): Add missing pragma Preelaborable_Initialization
for this type.
From-SVN: r125376
| -rw-r--r-- | gcc/ada/a-finali.ads | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/ada/a-finali.ads b/gcc/ada/a-finali.ads index a663a06..4e14409 100644 --- a/gcc/ada/a-finali.ads +++ b/gcc/ada/a-finali.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2007, Free Software Foundation, Inc. -- -- -- -- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. The copyright notice above, and the license provisions that follow -- @@ -35,10 +35,15 @@ -- -- ------------------------------------------------------------------------------ +pragma Warnings (Off); +-- System.Finalization_Root does not have category Remote_Types, but we +-- allow it anyway. with System.Finalization_Root; +pragma Warnings (On); package Ada.Finalization is pragma Preelaborate; + pragma Remote_Types; type Controlled is abstract tagged private; pragma Preelaborable_Initialization (Controlled); @@ -48,7 +53,7 @@ package Ada.Finalization is procedure Finalize (Object : in out Controlled); type Limited_Controlled is abstract tagged limited private; - pragma Preelaborable_Initialization (Controlled); + pragma Preelaborable_Initialization (Limited_Controlled); procedure Initialize (Object : in out Limited_Controlled); procedure Finalize (Object : in out Limited_Controlled); |