From 10493b5d92529bab13d3f9f2312185c6e1595ed5 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Tue, 20 Aug 2024 13:08:01 +0000
Subject: [PATCH] add size constraints

---
 library/core/src/alloc/layout.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/library/core/src/alloc/layout.rs b/library/core/src/alloc/layout.rs
index a947812b7d6fb..b23ed074c1c66 100644
--- 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 } }
         }
     }