Searched defs:savedp (Results 1 – 3 of 3) sorted by relevance
86 int savedp; /* saved data pointer */ member
4614 char *savedp = input_line_pointer; local4793 char *savedp = input_line_pointer; local5145 char *savedp = input_line_pointer; local
4666 char *savedp = input_line_pointer; local4845 char *savedp = input_line_pointer; local5215 char *savedp = input_line_pointer; local