compiler-builtins

klee-examples/Xargo.toml

+[dependencies.core]
+stage = 0
+
+[dependencies.compiler_builtins]
+features = ["mem"]
+stage = 1
\ No newline at end of file

klee/src/lib.rs

 #![no_std]
+#![feature(compiler_builtins_lib)]
 #![feature(lang_items)]
 
+extern crate compiler_builtins;
 extern crate cstr_core;
 extern crate cty;
 
@@ -9,17 +11,11 @@ mod ll;
 
 use core::mem;
 
-use cty::{c_int, c_void};
+use cty::c_void;
 
 #[doc(hidden)]
 pub use cstr_core::CStr;
 
-//extern "C" fn memcmp(cx: *const c_void, ct: *const c_void, n: size_t) -> c_int {
-#[no_mangle]
-pub fn memcmp(_cx: *const c_void, _ct: *const c_void, _n: usize) -> c_int {
-    ::abort();
-}
-
 pub fn abort() -> ! {
     unsafe { ll::abort() }
 }