diff options
| author | Bob Duff <duff@adacore.com> | 2009-07-13 13:04:14 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-07-13 15:04:14 +0200 |
| commit | 690001a2642a3310367f1dfbd353523d52c37c66 (patch) | |
| tree | 8dae9692c577e733a832bc344d80a9f8b28b153f | |
| parent | a712aa03c55cf4a82bdb0111d1ccc9c692d547b9 (diff) | |
| download | gcc-690001a2642a3310367f1dfbd353523d52c37c66.zip gcc-690001a2642a3310367f1dfbd353523d52c37c66.tar.gz gcc-690001a2642a3310367f1dfbd353523d52c37c66.tar.bz2 | |
exp_dist.adb: Minor comment updates.
2009-07-13 Bob Duff <duff@adacore.com>
* exp_dist.adb: Minor comment updates.
From-SVN: r149581
| -rw-r--r-- | gcc/ada/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/ada/exp_dist.adb | 15 |
2 files changed, 16 insertions, 3 deletions
diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog index ed02aea..5321d75 100644 --- a/gcc/ada/ChangeLog +++ b/gcc/ada/ChangeLog @@ -1,3 +1,7 @@ +2009-07-13 Bob Duff <duff@adacore.com> + + * exp_dist.adb: Minor comment updates. + 2009-07-13 Gary Dismukes <dismukes@adacore.com> * sem_ch10.adb, sem_ch12.adb, gnat1drv.adb, exp_ch4.adb: Fix casing of diff --git a/gcc/ada/exp_dist.adb b/gcc/ada/exp_dist.adb index a0ba2f0..14d470c 100644 --- a/gcc/ada/exp_dist.adb +++ b/gcc/ada/exp_dist.adb @@ -8672,7 +8672,10 @@ package body Exp_Dist is Use_Opaque_Representation : Boolean; begin - -- The following test needs a comment ??? + -- For a derived type, we can't go past the base type (to the + -- parent type) here, because that would cause the attribute's + -- formal parameter to have the wrong type; hence the Base_Type + -- check here. if Is_Itype (Typ) and then Typ /= Base_Type (Typ) then Build_From_Any_Function @@ -9499,7 +9502,10 @@ package body Exp_Dist is -- opaque sequence of bytes. begin - -- The following test needs a comment ??? + -- For a derived type, we can't go past the base type (to the + -- parent type) here, because that would cause the attribute's + -- formal parameter to have the wrong type; hence the Base_Type + -- check here. if Is_Itype (Typ) and then Typ /= Base_Type (Typ) then Build_To_Any_Function @@ -10631,7 +10637,10 @@ package body Exp_Dist is -- Start of processing for Build_TypeCode_Function begin - -- The following test needs a comment ??? + -- For a derived type, we can't go past the base type (to the + -- parent type) here, because that would cause the attribute's + -- formal parameter to have the wrong type; hence the Base_Type + -- check here. if Is_Itype (Typ) and then Typ /= Base_Type (Typ) then Build_TypeCode_Function |