Add user_defined_same_as_libc test

Author: lucic71

tests/unit/out/refcount/user_defined_same_as_libc.rs

@@ -0,0 +1,27 @@
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::cell::RefCell;
+use std::collections::BTreeMap;
+use std::io::prelude::*;
+use std::io::{Read, Seek, Write};
+use std::os::fd::AsFd;
+use std::rc::{Rc, Weak};
+pub fn strchr_0(s: Ptr<u8>, c: i32) -> Ptr<u8> {
+    let s: Value<Ptr<u8>> = Rc::new(RefCell::new(s));
+    let c: Value<i32> = Rc::new(RefCell::new(c));
+    return Ptr::<u8>::null();
+}
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let p: Value<Ptr<u8>> = Rc::new(RefCell::new(
+        ({
+            let _s: Ptr<u8> = Ptr::from_string_literal("hello");
+            let _c: i32 = ('l' as i32);
+            strchr_0(_s, _c)
+        }),
+    ));
+    assert!(((((*p.borrow()).is_null()) as i32) != 0));
+    return 0;
+}

tests/unit/out/unsafe/user_defined_same_as_libc.rs

@@ -0,0 +1,26 @@
+extern crate libc;
+use libc::*;
+extern crate libcc2rs;
+use libcc2rs::*;
+use std::collections::BTreeMap;
+use std::io::{Read, Seek, Write};
+use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
+use std::rc::Rc;
+pub unsafe fn strchr_0(mut s: *const u8, mut c: i32) -> *mut u8 {
+    return std::ptr::null_mut();
+}
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut p: *const u8 = (unsafe {
+        let _s: *const u8 = b"hello\0".as_ptr().cast_mut().cast_const();
+        let _c: i32 = ('l' as i32);
+        strchr_0(_s, _c)
+    })
+    .cast_const();
+    assert!(((((p).is_null()) as i32) != 0));
+    return 0;
+}

tests/unit/user_defined_same_as_libc.c

@@ -0,0 +1,10 @@
+#include <assert.h>
+#include <stddef.h>
+
+char *strchr(const char *s, int c) { return NULL; }
+
+int main() {
+  const char *p = strchr("hello", 'l');
+  assert(p == NULL);
+  return 0;
+}