diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-08-14 22:56:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-14 22:56:20 +0200 |
| commit | c358476c1bcb195ad4808605626856691282190d (patch) | |
| tree | 6a6e5271ef57a646a2fc1fbe17796d2c8c096506 /src/rustllvm/RustWrapper.cpp | |
| parent | 7178cf5f970a4f32afd260dda4f87223d8a9ba96 (diff) | |
| parent | 647c0e06365aa4570870e78d3b29c2a8fffc0089 (diff) | |
| download | rust-c358476c1bcb195ad4808605626856691282190d.tar.gz rust-c358476c1bcb195ad4808605626856691282190d.zip | |
Rollup merge of #63075 - RalfJung:deref-checks, r=oli-obk
Miri: Check that a ptr is aligned and inbounds already when evaluating `*` This syncs Miri with what the Nomicon and the Reference say, and resolves https://github.com/rust-lang/miri/issues/447. Also this would not have worked without https://github.com/rust-lang/rust/pull/62982 due to new cycles. ;) r? @oli-obk
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions