diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2005-03-15 17:00:42 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2005-03-15 17:00:42 +0100 |
| commit | a877ccc41ac01335c0915b2ed9215941e24f96a1 (patch) | |
| tree | 8bd881343caef123db2035c2fb13caccf47ea8a1 /gcc | |
| parent | f44fe4302729187c9c771e9b248bd829e651959b (diff) | |
| download | gcc-a877ccc41ac01335c0915b2ed9215941e24f96a1.zip gcc-a877ccc41ac01335c0915b2ed9215941e24f96a1.tar.gz gcc-a877ccc41ac01335c0915b2ed9215941e24f96a1.tar.bz2 | |
exp_ch7.adb (Convert_View): Use base types of underlying types when determining whether an unchecked...
2005-03-08 Ed Schonberg <schonberg@adacore.com>
* exp_ch7.adb (Convert_View): Use base types of underlying types when
determining whether an unchecked conversion is needed for the argument
of an initialization call.
From-SVN: r96494
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ada/exp_ch7.adb | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/exp_ch7.adb b/gcc/ada/exp_ch7.adb index 6134df7..4e300b9 100644 --- a/gcc/ada/exp_ch7.adb +++ b/gcc/ada/exp_ch7.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2004, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2005, 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- -- @@ -984,7 +984,9 @@ package body Exp_Ch7 is and then Present (Atyp) and then (Is_Private_Type (Ftyp) or else Is_Private_Type (Atyp)) - and then Underlying_Type (Atyp) = Underlying_Type (Ftyp) + and then + Base_Type (Underlying_Type (Atyp)) = + Base_Type (Underlying_Type (Ftyp)) then return Unchecked_Convert_To (Ftyp, Arg); @@ -2139,7 +2141,7 @@ package body Exp_Ch7 is -- Add statements to the cleanup handler of the (ordinary) -- subprogram expanded to implement a protected subprogram, - -- unlocking the protected object parameter and undeferring abortion. + -- unlocking the protected object parameter and undeferring abort. -- If this is a protected procedure, and the object contains -- entries, this also calls the entry service routine. |