mirror of
https://github.com/tokio-rs/bytes.git
synced 2026-08-07 00:00:13 +02:00
Alice RyhlandGitHub
d0293b0e35
* 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]>
14 lines
261 B
Bash
Executable File
14 lines
261 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
rustup component add miri
|
|
cargo miri setup
|
|
|
|
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
|