From fcf53b25a5ec2be3f3019e54d27717bae7cd1e8b Mon Sep 17 00:00:00 2001 From: Alex Groce Date: Sat, 28 Jul 2018 08:58:45 -0700 Subject: [PATCH] try to silence logging --- src/lib/Log.c | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/src/lib/Log.c b/src/lib/Log.c index 745d9d0..6141f01 100644 --- a/src/lib/Log.c +++ b/src/lib/Log.c @@ -92,6 +92,20 @@ void DeepState_LogVFormat(enum DeepState_LogLevel level, const char *format, va_list args) { struct DeepState_VarArgs va; va_copy(va.args, args); + if (DeepState_UsingLibFuzzer && (level < DeepState_Fatal)) { + return; + } + DeepState_LogStream(level); + DeepState_StreamVFormat(level, format, va.args); + DeepState_LogStream(level); +} + +/* Log some formatted output. */ +DEEPSTATE_NOINLINE +void DeepState_LogVFormatLLVM(enum DeepState_LogLevel level, + const char *format, va_list args) { + struct DeepState_VarArgs va; + va_copy(va.args, args); DeepState_LogStream(level); DeepState_StreamVFormat(level, format, va.args); DeepState_LogStream(level); @@ -157,7 +171,7 @@ int vfprintf(FILE *file, const char *format, va_list args) { "vfprintf with non-stdout/stderr stream follows:"); DeepState_LogVFormat(DeepState_LogInfo, format, args); } else { - DeepState_LogVFormat(DeepState_LogInfo, format, args); + DeepState_LogVFormatLLVM(DeepState_LogInfo, format, args); } }