void VG_(err_missing_prog) ( void ) { revert_to_stderr(); VG_(fmsg)("no program specified\n"); VG_(fmsg)("Use --help for more information.\n"); VG_(exit)(1); }
void VG_(err_config_error) ( Char* msg ) { revert_to_stderr(); VG_(printf)("valgrind: Startup or configuration error:\n %s\n", msg); VG_(printf)("valgrind: Unable to start up properly. Giving up.\n"); VG_(exit)(1); }
void VG_(err_missing_prog) ( void ) { revert_to_stderr(); VG_(printf)("valgrind: no program specified\n"); VG_(printf)("valgrind: Use --help for more information.\n"); VG_(exit)(1); }
void VG_(err_bad_option) ( Char* opt ) { revert_to_stderr(); VG_(printf)("valgrind: Bad option '%s'; aborting.\n", opt); VG_(printf)("valgrind: Use --help for more information.\n"); VG_(exit)(1); }
void VG_(fmsg_unknown_option) ( const HChar* opt) { revert_to_stderr(); VG_(message) (Vg_FailMsg, "Unknown option: %s\n", opt); VG_(message) (Vg_FailMsg, "Use --help for more information or consult the user manual.\n"); VG_(exit)(1); }
void VG_(err_config_error) ( const HChar* format, ... ) { va_list vargs; va_start(vargs,format); revert_to_stderr(); VG_(message) (Vg_FailMsg, "Startup or configuration error:\n "); VG_(vmessage)(Vg_FailMsg, format, vargs ); VG_(message) (Vg_FailMsg, "Unable to start up properly. Giving up.\n"); VG_(exit)(1); va_end(vargs); }
void VG_(fmsg_bad_option) ( const HChar* opt, const HChar* format, ... ) { va_list vargs; va_start(vargs,format); revert_to_stderr(); VG_(message) (Vg_FailMsg, "Bad option: %s\n", opt); VG_(vmessage)(Vg_FailMsg, format, vargs ); VG_(message) (Vg_FailMsg, "Use --help for more information or consult the user manual.\n"); VG_(exit)(1); va_end(vargs); }