src/tools/miri/tests/pass-dep/foreign-fn-linkname.rs

   1 use std::ffi::CString;
   2
   3 mod mlibc {
   4     use libc::{c_char, size_t};
   5     extern "C" {
   6         #[link_name = "strlen"]
   7         pub fn my_strlen(str: *const c_char) -> size_t;
   8     }
   9 }
  10
  11 fn strlen(str: String) -> usize {
  12     // C string is terminated with a zero
  13     let s = CString::new(str).unwrap();
  14     unsafe { mlibc::my_strlen(s.as_ptr()) as usize }
  15 }
  16
  17 pub fn main() {
  18     let len = strlen("Rust".to_string());
  19     assert_eq!(len, 4);
  20 }