Merge branch 'wip'

Merge pull request #24 from oli-obk/typesafe_fn_calls

Typesafe fn calls

Merge pull request #23 from oli-obk/miri_run_no_more

don't use `#[miri_run]` anymore, but execute the `main` function

use the logging framework instead of println!

pass arguments to `start`

Rename next_block to block and reorganize Frame fields.

Get the sysroot (like compiletest) in Miri itself.

sysroot_flag is now used for more flags

run `start` and `main` language item if provided

forbid calling functions through pointers of a different type

Merge pull request #21 from oli-obk/function_pointers2

Function pointers

don't use `#[miri_run]` anymore, but execute the `main` function

comment nit

add tests for fn pointers

report better errors when using a fn ptr as memory and vice versa

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

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

Merge pull request #1 from solson/fixup-function_pointers2

Fixup function_pointers2

Simplify compiletest.

Get the sysroot in a better way (stolen from clippy).

Disable a test that breaks on 32-bit.

Add a casting hack to make more tests pass.

Simplify the common case of type_size and type_layout.

Handle Misc casts slightly more sanely.

Still insanely, though.

Implement reallocating to a smaller size.

Fix bug in relocation ranges.

Unset RUST_NEW_ERROR_FORMAT in compiletest.

Merge remote-tracking branch 'oli/function_pointers2' into fixup-function_pointers2

Add hacky stub version of CheckedBinaryOp.

Remove inception test for now.

Fix infinite loop when debug trace is disabled.

Update for changes in rustc nightly.

function pointers

display the full path to the function if no MIR is found

we already have the constant's type, no need to recompute from the def_id

Merge pull request #20 from oli-obk/error_reporting

various fixes and refactorings

adjust lifetimes and bindings to the GlobalEvalContext -> EvalContext rename

style nit

remove unused method

rename GlobalEvalContext to EvalContext

expose a minimal API and use it in the binary

simplify the stepper interface

Merge pull request #18 from oli-obk/hold_the_state

Hold the state

get rid of the constants cache in the stepper

this is possible due to the removal of `FnEvalContext`

the `type_size` method's `substs` argument allows computing the locals before pushing the stack frame

inline the `call` method into `interpret_start_points`

print errors in one central location

No more terminators

merge FnEvalContext into GlobalEvalContext

rename `static_item` to `global_item`

make sure globals that yield function pointers aren't treated like functions

we already have the constant's type, no need to recompute from the def_id

refactor away the closures and `Event` enum

the statement/terminator has already been computed, don't do it again

improve the docs of ConstantId

improve fn argument naming

put `ConstantId`'s common fields into a struct

no more function pointers

directly push stackframes for constants when they are encountered

rebase leftovers

don't cache the MIR in the Stepper

clippy nits

move load_mir to the global eval context

move some methods from FnEvalContext to GlobalEvalContext

globally cache statics and promoteds

stop producing executable files in the root folder during benchmarks...

move constants stack to stackframe

update documentation

factor out the statement index into the stackframe

store the current block in the frame

jit interpretation of constants

merge the three stacks in the interpreter

remove a debug message that snuck into the commit

add a const fn test

also step through promoteds, constants and statics

note that not all literal items are function pointers

rename `iterator` module to `stepper`

style: spaces between functions

stepwise interpretation

don't clone the MIR Rc in every iteration

remove one layer of indirection when interpreting const/static/main functions

can't evaluate failed assertions yet

Merge pull request #16 from oli-obk/logs

use the `log` crate + `env_logger`

remove intermediate vars

use format! compile time magics for indentation

wraparound when reaching indentation lvl 40

use a number for the maximum indentation instead of relying on str::len()

use MIRI_LOG instead of RUST_LOG, because rustc's output is very verbose

Merge pull request #15 from oli-obk/step_by_step

4 byte pointers + tests

re-introduce the module name to the logs and show vertical bars

fallout because compiletest tried to use rustc's log crate

add the `log` crate + `env_logger` to be able to choose the log granularity at runtime

add dependencies and run cargo update

add a note to Memory::new mentioning tcx.data_layout

improve out of bounds error message

4byte pointers

replace `panic!`s with `Result`

don't generate test suites

Merge pull request #13 from oli-obk/master

benchmarks

add more benchmarks