diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 10:25:21 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-04-21 10:25:21 +0200 |
| commit | 6dc87f5f53deaabf19384afd42d5dbcad7591be7 (patch) | |
| tree | 3022799946c97e3950d7b19f5a16e2ee17dfe5ab /gcc/ada/sem_aux.ads | |
| parent | a14bbbb4a41ec6bfc503759e132445d421e3b7f1 (diff) | |
| download | gcc-6dc87f5f53deaabf19384afd42d5dbcad7591be7.zip gcc-6dc87f5f53deaabf19384afd42d5dbcad7591be7.tar.gz gcc-6dc87f5f53deaabf19384afd42d5dbcad7591be7.tar.bz2 | |
[multiple changes]
2016-04-21 Hristian Kirtchev <kirtchev@adacore.com>
* sem_aux.ads, sem_aux.adb (Has_Rep_Item): New variant.
* sem_util.adb (Inherit_Rep_Item_Chain): Reimplemented.
2016-04-21 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch6.adb: Minor reformatting.
2016-04-21 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb: Minor comment update.
2016-04-21 Ed Schonberg <schonberg@adacore.com>
* freeze.ads, freeze.adb (Freeze_Entity, Freeze_Before): Add
boolean parameter to determine whether freezing an overloadable
entity freezes its profile as well. This is required by
AI05-019. The call to Freeze_Profile within Freeze_Entity is
conditioned by the value of this flag, whose default is True.
* sem_attr.adb (Resolve_Attribute, case 'Access): The attribute
reference freezes the prefix, but it the prefix is a subprogram
it does not freeze its profile.
From-SVN: r235308
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index ba60284..97a4f14 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, 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- -- @@ -246,6 +246,10 @@ package Sem_Aux is -- not inherited from its parents, if any). If found then True is returned, -- otherwise False indicates that no matching entry was found. + function Has_Rep_Item (E : Entity_Id; N : Node_Id) return Boolean; + -- Determine whether the Rep_Item chain of arbitrary entity E contains item + -- N. N must denote a valid rep item. + function Has_Rep_Pragma (E : Entity_Id; Nam : Name_Id; |