Add null in statics test

Author: lucic71

tests/unit/null_in_statics.cpp

@@ -0,0 +1,27 @@
+#include <cassert>
+#include <cstddef>
+
+static int *p_mut;
+static const int *p_const;
+static const char *cp;
+static int *arr_of_ptr[4];
+static int **pp;
+static const int *const_arr_of_ptr[3];
+static const char *cp_explicit_null = nullptr;
+static int *p_zero = 0;
+
+int main() {
+  assert(p_mut == nullptr);
+  assert(p_const == nullptr);
+  assert(cp == nullptr);
+  for (int i = 0; i < 4; ++i) {
+    assert(arr_of_ptr[i] == nullptr);
+  }
+  assert(pp == nullptr);
+  for (int i = 0; i < 3; ++i) {
+    assert(const_arr_of_ptr[i] == nullptr);
+  }
+  assert(cp_explicit_null == nullptr);
+  assert(p_zero == nullptr);
+  return 0;
+}

tests/unit/out/refcount/null_in_statics.rs

@@ -0,0 +1,64 @@
+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};
+thread_local!(
+    pub static p_mut: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::<i32>::null()));
+);
+thread_local!(
+    pub static p_const: Value<Ptr<i32>> = Rc::new(RefCell::new(Ptr::<i32>::null()));
+);
+thread_local!(
+    pub static cp: Value<Ptr<u8>> = Rc::new(RefCell::new(Ptr::<u8>::null()));
+);
+thread_local!(
+    pub static arr_of_ptr: Value<Box<[Ptr<i32>]>> = Rc::new(RefCell::new(
+        (0..4)
+            .map(|_| Ptr::<i32>::null())
+            .collect::<Box<[Ptr<i32>]>>(),
+    ));
+);
+thread_local!(
+    pub static pp: Value<Ptr<Ptr<i32>>> = Rc::new(RefCell::new(Ptr::<Ptr<i32>>::null()));
+);
+thread_local!(
+    pub static const_arr_of_ptr: Value<Box<[Ptr<i32>]>> = Rc::new(RefCell::new(
+        (0..3)
+            .map(|_| Ptr::<i32>::null())
+            .collect::<Box<[Ptr<i32>]>>(),
+    ));
+);
+thread_local!(
+    pub static cp_explicit_null: Value<Ptr<u8>> = Rc::new(RefCell::new(Default::default()));
+);
+thread_local!(
+    pub static p_zero: Value<Ptr<i32>> = Rc::new(RefCell::new(Default::default()));
+);
+pub fn main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    assert!((*p_mut.with(Value::clone).borrow()).is_null());
+    assert!((*p_const.with(Value::clone).borrow()).is_null());
+    assert!((*cp.with(Value::clone).borrow()).is_null());
+    let i: Value<i32> = Rc::new(RefCell::new(0));
+    'loop_: while ((*i.borrow()) < 4) {
+        assert!(((*arr_of_ptr.with(Value::clone).borrow())[(*i.borrow()) as usize]).is_null());
+        (*i.borrow_mut()).prefix_inc();
+    }
+    assert!((*pp.with(Value::clone).borrow()).is_null());
+    let i: Value<i32> = Rc::new(RefCell::new(0));
+    'loop_: while ((*i.borrow()) < 3) {
+        assert!(
+            ((*const_arr_of_ptr.with(Value::clone).borrow())[(*i.borrow()) as usize]).is_null()
+        );
+        (*i.borrow_mut()).prefix_inc();
+    }
+    assert!((*cp_explicit_null.with(Value::clone).borrow()).is_null());
+    assert!((*p_zero.with(Value::clone).borrow()).is_null());
+    return 0;
+}

tests/unit/out/unsafe/null_in_statics.rs

@@ -0,0 +1,40 @@
+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 static mut p_mut: *mut i32 = std::ptr::null_mut();
+pub static mut p_const: *const i32 = std::ptr::null();
+pub static mut cp: *const u8 = std::ptr::null();
+pub static mut arr_of_ptr: [*mut i32; 4] = [std::ptr::null_mut(); 4];
+pub static mut pp: *mut *mut i32 = std::ptr::null_mut();
+pub static mut const_arr_of_ptr: [*const i32; 3] = [std::ptr::null(); 3];
+pub static mut cp_explicit_null: *const u8 = std::ptr::null();
+pub static mut p_zero: *mut i32 = std::ptr::null_mut();
+pub fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    assert!((p_mut).is_null());
+    assert!((p_const).is_null());
+    assert!((cp).is_null());
+    let mut i: i32 = 0;
+    'loop_: while ((i) < (4)) {
+        assert!((arr_of_ptr[(i) as usize]).is_null());
+        i.prefix_inc();
+    }
+    assert!((pp).is_null());
+    let mut i: i32 = 0;
+    'loop_: while ((i) < (3)) {
+        assert!((const_arr_of_ptr[(i) as usize]).is_null());
+        i.prefix_inc();
+    }
+    assert!((cp_explicit_null).is_null());
+    assert!((p_zero).is_null());
+    return 0;
+}