Merge pull request #67 from oli-obk/master

fix multi field enum variants and some intrinsics + rustup

rustup

bump compiletest

fix enum variants with multiple fields

remove some debug output

factor out shared code

fix intrinsics and implement more of them

Merge pull request #65 from oli-obk/master

small fixes

Reword inline assembly error.

allow tuple field indexing into anonymous tuples

don't panic on asm!

implement slice patterns

fix run-pass test error message parsing

run compile-fail tests after run-pass tests

it's annoying when debugging miri to have compile-fail tests fail due to some temporary
assertions or panics.

Merge pull request #64 from oli-obk/bugfixes

Bugfixes

we can get the Session from the TyCtxt

implement Arc<T> -> Arc<Trait> unsizing

don't abort on the first failed test

be able to find statics in other crates

print stacktrace when miri can't find the MIR for something

rustup

fix matching on chars

fixes #63

Merge pull request #60 from oli-obk/dst

some more cleanups getting rid of intermediate allocations and bad fat ptr assumptions

fix warnings

remove FIXME cleared up in the PR

typecheck `write_value` for `ByValPair`

reintroduce Lvalue and LvalueExtra

actually error on failing miri-pass tests

+ remove a test that never succeeded

refactor `Lvalue` and `PrimVal::{SlicePtr, VtablePtr}` into `Value::ByValPair`

remove `move_value`, which is a dupe of `write_value`

check `Pointer::to_int` for non-integer pointers

Merge remote-tracking branch 'origin/master' into dst

Merge pull request #59 from oli-obk/master

enable A<Struct> -> A<Trait> downcasting where `A<Trait>` is a fat pointer

refactor away `get_fat_ptr`

clean up get_fat_ptr usage in Unsize

implement "type_name" intrinsic

refactor away intermediate allocations, stage1

refactor away IntegerPtr

remove the ZST allocation and abort all zero byte writes/reads

make Memory::dump use `trace!` instead of `println!`

fully implement `size_of_val` and add various tests that now succeed

Merge branch 'master' of https://github.com/tsion/miri

Rename AbstractPtr to Ptr.

Update for changes in rustc.

Remove more eval_operand_to_ptr.

enable A<Struct> -> A<Trait> downcasting

Merge pull request #58 from oli-obk/master

only split the Fn* arguments in case of closures and function pointers

only split the Fn* arguments in case of closures and function pointers

Merge pull request #57 from oli-obk/master

fix enum down casting and backtrace panics

remove leftover debug print

fix calling Fn closures as FnOnce closures

implement more intrinsics

export `StackPopCleanup` (needed by priroda)

fix enum variant downcasting

prep for eddyb's find_method

fix miri backtrace panic

Remove a few instances of eval_operand_to_ptr.

Simplify read_primval of {i,u}size.

Fix comment typo.

Add inital implementation of ByValPair.

There are still hacks left to clean up.

Print "(immutable)" when dumping allocations.

Freeze static memory of string constants.

There will never be a PrimVal for fat pointers.

Instead, there will be a `Value::ByValPair` variant for holding fat pointers
(among other things) modelled after `OperandValue::Pair` in rustc's trans.

Rename Value variants and simplify ByteStr consts.

The ByteStr change will make one less allocation for every byte string literal.

Replace const_to_ptr with const_to_value.

This reduces the number of allocations Miri makes drastically. The
`const_to_ptr` function was a lame hack that allocated for every since simple
constant, and all of those are avoided now, except for one extra allocation each
for string and bytestring literals which will be fixed in a followup commit.

There are a number of hacks such as `eval_operand_to_ptr` left over from this
commit, which will also be fixed in followup commits.

option_eq test passes now since casts are implemented.

Remove unused extern crate rustc_trans.

Merge pull request #56 from oli-obk/rustc_run_pass

various things that allow miri to crash less and execute more code

fix binding renaming in previous commit

proper binding naming

add some sanity tests

hackily fix calling function pointers through a Fn static dispatch

run all tests found in folder given by MIRI_RUSTC_TEST env var

forbid warnings only in the actual run-pass tests, not in the miri-pass tests

add ctpop and ctlz intrinsic

ppaux::parameterized $sometimes panics, let's catch that.

Fix allocation of fn items by allowing ZST alignment to be 0.

Undo accidental test deletion in previous commit.

Fix tests broken by std::vec::SetLenOnDrop.

Merge pull request #54 from oli-obk/clippy

Clippy and `assume` intrinsic implementation

error on failed assumptions

needless clones

needless references

Merge pull request #53 from oli-obk/dont_touch_my_precious_constants

Detect modifications of immutable memory

Fix comment wording.

prevent the modification of vtables

only allow the modification of `static mut` or statics with interior mutability

document the fields of `Allocation`

don't load memory as mutable if not necessary

Update for changes in rustc.

Merge pull request #52 from oli-obk/vtable

Vtable

use canonical formatting of `pub (super)`

closures don't work yet

implement calling methods through trait objects

Merge pull request #50 from oli-obk/casts

implement more casts

don't use `type_is_immediate` for finding fat ptr casts

use cheap assertions instead of expensive debug assertions

implement more casts

Merge pull request #48 from oli-obk/fix_call_stack_positions

change the block and stmt position after a function call returns

change the block and stmt position after a function call returns

previously we moved to the target block *before* calling a function, so when inspecting
the stack, it appeared as if we were in the first statement of the next block.