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()
199 static const char * rfilename; variable500 rfilename = rname; in eats()521 if (rfilename != NULL) in verror()523 rfilename, rlinenum); in verror()