Lines Matching refs:copy_string
1727 infilename = copy_string( yytext + 1 );3660 infilename = copy_string( file );3670 infilename = copy_string( "<stdin>" );