diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-06 10:18:51 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-06-06 10:18:51 +0000 |
| commit | fa7571cb7857050d2dbd9e1657baa6385b5f5475 (patch) | |
| tree | bfd1a16861529f54c43de701839b6c45c16bfab9 /gcc | |
| parent | 6d7fc52398d4399d66347d14f4050a5816ba5399 (diff) | |
| download | gcc-fa7571cb7857050d2dbd9e1657baa6385b5f5475.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125376 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc')
| -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 a663a0696dc..4e14409c5bb 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); |