We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b8743fa commit 2afa919Copy full SHA for 2afa919
jbmc/src/java_bytecode/jar_file.cpp
@@ -80,7 +80,7 @@ optionalt<std::string> jar_filet::get_entry(const std::string &name)
80
81
static bool is_space(const char ch)
82
{
83
- return std::isspace(ch);
+ return std::isspace(ch) != 0;
84
}
85
86
/// Remove leading and trailing whitespace characters from string
src/util/unicode.cpp
@@ -23,7 +23,7 @@ Author: Daniel Kroening, [email protected]
23
bool is_little_endian_arch()
24
25
uint32_t i=1;
26
- return reinterpret_cast<uint8_t &>(i);
+ return reinterpret_cast<uint8_t &>(i) != 0;
27
28
29
#define BUFSIZE 100
0 commit comments