diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-11 11:30:15 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2010-10-11 11:30:15 +0200 |
| commit | 9c870c905e4fe4f70cce91aa968273df5125a21a (patch) | |
| tree | 26a4d32040c308a032852eb697b536ea2afef248 /gcc/ada/lib-xref.ads | |
| parent | 21a5b575cfbb5cb2395cbd0689c718fa76f7c686 (diff) | |
| download | gcc-9c870c905e4fe4f70cce91aa968273df5125a21a.zip gcc-9c870c905e4fe4f70cce91aa968273df5125a21a.tar.gz gcc-9c870c905e4fe4f70cce91aa968273df5125a21a.tar.bz2 | |
[multiple changes]
2010-10-11 Gary Dismukes <dismukes@adacore.com>
* sem_disp.adb (Check_Dispatching_Operation): Revise test for warning
about nondispatching subprograms to use In_Same_List (reducing use of
Parent links).
2010-10-11 Ed Schonberg <schonberg@adacore.com>
* xr_tabls.adb, sem_res.adb, lib-xref.adb, lib-xref.ads: Use s for
reference in a static call.
2010-10-11 Steve Baird <baird@adacore.com>
* exp_attr.adb (Expand_N_Attribute_Reference, case Type_Key): Type_Key
attribute should always be transformed into a string literal in
Analyze_Attribute.
* par-ch4.adb: Type_Key attribute's type is String; update value of
Is_Parameterless_Attribute constant to reflect this.
* sem_attr.adb (Analyze_Attribute): Recognize Type_Key attribute and
rewrite it as a string literal (attribute value is always known
statically).
* snames.ads-tmpl: Add entries for Type_Key attribute.
From-SVN: r165285
Diffstat (limited to 'gcc/ada/lib-xref.ads')
| -rw-r--r-- | gcc/ada/lib-xref.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref.ads b/gcc/ada/lib-xref.ads index 86303d1..d14e163 100644 --- a/gcc/ada/lib-xref.ads +++ b/gcc/ada/lib-xref.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1998-2009, Free Software Foundation, Inc. -- +-- Copyright (C) 1998-2010, 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- -- @@ -183,6 +183,7 @@ package Lib.Xref is -- P = overriding primitive operation -- r = reference -- R = subprogram reference in dispatching call + -- s = subprogram reference in a static call -- t = end of body -- w = WITH line -- x = type extension @@ -296,6 +297,9 @@ package Lib.Xref is -- the specification of the primitive operation of the root -- type when the call has a controlling argument in its class. + -- s is used to mark a static subprogram call. The reference is + -- to the specification of the subprogram being called. + -- t is similar to e. It identifies the end of a corresponding -- body (such a reference always links up with a b reference) |