Searched refs:saved_input_filename (Results 1 – 2 of 2) sorted by relevance
746 char *saved_input_filename = input_filename; in cm_printindex() local953 input_filename = saved_input_filename; in cm_printindex()
12907 'saved_input_filename' and 'saved_lineno'.