add size constraints

tautschnig · Aug 20, 2024 · 10493b5 · 10493b5
1 parent 41635f0
commit 10493b5
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/library/core/src/alloc/layout.rs b/library/core/src/alloc/layout.rs
@@ -546,8 +546,9 @@ mod verify {
 
     impl kani::Arbitrary for Layout {
         fn any() -> Self {
-            let size = kani::any::<usize>();
-            unsafe { Layout { size, align: kani::any::<Alignment>() } }
+            let align = kani::any::<Alignment>();
+            let size = kani::any_where(|s: &usize| *s <= isize::MAX as usize - (align.as_usize() - 1));
+            unsafe { Layout { size, align } }
         }
     }