mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fixed warnings on Win64

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-12-10 07:52:33 -08:00
parent 8015d8b79a
commit 7f210d55be
3 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/cmd_context/context_params.cpp
View file

@ -41,7 +41,7 @@ void context_params::set_bool(bool & opt, char const * param, char const * value
void context_params::set(char const * param, char const * value) { void context_params::set(char const * param, char const * value) {
std::string p = param; std::string p = param;
unsigned n = p.size(); unsigned n = static_cast<unsigned>(p.size());
for (unsigned i = 0; i < n; i++) { for (unsigned i = 0; i < n; i++) {
if (p[i] >= 'A' && p[i] <= 'Z') if (p[i] >= 'A' && p[i] <= 'Z')
p[i] = p[i] - 'A' + 'a'; p[i] = p[i] - 'A' + 'a';

2
src/util/gparams.cpp
View file

@ -165,7 +165,7 @@ public:
if (*name == ':') if (*name == ':')
name++; name++;
std::string tmp = name; std::string tmp = name;
unsigned n = tmp.size(); unsigned n = static_cast<unsigned>(tmp.size());
for (unsigned i = 0; i < n; i++) { for (unsigned i = 0; i < n; i++) {
if (tmp[i] >= 'A' && tmp[i] <= 'Z') if (tmp[i] >= 'A' && tmp[i] <= 'Z')
tmp[i] = tmp[i] - 'A' + 'a'; tmp[i] = tmp[i] - 'A' + 'a';

4
src/util/params.cpp
View file

@ -29,7 +29,7 @@ std::string norm_param_name(char const * n) {
if (*n == ':') if (*n == ':')
n++; n++;
std::string r = n; std::string r = n;
unsigned sz = r.size(); unsigned sz = static_cast<unsigned>(r.size());
if (sz == 0) if (sz == 0)
return "_"; return "_";
for (unsigned i = 0; i < sz; i++) { for (unsigned i = 0; i < sz; i++) {
@ -135,7 +135,7 @@ struct param_descrs::imp {
if (smt2_style) if (smt2_style)
out << ':'; out << ':';
char const * s = it2->bare_str(); char const * s = it2->bare_str();
unsigned n = strlen(s); unsigned n = static_cast<unsigned>(strlen(s));
for (unsigned i = 0; i < n; i++) { for (unsigned i = 0; i < n; i++) {
if (smt2_style && s[i] == '_') if (smt2_style && s[i] == '_')
out << '-'; out << '-';