Update library/core/src/intrinsics.rs

celinval · Nov 7, 2024 · 4c07dcd · 4c07dcd
1 parent 5e24d04
commit 4c07dcd
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/library/core/src/intrinsics.rs b/library/core/src/intrinsics.rs
@@ -3609,12 +3609,7 @@ mod verify {
             let base = buf.as_mut_ptr() as *mut u8;
             base.wrapping_add(kani::any_where(|offset: &usize| *offset < 400)) as *mut char
         };
-        let mut buffer1 = [MaybeUninit::<char>::uninit(); 100];
-        for i in 0..100 {
-            if kani::any() {
-                buffer1[i] = MaybeUninit::new(kani::any());
-            }
-        }
+        let mut buffer1: [MaybeUninit::<char>; 100] = kani::any();
         let mut buffer2 = [MaybeUninit::<char>::uninit(); 100];
         let src = gen_any_ptr(&mut buffer1);
         let dst = if kani::any() { gen_any_ptr(&mut buffer2) } else { gen_any_ptr(&mut buffer1) };