From 60aa52287572b287e94f52fc8b22c9e01d56458e Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 30 Nov 2016 14:59:16 +0100 Subject: [multiple changes] 2016-11-30 Gary Dismukes * 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 * 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 * 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 * 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 --- gcc/ada/lib-xref.adb | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'gcc/ada/lib-xref.adb') 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 -- cgit v1.1