From 21a2153eb3604f48814c35c07fef7066afe2397a Mon Sep 17 00:00:00 2001
From: Alex Groce <agroce@gmail.com>
Date: Fri, 27 Jul 2018 22:24:55 -0700
Subject: [PATCH] just skip warning for now, silence later

---
 src/lib/Log.c | 20 ++++++--------------
 1 file changed, 6 insertions(+), 14 deletions(-)

diff --git a/src/lib/Log.c b/src/lib/Log.c
index dca7cb2..c5f9ce9 100644
--- a/src/lib/Log.c
+++ b/src/lib/Log.c
@@ -146,24 +146,16 @@ int __vprintf_chk(int flag, const char *format, va_list args) {
 
 DEEPSTATE_NOINLINE
 int vfprintf(FILE *file, const char *format, va_list args) {
-  if (DeepState_UsingLibFuzzer) {
-    if (stderr == file) {
-      // Silence DeepState output
-      // DeepState_LogVFormat(DeepState_LogDebug, format, args);
-    } else if (stdout == file) {
-      // Silence DeepState output      
-      // DeepState_LogVFormat(DeepState_LogInfo, format, args);
-    } else {
-      DeepState_LogVFormat(DeepState_LogInfo, format, args);
-    }
-  } else if (stderr == file) {
+  if (stderr == file) {
     DeepState_LogVFormat(DeepState_LogDebug, format, args);
   } else if (stdout == file) {
     DeepState_LogVFormat(DeepState_LogInfo, format, args);
   } else {
-    DeepState_LogStream(DeepState_LogWarning);
-    DeepState_Log(DeepState_LogWarning,
-                  "vfprintf with non-stdout/stderr stream follows:");
+    if (!DeepState_UsingLibFuzzer) {
+      DeepState_LogStream(DeepState_LogWarning);
+      DeepState_Log(DeepState_LogWarning,
+		    "vfprintf with non-stdout/stderr stream follows:");
+    }
     DeepState_LogVFormat(DeepState_LogInfo, format, args);
   }
   return 0;