ensure that -Zmiri-check-number-validity detects integers with provenance#2040

Merged

bors merged 4 commits intorust-lang:masterfrom RalfJung:pnvi

Mar 27, 2022

+96-68

Commits on Mar 26, 2022

ensure that -Zmiri-check-number-validity detects integers with provenance
RalfJung
committed
fix types in env shim to avoid ptr-int transmutes
RalfJung
committed
channels do ptr-int transmutes so move them to non-check-number-validity test
RalfJung
committed

Commits on Mar 27, 2022

rustup
RalfJung
committed