Searched refs:stdin_buffer_end (Results 1 – 1 of 1) sorted by relevance
339 char *stdin_buffer_end; in read_simple_file() local352 stdin_buffer_end = stdin_text_p + length; in read_simple_file()363 (stdin_buffer_end - in read_simple_file()367 (stdin_buffer_end - in read_simple_file()371 (stdin_buffer_end - stdin_buffer_start); in read_simple_file()373 stdin_buffer_end = in read_simple_file()383 stdin_text_end = stdin_buffer_end - length; in read_simple_file()