Default initialize new

Author: lucic71

cpp2rust/converter/converter.cpp

@@ -3440,12 +3440,16 @@ bool Converter::VisitCXXNewExpr(clang::CXXNewExpr *expr) {
     if (!curr_init_type_.empty() && curr_init_type_.back()->isPointerType()) {
       StrCat(".as_mut_ptr()");
     }
+    SetFreshType(expr->getType());
   } else {
-    auto initializer_as_string = ToString(expr->getInitializer());
+    auto initializer_as_string =
+        expr->getInitializer() ? ToString(expr->getInitializer())
+                               : GetDefaultAsString(expr->getAllocatedType());
     auto new_as_string =
         std::format("(Box::leak(Box::new({})) as {})", initializer_as_string,
                     ToString(expr->getType()));
     StrCat(new_as_string);
+    SetFreshType(expr->getType());
   }
   return false;
 }

tests/unit/new_array.cpp

@@ -18,9 +18,5 @@ int main() {
     return 1;
   }
   delete[] filled;
-
-  if (sum(new int[3], 0) != 0) {
-    return 1;
-  }
   return 0;
 }

tests/unit/out/refcount/new_array.rs

@@ -50,19 +50,6 @@ fn main_0() -> i32 {
         return 1;
     }
     (*filled.borrow()).delete_array();
-    if (({
-        sum_0(
-            Ptr::alloc_array(
-                (0..3_usize)
-                    .map(|_| <i32>::default())
-                    .collect::<Box<[i32]>>(),
-            ),
-            0,
-        )
-    }) != 0)
-    {
-        return 1;
-    }
     return 0;
 }
 pub fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/new_array.rs

@@ -47,15 +47,6 @@ unsafe fn main_0() -> i32 {
         filled,
         libcc2rs::malloc_usable_size(filled as *mut ::libc::c_void) / ::std::mem::size_of::<i32>(),
     )));
-    if ((unsafe {
-        sum_0(
-            Box::leak((0..3_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr(),
-            0,
-        )
-    }) != (0))
-    {
-        return 1;
-    }
     return 0;
 }
 pub unsafe fn __cpp2rust_init_globals() {}

tests/unit/out/unsafe/unique_ptr.rs

@@ -82,17 +82,17 @@ pub unsafe fn Consume_1(mut safe_ptr: Option<Box<SafePointer>>) -> i32 {
 }
 pub unsafe fn RndStuff_2() {
     let mut x1: Option<Box<[i32]>> = None;
-    let mut x2: Option<Box<[i32]>> = Some(Box::from_raw(
-        Box::leak((0..100_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr(),
-    ));
+    let mut x2: Option<Box<[i32]>> = Some(Box::from_raw(Box::leak(
+        (0..100_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
+    )));
     let mut i: i32 = 0;
     'loop_: while ((i) < (100)) {
         x2.as_mut().unwrap()[(i as usize)] = 1;
         i.prefix_inc();
     }
-    x2 = Some(Box::from_raw(
-        Box::leak((0..200_usize).map(|_| 0_i32).collect::<Box<[i32]>>()).as_mut_ptr(),
-    ));
+    x2 = Some(Box::from_raw(Box::leak(
+        (0..200_usize).map(|_| 0_i32).collect::<Box<[i32]>>(),
+    )));
     let mut i: i32 = 0;
     'loop_: while ((i) < (200)) {
         x2.as_mut().unwrap()[(i as usize)] = 2;
@@ -128,14 +128,11 @@ pub unsafe fn RndStuff_2() {
         assert!((((*p3_0.offset((i) as isize)).y) == (12)));
         i.prefix_inc();
     }
-    x3 = Some(Box::from_raw(
-        Box::leak(
-            (0..50_usize)
-                .map(|_| <Pair>::default())
-                .collect::<Box<[Pair]>>(),
-        )
-        .as_mut_ptr(),
-    ));
+    x3 = Some(Box::from_raw(Box::leak(
+        (0..50_usize)
+            .map(|_| <Pair>::default())
+            .collect::<Box<[Pair]>>(),
+    )));
     let mut i: i32 = 0;
     'loop_: while ((i) < (50)) {
         x3.as_mut().unwrap()[(i as usize)] = Pair {