diff options
| author | Robert Dewar <dewar@adacore.com> | 2008-08-22 15:25:29 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2008-08-22 15:25:29 +0200 |
| commit | 8fb68c5664fe1d8179715fef245ff4c201867e8b (patch) | |
| tree | 2b604613746b3f1beafdea86e88ce7b36fb8a5bb /gcc | |
| parent | b572daf1c867ae2aef47fab39505cb3073e020fe (diff) | |
| download | gcc-8fb68c5664fe1d8179715fef245ff4c201867e8b.zip gcc-8fb68c5664fe1d8179715fef245ff4c201867e8b.tar.gz gcc-8fb68c5664fe1d8179715fef245ff4c201867e8b.tar.bz2 | |
exp_ch6.adb: Minor reformatting
2008-08-22 Robert Dewar <dewar@adacore.com>
* exp_ch6.adb: Minor reformatting
From-SVN: r139459
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_ch6.adb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch6.adb b/gcc/ada/exp_ch6.adb index 145a39d..a84b025 100644 --- a/gcc/ada/exp_ch6.adb +++ b/gcc/ada/exp_ch6.adb @@ -5591,9 +5591,14 @@ package body Exp_Ch6 is end if; end Make_Build_In_Place_Call_In_Object_Declaration; + -------------------------- + -- Needs_BIP_Final_List -- + -------------------------- + function Needs_BIP_Final_List (E : Entity_Id) return Boolean is pragma Assert (Is_Build_In_Place_Function (E)); Result_Subt : constant Entity_Id := Underlying_Type (Etype (E)); + begin -- We need the BIP_Final_List if the result type needs finalization. We -- also need it for tagged types, even if not class-wide, because some @@ -5602,7 +5607,7 @@ package body Exp_Ch6 is -- pragma Restrictions (No_Finalization), we never need this parameter. return (Needs_Finalization (Result_Subt) - or else Is_Tagged_Type (Underlying_Type (Result_Subt))) + or else Is_Tagged_Type (Underlying_Type (Result_Subt))) and then not Restriction_Active (No_Finalization); end Needs_BIP_Final_List; |