141   if (c == EOF)  in do_getc()
291       if (c == EOF)  in read_token()
302           if (c == EOF)  in read_token()
309   if (c != EOF)  in read_token()
433 #define IGNORABLE_ESCAPE (EOF - 1)
466       if (c == EOF)  in do_getc_escaped()
467         return EOF;  in do_getc_escaped()
472       if (c == EOF)  in do_getc_escaped()
473         return EOF;  in do_getc_escaped()
477           if (c == EOF)  in do_getc_escaped()
478             return EOF;  in do_getc_escaped()
485       if (c == EOF)  in do_getc_escaped()
486         return EOF;  in do_getc_escaped()
491       if (c == EOF)  in do_getc_escaped()
492         return EOF;  in do_getc_escaped()
496           if (c == EOF)  in do_getc_escaped()
497             return EOF;  in do_getc_escaped()
506       if (c == EOF)  in do_getc_escaped()
507         return EOF;  in do_getc_escaped()
512       if (c == EOF)  in do_getc_escaped()
513         return EOF;  in do_getc_escaped()
517           if (c == EOF)  in do_getc_escaped()
518             return EOF;  in do_getc_escaped()
525       if (c == EOF)  in do_getc_escaped()
526         return EOF;  in do_getc_escaped()
533       if (c == EOF)  in do_getc_escaped()
534         return EOF;  in do_getc_escaped()
538           if (c == EOF)  in do_getc_escaped()
539             return EOF;  in do_getc_escaped()
561         if (c != EOF)  in do_getc_escaped()
567                 if (c != EOF)  in do_getc_escaped()
589             if (c == EOF)  in do_getc_escaped()
628         case EOF:  in read_object()
819             if (c != EOF && c != '@' && c != '.')  in read_object()
845                 if (c == EOF || c == '\n')  in read_object()
868                 if (c == EOF)  in read_object()
876                     if (c == EOF)  in read_object()
880                     if (c == EOF)  in read_object()
916           if (c == EOF)  in read_object()
922               if (c == EOF)  in read_object()
928                   if (c == EOF)  in read_object()
941           if (c == EOF)  in read_object()
988                   if (c != EOF)  in read_object()
1046                 if (c != EOF)  in read_object()
1050                       if (do_getc () == EOF)  in read_object()
1084               if (c == EOF)  in read_object()
1108                   for (; c != EOF; c = do_getc ())  in read_object()
1131                 for (; c != EOF; c = do_getc ())  in read_object()
1148                 if (c != EOF)  in read_object()
1179           if (c != EOF)  in read_object()