Update tests

Author: lucic71

cpp2rust/converter/models/converter_refcount.cpp

@@ -500,9 +500,9 @@ ConverterRefCount::MaterializeTemp(const std::string &binding_name,
   std::string binding;
   if (pointee->isConstantArrayType()) {
     PushConversionKind push(*this, ConversionKind::FullRefCount);
-    binding = std::format("{} {} : {} = {};", decl, binding_name,
-                          ToString(pointee),
-                          BoxValue(ConvertVarInitValue(pointee, expr)));
+    binding =
+        std::format("{} {} : {} = {};", decl, binding_name, ToString(pointee),
+                    BoxValue(ConvertVarInitValue(pointee, expr)));
   } else {
     auto value = ConvertFreshRValue(expr, pointee);
     auto type_str = ToStringBase(pointee);

tests/unit/out/refcount/array_reference.rs

@@ -99,6 +99,12 @@ fn main_0() -> i32 {
     assert!((({ len_0(buf.as_pointer(),) }) == 4));
     let arr: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([1, 2, 3])));
     assert!((({ sum_2(arr.as_pointer(),) }) == 6));
+    assert!(
+        (({
+            let _a: Value<Box<[i32]>> = Rc::new(RefCell::new(Box::new([1, 2, 3])));
+            sum_2(_a.as_pointer())
+        }) == 6)
+    );
     ({ fill_3(arr.as_pointer(), 7) });
     assert!((({ sum_2(arr.as_pointer(),) }) == 21));
     assert!((({ sum_twice_4(arr.as_pointer(),) }) == 42));
@@ -130,6 +136,25 @@ fn main_0() -> i32 {
         Ptr::<i8>::from_string_literal(b"cde"),
     ])));
     assert!((({ total_len_13(names.as_pointer(),) }) == 5));
+    let rows: Value<Box<[Value<Box<[i32]>>]>> = Rc::new(RefCell::new(Box::new([
+        Rc::new(RefCell::new(Box::new([1, 2, 3]))),
+        Rc::new(RefCell::new(Box::new([4, 5, 6]))),
+    ])));
+    let mut p: Ptr<Value<Box<[i32]>>> = (rows.as_pointer() as Ptr<Value<Box<[i32]>>>);
+    p.prefix_inc();
+    assert!(
+        ({ (p.read().as_pointer()) } == {
+            ((((rows.as_pointer() as Ptr<Value<Box<[i32]>>>)
+                .offset(1)
+                .read()
+                .as_pointer()) as Ptr<i32>)
+                .offset(0))
+        })
+    );
+    let r: Ptr<i32> = (p.read().as_pointer());
+    assert!(((elem!((r), 0).read()) == 4));
+    assert!((({ sum_2((r).clone(),) }) == 15));
+    assert!((({ sum_2((p.read().as_pointer()),) }) == 15));
     return 0;
 }
 pub fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/array_reference.rs

@@ -86,6 +86,12 @@ unsafe fn main_0() -> i32 {
     assert!(((unsafe { len_0(&buf,) }) == (4)));
     let mut arr: [i32; 3] = [1, 2, 3];
     assert!(((unsafe { sum_2(&arr,) }) == (6)));
+    assert!(
+        ((unsafe {
+            let mut _a: [i32; 3] = [1, 2, 3];
+            sum_2(&mut _a)
+        }) == (6))
+    );
     (unsafe { fill_3(&mut arr, 7) });
     assert!(((unsafe { sum_2(&arr,) }) == (21)));
     assert!(((unsafe { sum_twice_4(&arr,) }) == (42)));
@@ -111,6 +117,14 @@ unsafe fn main_0() -> i32 {
     assert!(((arr[(0) as usize]) == (3)));
     let mut names: [*const libc::c_char; 2] = [c"ab".as_ptr(), c"cde".as_ptr()];
     assert!(((unsafe { total_len_13(&mut names,) }) == (5)));
+    let mut rows: [[i32; 3]; 2] = [[1, 2, 3], [4, 5, 6]];
+    let mut p: *mut [i32; 3] = rows.as_mut_ptr();
+    p.prefix_inc();
+    assert!((((*p).as_mut_ptr()) == (&mut rows[(1) as usize][(0) as usize] as *mut i32)));
+    let r: *mut [i32; 3] = &mut (*p);
+    assert!((((*r)[(0) as usize]) == (4)));
+    assert!(((unsafe { sum_2(r,) }) == (15)));
+    assert!(((unsafe { sum_2(&(*p),) }) == (15)));
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}