diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:00:42 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-27 12:00:42 +0200 |
| commit | 522aa6ee70820727d5be628b0f6b3cc7a185a14b (patch) | |
| tree | ae207153ba994c3456cf41e612a494ca2c615cdd /gcc/ada/sem_util.ads | |
| parent | f138ea5cbaf8f2a8cec00b741e5b23a8db5c0f83 (diff) | |
| download | gcc-522aa6ee70820727d5be628b0f6b3cc7a185a14b.zip gcc-522aa6ee70820727d5be628b0f6b3cc7a185a14b.tar.gz gcc-522aa6ee70820727d5be628b0f6b3cc7a185a14b.tar.bz2 | |
[multiple changes]
2017-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch8.adb (Find_Direct_Name): Account for the case where
a use-visible entity is defined within a nested scope of an
instance when giving priority to entities which were visible in
the original generic.
* sem_util.ads, sem_util.adb (Nearest_Enclosing_Instance): New routine.
2017-04-27 Tristan Gingold <gingold@adacore.com>
* raise-gcc.c: Don't use unwind.h while compiling
for the frontend, but mimic host behavior.
2017-04-27 Javier Miranda <miranda@adacore.com>
* sem_ch3.adb (Build_Discriminated_Subtype):
Propagate Has_Pragma_Unreferenced_Objects to the built subtype.
2017-04-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_Item):
Do not consider discriminants because they are not "entire
objects". Remove the discriminant-related checks because they are
obsolete.
(Analyze_Input_Output): Do not consider discriminants
because they are not "entire objects".
2017-04-27 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Check_Aspect_At_End_Of_Declarations): Do not
perform check if the current scope does not come from source,
as is the case for a rewritten task body, because check has
been performed already, and may not be doable because of changed
visibility.
From-SVN: r247309
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 7618146..de0e2a8 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1941,6 +1941,10 @@ package Sem_Util is -- to guarantee this in all cases. Note that it is more possible to give -- correct answer if the tree is fully analyzed. + function Nearest_Enclosing_Instance (E : Entity_Id) return Entity_Id; + -- Return the entity of the nearest enclosing instance which encapsulates + -- entity E. If no such instance exits, return Empty. + function Needs_One_Actual (E : Entity_Id) return Boolean; -- Returns True if a function has defaults for all but its first -- formal. Used in Ada 2005 mode to solve the syntactic ambiguity that |