Lines Matching defs:user_output_filename
70 static char *user_output_filename = (char *)NULL;
215 if (user_output_filename)
216 free (user_output_filename);
217 user_output_filename = xstrdup (optarg);
282 specified, make user_output_filename be "-", so that the info is written
284 if ((!isatty (fileno (stdout))) && (user_output_filename == (char *)NULL))
286 user_output_filename = xstrdup ("-");
385 else if (user_output_filename)
387 (user_filename, user_nodenames, user_output_filename, dump_subnodes);
423 if (user_output_filename && !goto_invocation_p)
426 dump_node_to_file (initial_node, user_output_filename,
482 if (user_output_filename)
484 dump_node_to_file (windows->node, user_output_filename,