[PPL-devel] [GIT] ppl/ppl(master): Prefer explicit tests againts zero.

[Enea Zaffanella]

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

Author: Enea Zaffanella <zaffanella at 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;