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] |
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] |