Searched refs:rfilename (Results 1 – 1 of 1) sorted by relevance
213 static const char * rfilename; variable513 rfilename = rname; in eats()534 if (rfilename != NULL) in verror()536 rfilename, rlinenum); in verror()