miniz: silence warnings

This is third-party code.

Author: tautschnig

jbmc/src/java_bytecode/mz_zip_archive.cpp

@@ -76,7 +76,10 @@ std::string mz_zip_archivet::get_filename(const size_t index)
   const auto id=static_cast<mz_uint>(index);
   std::vector<char> buffer;
   buffer.resize(mz_zip_reader_get_filename(m_state.get(), id, nullptr, 0));
+#include <util/pragma_push.def>
+#include <util/pragma_wconversion.def>
   mz_zip_reader_get_filename(m_state.get(), id, buffer.data(), buffer.size());
+#include <util/pragma_pop.def>
   // Buffer may contain junk returned after \0
   const auto null_char_it=std::find(buffer.cbegin(), buffer.cend(), '\0');
   return { buffer.cbegin(), null_char_it };

jbmc/src/miniz/Makefile

@@ -1,7 +1,7 @@
 SRC = miniz.cpp \
       # Empty last line
 
-INCLUDES= -I ..
+INCLUDES= -I .. -I ../$(CPROVER_DIR)/src
 
 include ../config.inc
 include ../$(CPROVER_DIR)/src/config.inc

jbmc/src/miniz/miniz.cpp

@@ -24,6 +24,14 @@
  *
  **************************************************************************/
 
+#include <util/pragma_wconversion.def>
+#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