Update tests

Author: lucic71

tests/ub/out/refcount/ub7.rs

@@ -12,7 +12,7 @@ pub fn strlen_0(s: Ptr<u8>) -> u64 {
     'loop_: while (((*s.borrow()).read()) != 0) {
         (*s.borrow_mut()).prefix_inc();
     }
-    return (((*s.borrow()).clone() - (*begin.borrow()).clone()) as u64);
+    return ((((*s.borrow()).clone() - (*begin.borrow()).clone()) as i64) as u64);
 }
 pub fn main() {
     std::process::exit(main_0());

tests/ub/out/unsafe/ub7.rs

@@ -11,7 +11,7 @@ pub unsafe fn strlen_0(mut s: *const u8) -> u64 {
     'loop_: while ((*s) != 0) {
         s.prefix_inc();
     }
-    return ((((s as usize - begin as usize) / ::std::mem::size_of::<u8>()) as u64) as u64);
+    return ((((s as usize - begin as usize) / ::std::mem::size_of::<u8>()) as i64) as u64);
 }
 pub fn main() {
     unsafe {

tests/unit/out/refcount/02_address_taken.rs

@@ -18,7 +18,7 @@ fn main_0() -> i32 {
     let __rhs = (((*b_ptr_ptr.borrow()).read()).read());
     (*b_ptr.borrow()).write(__rhs);
     let offset: Value<u64> = Rc::new(RefCell::new(
-        (((*b_ptr.borrow()).clone() - (*b_ptr.borrow()).clone()) as u64),
+        ((((*b_ptr.borrow()).clone() - (*b_ptr.borrow()).clone()) as i64) as u64),
     ));
     return (*b.borrow());
 }

tests/unit/out/refcount/pointer_diff.rs

@@ -17,5 +17,5 @@ fn main_0() -> i32 {
     let p1: Value<Ptr<i32>> = Rc::new(RefCell::new(
         ((a.as_pointer() as Ptr<i32>).offset(4 as isize)),
     ));
-    return (((*p1.borrow()).clone() - (*p0.borrow()).clone()) as i32);
+    return ((((*p1.borrow()).clone() - (*p0.borrow()).clone()) as i64) as i32);
 }

tests/unit/out/refcount/strlen_diff.rs

@@ -12,7 +12,7 @@ pub fn strlen_0(s: Ptr<u8>) -> u64 {
     'loop_: while (((*s.borrow()).read()) != 0) {
         (*s.borrow_mut()).prefix_inc();
     }
-    return (((*s.borrow()).clone() - (*begin.borrow()).clone()) as u64);
+    return ((((*s.borrow()).clone() - (*begin.borrow()).clone()) as i64) as u64);
 }
 pub fn main() {
     std::process::exit(main_0());

tests/unit/out/unsafe/02_address_taken.rs

@@ -19,6 +19,6 @@ unsafe fn main_0() -> i32 {
     (*(*b_ptr_ptr)) = 4;
     (*b_ptr) = (*(*b_ptr_ptr));
     let mut offset: u64 =
-        ((((b_ptr as usize - b_ptr as usize) / ::std::mem::size_of::<i32>()) as u64) as u64);
+        ((((b_ptr as usize - b_ptr as usize) / ::std::mem::size_of::<i32>()) as i64) as u64);
     return b;
 }

tests/unit/out/unsafe/pointer_diff.rs

@@ -15,5 +15,5 @@ unsafe fn main_0() -> i32 {
     let mut a: [i32; 5] = [1, 2, 3, 4, 5];
     let mut p0: *const i32 = (&mut a[(0) as usize] as *mut i32).cast_const();
     let mut p1: *const i32 = (&mut a[(4) as usize] as *mut i32).cast_const();
-    return ((((p1 as usize - p0 as usize) / ::std::mem::size_of::<i32>()) as u64) as i32);
+    return ((((p1 as usize - p0 as usize) / ::std::mem::size_of::<i32>()) as i64) as i32);
 }

tests/unit/out/unsafe/strlen_diff.rs

@@ -11,7 +11,7 @@ pub unsafe fn strlen_0(mut s: *const u8) -> u64 {
     'loop_: while ((*s) != 0) {
         s.prefix_inc();
     }
-    return ((((s as usize - begin as usize) / ::std::mem::size_of::<u8>()) as u64) as u64);
+    return ((((s as usize - begin as usize) / ::std::mem::size_of::<u8>()) as i64) as u64);
 }
 pub fn main() {
     unsafe {