diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2006-02-15 10:39:18 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2006-02-15 10:39:18 +0100 |
| commit | d48e258e71954c337635c94cc21c8d046a7e1042 (patch) | |
| tree | b3d9b0aa144ac360226f7b6cd80d108204ee9574 | |
| parent | b0efe69eaeb85421c7a98d53934ffb4f64020d1e (diff) | |
| download | gcc-d48e258e71954c337635c94cc21c8d046a7e1042.zip gcc-d48e258e71954c337635c94cc21c8d046a7e1042.tar.gz gcc-d48e258e71954c337635c94cc21c8d046a7e1042.tar.bz2 | |
exp_dist.adb (Copy_Specification): For access parameters...
2006-02-13 Ed Schonberg <schonberg@adacore.com>
* exp_dist.adb (Copy_Specification): For access parameters, copy
Null_Exclusion flag, which will have been set for stream subprograms
in Ada2005 mode.
From-SVN: r111065
| -rw-r--r-- | gcc/ada/exp_dist.adb | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb index 4be4c86..666cd9d 100644 --- a/gcc/ada/exp_dist.adb +++ b/gcc/ada/exp_dist.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2005, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2006, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -1880,7 +1880,7 @@ package body Exp_Dist is For_RAS : Boolean := False; begin - if not Present (Parameter_Specifications (Spec)) then + if No (Parameter_Specifications (Spec)) then return New_List; end if; @@ -2255,12 +2255,17 @@ package body Exp_Dist is Root_Type (Current_Etype) = Root_Type (Object_Type)); Current_Type := Make_Access_Definition (Loc, - Subtype_Mark => New_Occurrence_Of (Stub_Type, Loc)); + Subtype_Mark => New_Occurrence_Of (Stub_Type, Loc), + Null_Exclusion_Present => + Null_Exclusion_Present (Current_Type)); + else Current_Type := Make_Access_Definition (Loc, Subtype_Mark => - New_Occurrence_Of (Current_Etype, Loc)); + New_Occurrence_Of (Current_Etype, Loc), + Null_Exclusion_Present => + Null_Exclusion_Present (Current_Type)); end if; else |