From d48e258e71954c337635c94cc21c8d046a7e1042 Mon Sep 17 00:00:00 2001 From: Ed Schonberg Date: Wed, 15 Feb 2006 10:39:18 +0100 Subject: [PATCH] exp_dist.adb (Copy_Specification): For access parameters... 2006-02-13 Ed Schonberg * 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 --- gcc/ada/exp_dist.adb | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb index 4be4c869c80..666cd9d3b95 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 -- 2.30.2