Update tests

Author: lucic71

tests/unit/out/refcount/va_list_field.rs

@@ -0,0 +1,79 @@
+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 sum_0(n: i32, __args: &[VaArg]) -> i32 {
+    let n: Value<i32> = Rc::new(RefCell::new(n));
+    let ap: Value<VaList> = Rc::new(RefCell::new(VaList::default()));
+    (*ap.borrow_mut()) = VaList::new(__args);
+    let guard: Value<Guard_1> = Rc::new(RefCell::new(Guard_1::new({ ap.as_pointer() })));
+    let _dtor_guard = ScopedDestructor::new(&guard, |__p| __p.destructor());
+    let mut total: i32 = 0;
+    let mut i: i32 = 0;
+    'loop_: while (i < (*n.borrow())) {
+        total += { (*guard.borrow()).ap.clone() }.with_mut(|__v| __v.arg::<i32>());
+        i.prefix_inc();
+    }
+    return total;
+}
+#[derive(Clone, Record, ByteRepr, VaArg, FnPtrArg, Destructor, Default)]
+#[byte_size(16)]
+pub struct Guard_1 {
+    #[offset(0)]
+    #[byte_size(8)]
+    pub ap: Ptr<VaList>,
+    #[offset(8)]
+    pub active: bool,
+}
+impl Guard_1 {
+    pub fn new(val: Ptr<VaList>) -> Self {
+        Self {
+            ap: (val).clone(),
+            active: true,
+        }
+    }
+}
+pub fn sum_ptr_2(n: i32, __args: &[VaArg]) -> i32 {
+    let n: Value<i32> = Rc::new(RefCell::new(n));
+    let ap: Value<VaList> = Rc::new(RefCell::new(VaList::default()));
+    (*ap.borrow_mut()) = VaList::new(__args);
+    let mut cursor: Cursor_3 = Cursor_3 {
+        ap: (ap.as_pointer()),
+    };
+    let mut total: i32 = 0;
+    let mut i: i32 = 0;
+    'loop_: while (i < (*n.borrow())) {
+        total += cursor.ap.with_mut(|__v| __v.arg::<i32>());
+        i.prefix_inc();
+    }
+    return total;
+}
+#[derive(Clone, Record, ByteRepr, VaArg, FnPtrArg, Default)]
+#[byte_size(8)]
+pub struct Cursor_3 {
+    #[offset(0)]
+    #[byte_size(8)]
+    pub ap: Ptr<VaList>,
+}
+pub fn main() {
+    __cpp2rust_init_globals();
+    std::process::exit(main_0());
+}
+fn main_0() -> i32 {
+    assert!((({ sum_0(3, &[(1).into(), (2).into(), (3).into(),]) }) == 6));
+    assert!((({ sum_ptr_2(2, &[(4).into(), (5).into(),]) }) == 9));
+    return 0;
+}
+pub trait Guard_1Impl {
+    fn destructor(&self);
+}
+impl Guard_1Impl for Ptr<Guard_1> {
+    fn destructor(&self) {
+        if (*self).with(|__s| __s.active) {}
+    }
+}
+pub fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/va_list_field.rs

@@ -0,0 +1,70 @@
+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 unsafe fn sum_0(mut n: i32, __args: &[VaArg]) -> i32 {
+    let mut ap: VaList = VaList::default();
+    ap = VaList::new(__args);
+    let mut guard: Guard_1 = Guard_1::new({ &mut ap });
+    let _dtor_guard = ScopedDestructorUnsafe::new(&raw mut guard, Guard_1::destructor);
+    let mut total: i32 = 0;
+    let mut i: i32 = 0;
+    'loop_: while ((i) < (n)) {
+        total += (*guard.ap).arg::<i32>();
+        i.prefix_inc();
+    }
+    return total;
+}
+#[repr(C)]
+#[derive(Clone, VaArg, FnPtrArg, DestructorUnsafe, Default)]
+pub struct Guard_1 {
+    pub ap: *mut VaList,
+    pub active: bool,
+}
+impl Guard_1 {
+    pub unsafe fn new(val: *mut VaList) -> Self {
+        let mut this = Self {
+            ap: val,
+            active: true,
+        };
+        this
+    }
+    pub unsafe fn destructor(&mut self) {
+        if self.active {}
+    }
+}
+pub unsafe fn sum_ptr_2(mut n: i32, __args: &[VaArg]) -> i32 {
+    let mut ap: VaList = VaList::default();
+    ap = VaList::new(__args);
+    let mut cursor: Cursor_3 = Cursor_3 {
+        ap: (&mut ap as *mut VaList),
+    };
+    let mut total: i32 = 0;
+    let mut i: i32 = 0;
+    'loop_: while ((i) < (n)) {
+        total += (*cursor.ap).arg::<i32>();
+        i.prefix_inc();
+    }
+    return total;
+}
+#[repr(C)]
+#[derive(Copy, Clone, VaArg, FnPtrArg, Default)]
+pub struct Cursor_3 {
+    pub ap: *mut VaList,
+}
+pub fn main() {
+    unsafe {
+        __cpp2rust_init_globals();
+        std::process::exit(main_0() as i32);
+    }
+}
+unsafe fn main_0() -> i32 {
+    assert!(((unsafe { sum_0(3, &[(1).into(), (2).into(), (3).into(),]) }) == (6)));
+    assert!(((unsafe { sum_ptr_2(2, &[(4).into(), (5).into(),]) }) == (9)));
+    return 0;
+}
+pub unsafe fn __cpp2rust_init_globals() {}