Skip to content

Miri: Check that a ptr is aligned and inbounds already when evaluating *#63075

Merged
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:deref-checks
Aug 15, 2019
Merged

Miri: Check that a ptr is aligned and inbounds already when evaluating *#63075
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:deref-checks

'Ref' can now be sure it gets a 'Pointer'

647c0e0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs