Searched refs:to_eof (Results 1 – 1 of 1) sorted by relevance
69 static jmp_buf to_eof; variable126 if (setjmp(to_eof) != 0)232 longjmp(to_eof, 1); in getachar()