From: Florian Krohm Date: Fri, 17 Oct 2014 19:44:55 +0000 (+0000) Subject: Remove some dead code. X-Git-Tag: svn/VALGRIND_3_11_0~911 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=84c8aaae8979d691203020e92a2a490e61f3f8b6;p=thirdparty%2Fvalgrind.git Remove some dead code. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14637 --- diff --git a/coregrind/m_libcprint.c b/coregrind/m_libcprint.c index a3749c01e6..8e1814b404 100644 --- a/coregrind/m_libcprint.c +++ b/coregrind/m_libcprint.c @@ -564,8 +564,8 @@ void VG_(fmsg_bad_option) ( const HChar* opt, const HChar* format, ... ) 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); + VG_(exit)(1); } UInt VG_(umsg) ( const HChar* format, ... ) @@ -615,8 +615,8 @@ void VG_(err_config_error) ( const HChar* format, ... ) 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); + VG_(exit)(1); }