This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[Ada] References to the formals of a subprogram stub


If a subprogram stub has not previous spec, it defines the formals that will
be used in the proper body, and these formals must have the appropriate cross-
references, for source navigation purposes.

The command

   gcc -c a.adb
   grep Bar a.ali

must yield:

   3U14 Bar 3>19 3>33 3|2b11 5l5 5t8

---
package A is
   procedure Foo;
end A;
---
package body A is
   type T is new Integer;
   procedure Bar (P1 : Integer; P2 : T) is separate;
   procedure Foo is
   begin
      null;
   end Foo;
end A;
---
separate (A)
procedure Bar (P1 : Integer; P2 : T) is
begin
   null;
end Bar;

Tested on x86_64-pc-linux-gnu, committed on trunk

2011-09-01  Ed Schonberg  <schonberg@adacore.com>

	* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Generate references to
	the formals of a subprogram stub that acts as a spec.

Attachment: difs
Description: Text document


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]