Add addrof back test

Author: lucic71

tests/unit/out/refcount/vector_addr_of_back.rs

@@ -0,0 +1,23 @@
+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 main() {
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    let outer: Value<Vec<Value<Vec<i32>>>> = Rc::new(RefCell::new(Vec::new()));
+    let inner: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
+    (outer.as_pointer() as Ptr<Vec<Value<Vec<i32>>>>).with_mut(|__v: &mut Vec<Value<Vec<i32>>>| {
+        __v.push(Rc::new(RefCell::new((*inner.borrow()).clone())))
+    });
+    let sink: Value<Ptr<Vec<i32>>> = Rc::new(RefCell::new(
+        ((*outer.borrow())[(*outer.borrow()).len() - 1].as_pointer()),
+    ));
+    assert!(((*(*sink.borrow()).upgrade().deref()).len() as u64 == 0_u64));
+    return 0;
+}

tests/unit/out/unsafe/vector_addr_of_back.rs

@@ -0,0 +1,21 @@
+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 fn main() {
+    unsafe {
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    let mut outer: Vec<Vec<i32>> = Vec::new();
+    let mut inner: Vec<i32> = Vec::new();
+    outer.push(inner.clone());
+    let mut sink: *mut Vec<i32> = ((outer).last_mut().unwrap());
+    assert!((((*sink.cast_const()).len() as u64) == (0_u64)));
+    return 0;
+}

tests/unit/vector_addr_of_back.cpp

@@ -0,0 +1,11 @@
+#include <assert.h>
+#include <vector>
+
+int main() {
+  std::vector<std::vector<int>> outer;
+  std::vector<int> inner;
+  outer.push_back(inner);
+  auto *sink = &outer.back();
+  assert(sink->size() == 0);
+  return 0;
+}