From 2afa919e4ed91839c7c31b775ba522856cec892e Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 7 Jun 2018 17:45:32 +0000 Subject: [PATCH] Explicitly compare int to zero to avoid Visual Studio warning --- jbmc/src/java_bytecode/jar_file.cpp | 2 +- src/util/unicode.cpp | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/jbmc/src/java_bytecode/jar_file.cpp b/jbmc/src/java_bytecode/jar_file.cpp index 4bab160e83d..b1ae84ea9fa 100644 --- a/jbmc/src/java_bytecode/jar_file.cpp +++ b/jbmc/src/java_bytecode/jar_file.cpp @@ -80,7 +80,7 @@ optionalt 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 diff --git a/src/util/unicode.cpp b/src/util/unicode.cpp index 6f329e2203c..0a4b9ea47fb 100644 --- a/src/util/unicode.cpp +++ b/src/util/unicode.cpp @@ -23,7 +23,7 @@ Author: Daniel Kroening, kroening@kroening.com bool is_little_endian_arch() { uint32_t i=1; - return reinterpret_cast(i); + return reinterpret_cast(i) != 0; } #define BUFSIZE 100