Searched refs:push_name (Results 1 – 3 of 3) sorted by relevance
73 void push_name(const char *);427 push_name(fp->f_name); in check_file()1057 push_name(const char *name) in push_name() function
293 void push_name(const char *);
444 push_name(fp->f_name); in eval_file()