miniz: silence warnings

This is third-party code.

Author: tautschnig

jbmc/src/miniz/miniz.cpp

@@ -24,6 +24,13 @@
  *
  **************************************************************************/
 
+#ifdef _MSC_VER
+#pragma warning(disable:4548)
+  // expression before comma has no effect
+#pragma warning(disable:4061)
+  // enum case is not handled in switch
+#endif
+
 #include  "miniz.h"
 
 typedef unsigned char mz_validate_uint16[sizeof(mz_uint16) == 2 ? 1 : -1];

jbmc/src/miniz/miniz.h

@@ -173,6 +173,10 @@
 #pragma once
 
 
+#ifdef _MSC_VER
+#pragma warning(disable:4668)
+  // using #if/#elif on undefined macro
+#endif