diff options
author | Ed Schonberg <schonberg@adacore.com> | 2007-04-06 11:21:37 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2007-04-06 11:21:37 +0200 |
commit | aad93b553795dbdb0ebc03051bd6c638bfe6a785 (patch) | |
tree | fdf888bff81dc3df2c7b5e364e71912e05220bf1 /gcc/ada/exp_tss.adb | |
parent | c5c7f763304968fceca1b40a7ffb9851c0df7f7c (diff) | |
download | gcc-aad93b553795dbdb0ebc03051bd6c638bfe6a785.zip gcc-aad93b553795dbdb0ebc03051bd6c638bfe6a785.tar.gz gcc-aad93b553795dbdb0ebc03051bd6c638bfe6a785.tar.bz2 |
sem_aggr.adb (Resolve_Record_Aggregate): In semantics-only mode treat an association with a box as providing a value...
2007-04-06 Ed Schonberg <schonberg@adacore.com>
Bob Duff <duff@adacore.com>
* sem_aggr.adb (Resolve_Record_Aggregate): In semantics-only mode treat
an association with a box as providing a value even though the
initialization procedure for the type is not available.
(Resolve_Record_Aggregate): Check that a choice of an association with a
box corresponds to a component of the type.
(Resolve_Record_Aggregate): Split Is_Abstract flag into
Is_Abstract_Subprogram and Is_Abstract_Type.
* exp_tss.adb (Base_Init_Proc): Use Is_Type instead of Type_Kind for
assert.
* inline.adb (Add_Inlined_Body): Split Is_Abstract flag into
Is_Abstract_Subprogram and Is_Abstract_Type. Make sure these are
called only when appropriate.
From-SVN: r123569
Diffstat (limited to 'gcc/ada/exp_tss.adb')
-rw-r--r-- | gcc/ada/exp_tss.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/exp_tss.adb b/gcc/ada/exp_tss.adb index ad60e7a..65bf431 100644 --- a/gcc/ada/exp_tss.adb +++ b/gcc/ada/exp_tss.adb @@ -44,7 +44,7 @@ package body Exp_Tss is Proc : Entity_Id; begin - pragma Assert (Ekind (Typ) in Type_Kind); + pragma Assert (Is_Type (Typ)); if Is_Private_Type (Typ) then Full_Type := Underlying_Type (Base_Type (Typ)); |