diff options
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/klee-libc/bcmp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/klee-libc/bcmp.c b/runtime/klee-libc/bcmp.c index 23e1c233..306523fb 100644 --- a/runtime/klee-libc/bcmp.c +++ b/runtime/klee-libc/bcmp.c @@ -11,7 +11,7 @@ int bcmp(const void *s1, const void *s2, size_t n) { const unsigned char *p1 = s1, *p2 = s2; - while (--n != 0) { + while (n-- != 0) { if (*p1++ != *p2++) return 1; } |