Merge commit from fork

* Add repro for integer overflow

Signed-off-by: Alice Ryhl <[email protected]>

* Always check overflow in new_cap + offset

Signed-off-by: Alice Ryhl <[email protected]>

---------

Signed-off-by: Alice Ryhl <[email protected]>
This commit is contained in:
Alice Ryhl
2026-02-03 14:40:22 +01:00
committed by GitHub
parent a7952fb447
commit d0293b0e35
3 changed files with 28 additions and 8 deletions
+3
View File
@@ -8,3 +8,6 @@ export MIRIFLAGS="-Zmiri-strict-provenance"
cargo miri test
cargo miri test --target mips64-unknown-linux-gnuabi64
# run with wrapping integer overflow instead of panic
cargo miri test --release