Add pre-commit tests

Author: joaotgouveia

tests/unit/compound_assign_ref.cpp

@@ -0,0 +1,13 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <cassert>
+#include <vector>
+
+int main() {
+  std::vector<int> v;
+  v.push_back(10);
+  v.front() += 5;
+  assert(v.front() == 15);
+  return v.front();
+}

tests/unit/out/refcount/compound_assign_ref.rs

@@ -0,0 +1,19 @@
+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 v: Value<Vec<i32>> = Rc::new(RefCell::new(Vec::new()));
+    (*v.borrow_mut()).push(10);
+    let rhs_0 = ((((v.as_pointer() as Ptr<i32>).read()) as i32) + 5) as i32;
+    (v.as_pointer() as Ptr<i32>).write(rhs_0);
+    assert!((((v.as_pointer() as Ptr<i32>).read()) == 15));
+    return ((v.as_pointer() as Ptr<i32>).read());
+}

tests/unit/out/unsafe/compound_assign_ref.rs

@@ -0,0 +1,20 @@
+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 v: Vec<i32> = Vec::new();
+    v.push(10);
+    ((v).first_mut().unwrap()) = ((((v).first_mut().unwrap()) as i32) + 5) as i32;
+    assert!(((*((v).first_mut().unwrap())) == (15)));
+    return (*((v).first_mut().unwrap()));
+}