Add user_defined_same_as_libc test

Author: lucic71

tests/unit/out/refcount/user_defined_same_as_libc.rs

@@ -6,24 +6,22 @@ use std::io::prelude::*;
 use std::io::{Read, Seek, Write};
 use std::os::fd::AsFd;
 use std::rc::{Rc, Weak};
-pub fn fopen_0(path: Ptr<u8>, mode: Ptr<u8>) -> Ptr<::std::fs::File> {
-    let path: Value<Ptr<u8>> = Rc::new(RefCell::new(path));
-    let mode: Value<Ptr<u8>> = Rc::new(RefCell::new(mode));
-    (*path.borrow()).clone();
-    (*mode.borrow()).clone();
-    return Ptr::null();
+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 fp: Value<Ptr<::std::fs::File>> = Rc::new(RefCell::new(
+    let p: Value<Ptr<u8>> = Rc::new(RefCell::new(
         ({
-            let _path: Ptr<u8> = Ptr::from_string_literal("/tmp/irrelevant-file");
-            let _mode: Ptr<u8> = Ptr::from_string_literal("r");
-            fopen_0(_path, _mode)
+            let _s: Ptr<u8> = Ptr::from_string_literal("hello");
+            let _c: i32 = ('l' as i32);
+            strchr_0(_s, _c)
         }),
     ));
-    assert!(((((*fp.borrow()).is_null()) as i32) != 0));
+    assert!(((((*p.borrow()).is_null()) as i32) != 0));
     return 0;
 }

tests/unit/out/unsafe/user_defined_same_as_libc.rs

@@ -6,9 +6,7 @@ use std::collections::BTreeMap;
 use std::io::{Read, Seek, Write};
 use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
 use std::rc::Rc;
-pub unsafe fn fopen_0(mut path: *const u8, mut mode: *const u8) -> *mut ::std::fs::File {
-    &(path);
-    &(mode);
+pub unsafe fn strchr_0(mut s: *const u8, mut c: i32) -> *mut u8 {
     return std::ptr::null_mut();
 }
 pub fn main() {
@@ -17,11 +15,12 @@ pub fn main() {
     }
 }
 unsafe fn main_0() -> i32 {
-    let mut fp: *mut ::std::fs::File = (unsafe {
-        let _path: *const u8 = (b"/tmp/irrelevant-file\0".as_ptr().cast_mut()).cast_const();
-        let _mode: *const u8 = (b"r\0".as_ptr().cast_mut()).cast_const();
-        fopen_0(_path, _mode)
-    });
-    assert!(((((fp).is_null()) as i32) != 0));
+    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;
 }