Searched refs:rfilename (Results 1 – 4 of 4) sorted by relevance
199 static const char * rfilename; variable472 rfilename = rname; in eats()492 if (rfilename != NULL) in verror()494 rfilename, rlinenum); in verror()
211 static const char * rfilename; variable511 rfilename = rname; in eats()532 if (rfilename != NULL) in verror()534 rfilename, rlinenum); in verror()