Merge pull request diffblue#2403 from tautschnig/vs-zero-1

Explicitly compare int to zero to avoid Visual Studio warning

Author: tautschnig

jbmc/src/java_bytecode/jar_file.cpp

@@ -80,7 +80,7 @@ optionalt<std::string> jar_filet::get_entry(const std::string &name)
 
 static bool is_space(const char ch)
 {
-  return std::isspace(ch);
+  return std::isspace(ch) != 0;
 }
 
 /// Remove leading and trailing whitespace characters from string

src/util/unicode.cpp

@@ -23,7 +23,7 @@ Author: Daniel Kroening, [email protected]
 bool is_little_endian_arch()
 {
   uint32_t i=1;
-  return reinterpret_cast<uint8_t &>(i);
+  return reinterpret_cast<uint8_t &>(i) != 0;
 }
 
 #define BUFSIZE 100