1 files changed, 19 insertions, 0 deletions
diff --git a/runtime/klee-libc/bcmp.c b/runtime/klee-libc/bcmp.c
new file mode 100644
index 00000000..23e1c233
--- /dev/null
+++ b/runtime/klee-libc/bcmp.c
@@ -0,0 +1,19 @@
+/*===-- bcmp.c ------------------------------------------------------------===//
+//
+//                     The KLEE Symbolic Virtual Machine
+//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===*/
+
+#include <strings.h>
+
+int bcmp(const void *s1, const void *s2, size_t n) {
+  const unsigned char *p1 = s1, *p2 = s2;
+  while (--n != 0) {
+    if (*p1++ != *p2++)
+      return 1;
+  }
+  return 0;
+}