Formal parameters to a function are represented by a stab (or sometimes two; see below) for each parameter. The stabs are in the order in which the debugger should print the parameters (i.e., the order in which the parameters are declared in the source file). The exact form of the stab depends on how the parameter is being passed.
Parameters passed on the stack use the symbol descriptor p and
N_PSYM symbol type (or
C_PSYM for XCOFF). The value
of the symbol is an offset used to locate the parameter on the stack;
its exact meaning is machine-dependent, but on most machines it is an
offset from the frame pointer.
As a simple example, the code:
main (argc, argv) int argc; char **argv;
produces the stabs:
.stabs "main:F1",36,0,0,_main # 36 is N_FUN .stabs "argc:p1",160,0,0,68 # 160 is N_PSYM .stabs "argv:p20=*21=*2",160,0,0,72
The type definition of
argv is interesting because it contains
several type definitions. Type 21 is pointer to type 2 (char) and
argv (type 20) is pointer to type 21.
The following symbol descriptors are also said to go with
The value of the symbol is said to be an offset from the argument
pointer (I'm not sure whether this is true or not).
pP (<<??>>) pF Fortran function parameter X (function result variable)