diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-05 12:40:03 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-05 12:40:03 +0200 |
| commit | 67a90476cfab907864d3c97decdba6373be1b8b7 (patch) | |
| tree | cca2de79e678fafcd492db9efeafc5e1dc0e79e9 /gcc/ada/lib-xref.adb | |
| parent | 6ee07c611ca3dd4f70bd9744cf0342e8ff536c69 (diff) | |
| download | gcc-67a90476cfab907864d3c97decdba6373be1b8b7.zip gcc-67a90476cfab907864d3c97decdba6373be1b8b7.tar.gz gcc-67a90476cfab907864d3c97decdba6373be1b8b7.tar.bz2 | |
[multiple changes]
2013-07-05 Claire Dross <dross@adacore.com>
* a-cfdlli.ads: Add preconditions when needed.
2013-07-05 Robert Dewar <dewar@adacore.com>
* sem_ch8.adb: Minor reformatting.
2013-07-05 Ed Schonberg <schonberg@adacore.com>
* sem_ch3.adb (Access_Subprogram_Declaration): Use
Generate_Reference_To_Formals.
* lib-xref.adb (Generate_Reference_To_Formals): In the case of
access to subprograms, the formals are found in the designated
subprogram type.
2013-07-05 Robert Dewar <dewar@adacore.com>
* gnat_ugn.texi: Document that comments can be lined up with
previous non-blank line.
* styleg.adb (Check_Comment): Allow indentation to match previous
non-blank line (Same_Column_As_Previous_Line): New function
From-SVN: r200705
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 8825f06..182c2b0 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -1079,6 +1079,9 @@ package body Lib.Xref is Next_Entity (Formal); end loop; + elsif Ekind (E) in Access_Subprogram_Kind then + Formal := First_Formal (Designated_Type (E)); + else Formal := First_Formal (E); end if; |