diff options
Diffstat (limited to 'gcc/ada/a-tgdico.ads')
| -rw-r--r-- | gcc/ada/a-tgdico.ads | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/a-tgdico.ads b/gcc/ada/a-tgdico.ads index 51e3d80df05..d1150fd5991 100644 --- a/gcc/ada/a-tgdico.ads +++ b/gcc/ada/a-tgdico.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- This specification is adapted from the Ada Reference Manual for use with -- +-- This specification is derived from the Ada Reference Manual for use with -- -- GNAT. In accordance with the copyright of that document, you can freely -- -- copy and modify this specification, provided that if you redistribute a -- -- modified version, any changes that you have made are clearly indicated. -- @@ -19,10 +19,12 @@ pragma Warnings (Off); generic type T (<>) is abstract tagged limited private; type Parameters (<>) is limited private; - with function Constructor (Params : access Parameters) return T is abstract; + with function Constructor (Params : not null access Parameters) return T + is abstract; function Ada.Tags.Generic_Dispatching_Constructor - (The_Tag : Tag; Params : access Parameters) return T'Class; + (The_Tag : Tag; + Params : not null access Parameters) return T'Class; pragma Preelaborate_05 (Generic_Dispatching_Constructor); pragma Import (Intrinsic, Generic_Dispatching_Constructor); -- Note: the reason that we use Preelaborate_05 here is so that this will |