Searched refs:zzsrconf (Results 1 – 3 of 3) sorted by relevance
425 int zzsrconf = 0; variable441 zzsrconf, zzrrconf); in summary()460 if (zzsrconf != 0 || zzrrconf != 0) { in summary()470 if (zzsrconf) in summary()471 (void) fprintf(stderr, "%d shift/reduce", zzsrconf); in summary()472 if (zzsrconf && zzrrconf) in summary()
271 extern int zzsrconf;
329 ++zzsrconf; in precftn()