diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:40:05 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2012-10-02 10:40:05 +0200 |
| commit | cb42ba5d667142c60c27fadd8efba35e0e18e797 (patch) | |
| tree | 946ac23df94fe9dbd7c7c0d71ada9bf73e8b54f1 /gcc/ada/lib-xref.adb | |
| parent | 4b1c4f20d84963a47ed6c12ea564488c0b224655 (diff) | |
| download | gcc-cb42ba5d667142c60c27fadd8efba35e0e18e797.zip gcc-cb42ba5d667142c60c27fadd8efba35e0e18e797.tar.gz gcc-cb42ba5d667142c60c27fadd8efba35e0e18e797.tar.bz2 | |
[multiple changes]
2012-10-02 Robert Dewar <dewar@adacore.com>
* exp_ch4.adb (Expand_N_Op_Expon): Use expression with actions
for x ** 4.
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* sem_ch5.adb: (Analyze_Iterator_Specification): If container
has a variable indexing aspect, the element is a variable and
is modifiable in the loop. This check is also performed when the
loop is expanded, but it must be done in semantic analysis when
expansion is disabled, for example for ASIS usage.
2012-10-02 Ed Schonberg <schonberg@adacore.com>
* lib-xref.adb (Generate_Reference): If a child subprogram
has no previous spec, treat a reference to its formals (such
as a parameter association) as coming from source in order to
generate the proper references and enable gps navigation between
reference and declaration.
From-SVN: r191965
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index bbf1a3d..aa9031f 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -945,6 +945,13 @@ package body Lib.Xref is then Ent := E; + -- Ditto for the formals of such a subprogram + + elsif Is_Overloadable (Scope (E)) + and then Is_Child_Unit (Scope (E)) + then + Ent := E; + -- Record components of discriminated subtypes or derived types must -- be treated as references to the original component. |