Miri: Check that a ptr is aligned and inbounds already when evaluating *#63075
Merged
bors merged 7 commits intorust-lang:masterfrom Aug 15, 2019
Merged
Miri: Check that a ptr is aligned and inbounds already when evaluating *#63075bors merged 7 commits intorust-lang:masterfrom
*#63075bors merged 7 commits intorust-lang:masterfrom
Commits
Commits on Jul 28, 2019
- committed
- committed
- committed
- committed
- committed
- committed
- committed
