Searched refs:zzsrconf (Results 1 – 3 of 3) sorted by relevance
423 int zzsrconf = 0; variable439 zzsrconf, zzrrconf); in summary()458 if (zzsrconf != 0 || zzrrconf != 0) { in summary()468 if (zzsrconf) in summary()469 (void) fprintf(stderr, "%d shift/reduce", zzsrconf); in summary()470 if (zzsrconf && zzrrconf) in summary()
269 extern int zzsrconf;
326 ++zzsrconf; in precftn()