Fixed a bug in KLEE libc's implementation of strcmp: according to the C standard, characters should be compared as unsigned chars.

1 files changed, 1 insertions, 1 deletions

diff --git a/runtime/klee-libc/strcmp.c b/runtime/klee-libc/strcmp.c
index cdb002c7..e95df928 100644
--- a/runtime/klee-libc/strcmp.c
+++ b/runtime/klee-libc/strcmp.c
@@ -10,5 +10,5 @@
 int strcmp(const char *a, const char *b) {
   while (*a && *a == *b)
     ++a, ++b;
-  return *a - *b;
+  return *(const unsigned char*)a - *(const unsigned char*)b;
 }