Module: ppl/ppl Branch: master Commit: 7b5f76fb05d066c9e1e7192f1a6859974b662c6b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7b5f76fb05d06...

Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Feb 17 12:54:04 2012 +0100

Prefer explicit tests againts zero. Detected by ECLAIR service utypflag.

---

src/Powerset.templates.hh | 2 +- src/ppl-config.cc.in | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Powerset.templates.hh b/src/Powerset.templates.hh index f75db0e..2c5d344 100644 --- a/src/Powerset.templates.hh +++ b/src/Powerset.templates.hh @@ -90,7 +90,7 @@ Powerset<D>::omega_reduce() const { xi = x.drop_disjunct(xi); else ++xi; - if (abandon_expensive_computations && xi != x.end()) { + if (abandon_expensive_computations != 0 && xi != x.end()) { // Hurry up! x.collapse(xi.base); break; diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in index 9032589..0fafd39 100644 --- a/src/ppl-config.cc.in +++ b/src/ppl-config.cc.in @@ -241,7 +241,7 @@ void internal_error() {

bool strcaseeq(const char* s1, const char* s2) { - while (*s1 && *s2 + while (*s1 != 0 && *s2 != 0 && tolower(static_cast<unsigned char>(*s1)) == tolower(static_cast<unsigned char>(*s2))) { ++s1;