Searched refs:saved_input_pointer (Results 1 – 1 of 1) sorted by relevance
6242 char *first_arg = 0, *end, *saved_input_pointer; local6323 saved_input_pointer = input_line_pointer;6328 input_line_pointer = saved_input_pointer;