Validate miri against the HIR const evaluator#45002

Merged

bors merged 1591 commits intorust-lang:masterfrom oli-obk:miri

Dec 14, 2017

+6,548-59

This pull request is big! We're only showing the most recent 250 commits

Commits on Jul 31, 2017

Commits on Aug 1, 2017

Commits on Aug 4, 2017

Revert "disable validation code so that it all compiles against current nightly"
RalfJung
committed
with Validation MIR around drop being fixed, we can remove the hack working around this
RalfJung
committed
with the new 'limited validation when there is unsafe', we can significantly shrink our whitelist
RalfJung
committed
make execution with full MIR work: need to whitelist Arc drop impl and whatever it calls
RalfJung
committed
Release of an Undef local is fine, and a NOP
RalfJung
committed
make test suite MIR validation aware. run-pass passes with and without fullmir, if optimizations are disabled!
RalfJung
committed
Let -Zmir-emit-validate also control whether miri even acts on the validation commands
RalfJung
committed
for now, disable validation on optimized tests -- inlining breaks validation
RalfJung
committed
selectively disable validation in compile-fail where appropriate. cargo test now passes :)
RalfJung
committed
Rustc reorders fields, but miri expects them in source order
oli-obk
committed
Merge pull request rust-lang#284 from oli-obk/no_more_llvm_madness
oli-obk
authored
only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily when printing
RalfJung
committed
consolidate making Undef release a NOP in one place
RalfJung
committed

Commits on Aug 5, 2017

Commits on Aug 9, 2017

Commits on Aug 11, 2017

Commits on Aug 12, 2017

Commits on Aug 18, 2017

Commits on Aug 24, 2017

Commits on Aug 26, 2017

Commits on Aug 27, 2017

rustc rust-lang#43457 got fixed, we can enable more tests
RalfJung
committed

Commits on Aug 28, 2017

Commits on Aug 29, 2017

Commits on Aug 30, 2017

Commits on Sep 1, 2017

Implement align_offset intrinsic and thus enabling from_utf8
oli-obk
committed

Commits on Sep 4, 2017

Commits on Sep 7, 2017

Commits on Sep 8, 2017

Merge pull request rust-lang#329 from solson/oli-obk-patch-2
RalfJung
authored

Commits on Sep 11, 2017

Commits on Sep 13, 2017

Commits on Sep 16, 2017

Commits on Sep 17, 2017

Commits on Sep 19, 2017

Commits on Sep 22, 2017

Commits on Sep 25, 2017

Commits on Sep 27, 2017

Merge pull request rust-lang#351 from RalfJung/exchange_malloc
oli-obk
authored

Commits on Dec 11, 2017

Merge remote-tracking branch 'origin/master' into miri
oli-obk
committed

Commits on Dec 12, 2017

Commits on Dec 14, 2017