[PPL-devel] [GIT] ppl/ppl(master): Avoid mixing plain character data with numeric data.
Roberto Bagnara
bagnara at cs.unipr.it
Wed Feb 29 20:59:45 CET 2012
Module: ppl/ppl
Branch: master
Commit: e7c06758ef7dfcbf8139b1158e702dcc56ce7ce8
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7c06758ef7dfcbf8139b1158e702dcc56ce7ce8
Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date: Wed Feb 29 20:55:37 2012 +0100
Avoid mixing plain character data with numeric data.
Detected by ECLAIR service utypflag.
---
src/ppl-config.cc.in | 6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/ppl-config.cc.in b/src/ppl-config.cc.in
index 19518fe..6691fd5 100644
--- a/src/ppl-config.cc.in
+++ b/src/ppl-config.cc.in
@@ -174,13 +174,13 @@ to_lower(char c) {
bool
strcaseeq(const char* s1, const char* s2) {
- while (*s1 != 0) {
- if (*s2 == 0 || to_lower(*s1) != to_lower(*s2))
+ while (*s1 != '\0') {
+ if (*s2 == '\0' || to_lower(*s1) != to_lower(*s2))
return false;
++s1;
++s2;
}
- return *s2 == 0;
+ return *s2 == '\0';
}
void
More information about the PPL-devel
mailing list