Merge branch 'master' into oli-obk-patch-2

Merge pull request #294 from oli-obk/cargo_miri

Make cargo_miri a feature

Update build.rs

Make cargo_miri a feature

1. Speeds up the common compilation path (no serde in the dependency tree)
2. Stage 1 rustc is enough (no serde -> no custom derive)

Merge pull request #292 from oli-obk/static_alloc_ids

Prepare for splitting off static alloc ids from local alloc ids

Rename `destructure` method to `into_alloc_id_kind`

rename `memory::Kind` to `memory::MemoryKind`

c_int != usize

Dump all allocs when dumping locals

clarify which function is pushing a global

Remove unused function

Implement packed statics

Always allocate for globals

statics are rare and constants are copied anyway.
Reading from a constant should then yield a `ByVal` again if possible.

Split the alloc id address space into functions and normal allocs

instead of interleaving them as before.
The next step is to also separate out static memory into its own
address space.

Merge pull request #291 from RalfJung/cross-platform

make xargo/build.sh more cross-platform

make xargo/build.sh more cross-platform

Merge pull request #288 from RalfJung/mir-validate

Re-do memory locking

Re-do memory locking (again).  Now with proper support for multiple independent shared borrows of the same mutable reference.

Merge pull request #289 from RalfJung/rusutp

Update for Rust nightly

Rustup

Merge pull request #283 from RalfJung/backtrace

Backtrace performance

Merge pull request #286 from RalfJung/mir-validate

Update MIR validation and test it

consolidate making Undef release a NOP in one place

only collect backtrace when RUST_BACKTRACE is set; resolve symbols lazily when printing

Merge pull request #284 from oli-obk/no_more_llvm_madness

Rust reorders fields, but miri uses the order from the source files

Rustc reorders fields, but miri expects them in source order

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

for now, disable validation on optimized tests -- inlining breaks validation

Let -Zmir-emit-validate also control whether miri even acts on the validation commands

make test suite MIR validation aware. run-pass passes with and without fullmir, if optimizations are disabled!

Release of an Undef local is fine, and a NOP

make execution with full MIR work: need to whitelist Arc drop impl and whatever it calls

with the new 'limited validation when there is unsafe', we can significantly shrink our whitelist

with Validation MIR around drop being fixed, we can remove the hack working around this

Revert "disable validation code so that it all compiles against current nightly"

This reverts commit 791dbaf58402ef87c16485be8d8ee37b5aa1dda3.

Merge pull request #280 from solson/archeology

Produce backtraces for miri internals

actually, we can use a plain constant

no need to do run-time formatting

Merge pull request #281 from RalfJung/unsized

fix size_of_val on unsized tuples

Add a build script to inform the binary about its profile, and use that in the test suite

fix comment

Reuse the `Backtrace` object instead of rolling our own

Remove accidental text paste

fix size_of_val on unsized tuples

step.rs: improve comment for clarity

Choose release miri for release tests

Speed up travis by using release mode

before we built in debug mode for testing,
but then installed miri, which builds in release mode.

So we built in release mode anyway but tested slowly in debug mode

Produce backtraces for miri internals

Merge pull request #278 from solson/unions

Process untagged unions

Add a test for untagged unions

Merge pull request #268 from oli-obk/upstream

Split up miri into the librustc_mir and bin parts

Build the rustc_tests binary on travis

Process untagged unions

Add a better error message than `syscall 318 not found`

Fix running the rustc test suite

Address comments

Properly process ptr_op for const eval

Remove redundant `members` field

Remove leftover unused file

Move tls code to its own file

Allow machines to create new memory kinds

Update Cargo.toml

Adjust travis to the directory changes

Move all intrinsics out of `interpret` and fail CTFE on intrinsic calls

Update env_logger in order to share more dependencies

Move a method used everywhere out of `intrinsic.rs`

Fix doc text

Reduce the chance of accidentally calling functions in CTFE

previously miri had a check for const fn and other cases that
CTFE requires. Instead the function call is completely
processed inside the machine. This allows CTFE to have full
control over what is called and miri to not have useless
CTFE-checks in normal mode.

Move the `global_item` function to the `EvalContext`

Rename `const_eval::Evaluator` to `CompileTimeFunctionEvaluator`

Move more non-CTFE operations to the Machine

Split "new" miri crate into modules

Implement the first machine function

Split up miri into the librustc_mir and bin parts

Merge pull request #277 from RalfJung/nightly

fix for latest nightly

fix for latest nightly

Merge pull request #274 from RalfJung/packed2

make force_allocation handle packed ByValPair

remove some commented-out tracing

avoid anonymous bool

use Cell for memory's aligned flag to avoid infecting interfaces with 'fake' mutability

make force_allocation handle packed ByValPair

Merge pull request #272 from oli-obk/mir-validate

Mir validate

disable validation code so that it all compiles against current nightly

whitelist some more methods

Merge pull request #273 from RalfJung/ref

Test that &* of a dangling (and even unaligned) ptr is okay

move undef-check-on-release-validation out, to catch more cases

check mutable UnsafeCell; hack for AtomicBool::get_mut

more hacks to make test cases pass

Test that &* of a dangling (and even unaligned) ptr is okay

whitelist things so that more tests pass

suspend lvalues, not locks. refactor memory locking.

Due to this, we are back down to 88 tests

make LockInfo non-Copy

fix checks when releasing write locks (101)

we don't have to set the frame on every step

handle type of function definitions (98)

we need to normalize associated types also deep in the hierarchy (89)

Handle trait objects.  Only very superficial checking of the vtable for now. (88)

nits. also, rustc now emits released for drop. (72)

exempt UnsafeCell from checks (69)

move validation to its own file