Lines Matching refs:tokpushback
86 int tokpushback; /* last token pushed back */
135 tokpushback = 0;
201 tokpushback++;
209 tokpushback++;
230 tokpushback++;
258 tokpushback++;
277 tokpushback++;
330 tokpushback++;
382 tokpushback++;
455 tokpushback++;
471 tokpushback++;
556 tokpushback++;
674 tokpushback++;
684 int alreadyseen = tokpushback;
774 if (tokpushback) {
775 tokpushback = 0;
1407 tokpushback = 0;