diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-11-30 14:59:16 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-11-30 14:59:16 +0100 |
| commit | 60aa52287572b287e94f52fc8b22c9e01d56458e (patch) | |
| tree | 08acb54b69a8451bbb846619ee2d79750f196e71 /gcc/ada/lib-xref.adb | |
| parent | ba85c8c3fcb19c776f6e2209d5b0044c9e1cdd3d (diff) | |
| download | gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.zip gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.tar.gz gcc-60aa52287572b287e94f52fc8b22c9e01d56458e.tar.bz2 | |
[multiple changes]
2016-11-30 Gary Dismukes <dismukes@adacore.com>
* sem_prag.adb, sem_ch6.adb: Minor reformatting and typo fixes.
* g-sechas.adb: Minor reformatting.
* lib-xref.ads: minor grammar fix in comment.
* lib-xref-spark_specific.adb
(Is_SPARK_Reference): do not ignore references to concurrent
objects.
* sinfo.ads: Fix of unbalanced parens in comment
2016-11-30 Ed Schonberg <schonberg@adacore.com>
* lib-xref.adb (Get_Type_Reference): If the entity is a function
returning a classwide type, the type reference is obtained right
away and does not need further unwinding.
2016-11-30 Javier Miranda <miranda@adacore.com>
* sem_ch8.adb (Find_Renamed_Entity): For non-overloaded subprogram
actuals of generic units check that the spec of the renaming
and renamed entities match.
2016-11-30 Tristan Gingold <gingold@adacore.com>
* raise-gcc.c: For CERT runtimes: do not use gcc includes, simplify
the handling.
* sem_attr.adb (Analyze_Attribute): Check No_Dynamic_Priorities
restriction for Priority Attribute.
From-SVN: r243022
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index b1d5978..ea68232 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -1508,6 +1508,14 @@ package body Lib.Xref is Entity (Original_Node (Object_Definition (Decl))); end if; end; + + -- For a function that returns a class-wide type, Tref is + -- already correct. + + elsif Is_Overloadable (Ent) + and then Is_Class_Wide_Type (Tref) + then + return; end if; -- For anything else, exit |