Searched refs:stdin_buffer_end (Results 1 – 1 of 1) sorted by relevance
341 char *stdin_buffer_end; in read_simple_file() local354 stdin_buffer_end = stdin_text_p + length; in read_simple_file()365 (stdin_buffer_end - in read_simple_file()369 (stdin_buffer_end - in read_simple_file()373 (stdin_buffer_end - stdin_buffer_start); in read_simple_file()375 stdin_buffer_end = in read_simple_file()385 stdin_text_end = stdin_buffer_end - length; in read_simple_file()