Update tests

Author: lucic71

tests/ub/out/unsafe/ub10.rs

@@ -17,11 +17,16 @@ unsafe fn main_0() -> i32 {
         Box::leak((0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
     let mut ptr: *mut i32 = arr.offset((1) as isize);
     let mut out: i32 = (*ptr);
-
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        ptr,
-        libcc2rs::malloc_usable_size(ptr as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = ptr;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
     return out;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub11.rs

@@ -16,7 +16,12 @@ unsafe fn main_0() -> i32 {
     let mut element: *mut i32 = (Box::leak(Box::new(10)) as *mut i32);
     let mut ptr: *mut i32 = element.offset((1) as isize);
     let mut out: i32 = (*ptr);
-    ::std::mem::drop(Box::from_raw(element));
+    {
+        let __p = element;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(__p))
+        }
+    };
     return out;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub12.rs

@@ -7,7 +7,12 @@ use std::io::{Read, Seek, Write};
 use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
 use std::rc::Rc;
 pub unsafe fn escape_0(mut ptr: *mut i32) {
-    ::std::mem::drop(Box::from_raw(ptr));
+    {
+        let __p = ptr;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(__p))
+        }
+    };
 }
 pub fn main() {
     unsafe {
@@ -18,7 +23,12 @@ pub fn main() {
 unsafe fn main_0() -> i32 {
     let mut alloc: *mut i32 = (Box::leak(Box::new(1)) as *mut i32);
     (unsafe { escape_0(alloc) });
-    ::std::mem::drop(Box::from_raw(alloc));
+    {
+        let __p = alloc;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(__p))
+        }
+    };
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub13.rs

@@ -7,7 +7,12 @@ use std::io::{Read, Seek, Write};
 use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
 use std::rc::Rc;
 pub unsafe fn escape_0(mut p: *mut i32) {
-    ::std::mem::drop(Box::from_raw(p));
+    {
+        let __p = p;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(__p))
+        }
+    };
 }
 pub fn main() {
     unsafe {

tests/ub/out/unsafe/ub14.rs

@@ -16,11 +16,16 @@ unsafe fn main_0() -> i32 {
     let mut arr1: *mut i32 =
         Box::leak((0..100_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
     (*arr1.offset((100) as isize)) = 1;
-
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        arr1,
-        libcc2rs::malloc_usable_size(arr1 as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = arr1;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub15.rs

@@ -17,11 +17,16 @@ unsafe fn main_0() -> i32 {
         Box::leak((0..15_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
     let mut ptr: *mut i32 = arr.offset((15) as isize);
     let mut out: i32 = (*ptr);
-
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        arr,
-        libcc2rs::malloc_usable_size(arr as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = arr;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
     return out;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub16.rs

@@ -20,11 +20,16 @@ unsafe fn main_0() -> i32 {
         Box::leak((0..10_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr();
     let mut out: i32 =
         (*(unsafe { foo_0((&mut (*p1.offset((1) as isize)) as *mut i32)) }).offset((4) as isize));
-
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        p1,
-        libcc2rs::malloc_usable_size(p1 as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = p1;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub17.rs

@@ -15,7 +15,12 @@ pub fn main() {
 unsafe fn main_0() -> i32 {
     let mut x: i32 = 1;
     let mut p: *mut i32 = (&mut x as *mut i32);
-    ::std::mem::drop(Box::from_raw(p));
+    {
+        let __p = p;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(__p))
+        }
+    };
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub18.rs

@@ -15,11 +15,16 @@ pub fn main() {
 unsafe fn main_0() -> i32 {
     let mut arr: [i32; 3] = [1, 2, 3];
     let mut p: *mut i32 = arr.as_mut_ptr();
-
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        p,
-        libcc2rs::malloc_usable_size(p as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = p;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/ub/out/unsafe/ub19.rs

@@ -7,10 +7,16 @@ use std::io::{Read, Seek, Write};
 use std::os::fd::{AsFd, FromRawFd, IntoRawFd};
 use std::rc::Rc;
 pub unsafe fn foo_0(mut array: *mut i32) {
-    ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
-        array,
-        libcc2rs::malloc_usable_size(array as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
-    )));
+    {
+        let __p = array;
+        if !__p.is_null() {
+            ::std::mem::drop(Box::from_raw(::std::slice::from_raw_parts_mut(
+                __p,
+                libcc2rs::malloc_usable_size(__p as *mut ::libc::c_void)
+                    / ::std::mem::size_of::<i32>(),
+            )))
+        }
+    };
 }
 pub fn main() {
     unsafe {