Searched refs:write_c_file (Results 1 – 2 of 2) sorted by relevance
316 static void write_c_file (FILE *, const char *);1759 write_c_file (outf, c_file); in main()1811 write_c_file (stderr, "stderr"); in main()2268 write_c_file (FILE *stream, const char *name) in write_c_file() function
318 static void write_c_file (FILE *, const char *);1863 write_c_file (outf, c_file); in main()1910 write_c_file (stderr, "stderr"); in main()2496 write_c_file (FILE *stream, const char *name) in write_c_file() function