diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:55:18 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-26 12:55:18 +0100 |
| commit | aafc151a206edfc9352ea637ec2f2bdb39003135 (patch) | |
| tree | a0d33e85a976740060489adfbbda95e3ced09bc7 /gcc/ada/einfo.adb | |
| parent | 477ee35f51115282b8eb56c0077e197f282b765e (diff) | |
| download | gcc-aafc151a206edfc9352ea637ec2f2bdb39003135.zip gcc-aafc151a206edfc9352ea637ec2f2bdb39003135.tar.gz gcc-aafc151a206edfc9352ea637ec2f2bdb39003135.tar.bz2 | |
[multiple changes]
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* einfo.adb (First_Component): Update the assertion to allow
for concurrent types.
(First_Component_Or_Discriminant): Update the assertion to allow for
concurrent types.
* einfo.ads: Update the documentation of attributes First_Component
and First_Component_Or_Discriminant along with uses in entities.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_res.adb (Resolve_Actuals): An effectively
volatile object may act as an actual when the corresponding
formal is of a non-scalar effectively volatile type, not just
a non-scalar volatile type.
2015-10-26 Bob Duff <duff@adacore.com>
* sinfo.ads, sem_util.ads: Update comments.
2015-10-26 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Refined_Depends_Global_Post): When dealing with
protected entries or protected subprograms, use the enclosing protected
type to ensure that the protected type declaration is declared
in a package spec. Remove an obsolete attempt to ensure the
aggregate for of pragma Refined_State as this routine is never
called in that case.
2015-10-26 Ed Schonberg <schonberg@adacore.com>
* exp_ch5.adb (Expand_Iterator_Loop_Over_Container): For
an element iterator loop, the element is a constant if the
container object is a constant, even if the container type has
a Variable_Indexing aspect.
From-SVN: r229345
Diffstat (limited to 'gcc/ada/einfo.adb')
| -rw-r--r-- | gcc/ada/einfo.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/einfo.adb b/gcc/ada/einfo.adb index d7d19ab..c8e6fcf 100644 --- a/gcc/ada/einfo.adb +++ b/gcc/ada/einfo.adb @@ -6926,7 +6926,9 @@ package body Einfo is begin pragma Assert - (Is_Record_Type (Id) or else Is_Incomplete_Or_Private_Type (Id)); + (Is_Concurrent_Type (Id) + or else Is_Incomplete_Or_Private_Type (Id) + or else Is_Record_Type (Id)); Comp_Id := First_Entity (Id); while Present (Comp_Id) loop @@ -6946,8 +6948,9 @@ package body Einfo is begin pragma Assert - (Is_Record_Type (Id) + (Is_Concurrent_Type (Id) or else Is_Incomplete_Or_Private_Type (Id) + or else Is_Record_Type (Id) or else Has_Discriminants (Id)); Comp_Id := First_Entity (Id); |