Use the machine stop error instead of abusing other error kinds

Remove a flaky test

Document the new flag

Rename track-id to track-pointer-tag

Detect all variants of stack removals

Vocabulary fix

Add a scheme to find the place where an id was destroyed

Auto merge of #1109 - RalfJung:track-caller, r=RalfJung

add caller_location tests to Miri

The CTFE implementation seems to also work fine in Miri -- thanks a lot @anp :)

add caller_location tests to Miri

Auto merge of #1108 - RalfJung:rustup, r=RalfJung

rustup

rustup

Auto merge of #1107 - RalfJung:rustup, r=RalfJung

bump Rust, fix error messages

bump Rust, fix error messages

Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung

add flag to ignore memory leaks

fix all-targets build

Auto merge of #1105 - RalfJung:readme, r=oli-obk

better way to ignore tests in Miri

This is better because it avoids warnings due to unused imports (the ignored tests still get compiled, just not executed).

add flag to ignore memory leaks

use recommended test exclusion technique in test

better way to ignore tests in Miri

Auto merge of #1104 - RalfJung:readme, r=oli-obk

update README

r? @oli-obk

wording

README: Miri now supports panics and FS access

Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung

avoid recompiling Miri on install

avoid recompiling Miri on install

Auto merge of #1102 - RalfJung:rsutup, r=RalfJung

rustup for find_fn rename

rustup for find_fn rename

Auto merge of #1100 - RalfJung:os_str, r=RalfJung

rename helper methods a bit

rename helper methods a bit

Auto merge of #1099 - RalfJung:os_str, r=RalfJung

tweak and use OsStr interfaces

avoid allocation in read_os_string_from_c_string

use write_os_str_to_c_string for unix arg passing

Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung

use throw_machine_stop macro

Blocked on https://github.com/rust-lang/rust/pull/66951

rustup

use throw_machine_stop macro

Auto merge of #1097 - RalfJung:rustup, r=RalfJung

bump Rust for exact_div fix

bump Rust for exact_div fix

Auto merge of #1096 - RalfJung:rustup, r=RalfJung

Rustup

bump Rust to latest HEAD

bump Rust to HEAD

Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung

Rustup for `BodyCache` changes

Rustup for `BodyCache` changes

Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung

proper support for `Assert` MIR terminators

Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874

ignore another panicking test on Windows

rustup

panic errors are actually still possible

fix init_allocation_extra

some error classes should be impossible

also test built-in panics via should_panic

adjust for init_allocation_extra

fix and expand panic tests

better span for functions whose frame we push 'manually'

test built-in panic catching

implement proper panicking for other MIR assertions

Requires generalizing the call_function helper to arbitrary Immediate arguments

implement proper panicking for failed index check

Auto merge of #1079 - RalfJung:coercion-error, r=RalfJung

Test diverging closure coercion

Adds a test for https://github.com/rust-lang/miri/issues/1075. Depends on https://github.com/rust-lang/rust/pull/66827.

rustup

test diverging closure fn ptr coercion

expand coerce fn test

Auto merge of #1092 - RalfJung:rustup, r=RalfJung

Rustup

also indicate abort via new MachineStop variant

improve style in catch_panic test

use new MachineStop error variant

Auto merge of #1087 - RalfJung:toolchain, r=oli-obk

add toolchain mgmt script

I've been using a variant of this script for some time now, and figured others might find it useful as well.

don't assume a nightly toolchain is installed

Auto merge of #1091 - RalfJung:run-test, r=RalfJung

run-test: make sure the sysroot building output does not distort our tests

run-test: make sure the sysroot building output does not distort our tests

Auto merge of #1082 - RalfJung:panic, r=RalfJung

test more panics

Add some tests for https://github.com/rust-lang/miri/issues/1071.

Blocked on https://github.com/rust-lang/rust/pull/66844.

fix catch_panic.stderr

test more panics

Auto merge of #1088 - RalfJung:globalctxt, r=RalfJung

fix for GlobalCtxt changes

Blocked on https://github.com/rust-lang/rust/pull/66896

rustup

test for rustup-toolchain-install-master

toolchain -> rustup-toolchain

fix for GlobalCtxt changes

Auto merge of #1089 - RalfJung:should-panic, r=RalfJung

test should_panic checking the panic string

test should_panic checking the panic string

add toolchain mgmt script

Auto merge of #1085 - RalfJung:panic-runtime, r=RalfJung

avoid injected_panic_runtime which is going away

Thanks @petrochenkov for suggesting this!

avoid injected_panic_runtime which is going away

Auto merge of #1083 - RalfJung:fn-call-helper, r=oli-obk

Add and use helper function for calling a machine function and passing it some arguments

fix comment

Add and use helper function for calling a machine function and passing it some arguments

Auto merge of #1077 - RalfJung:unwind_to_block, r=RalfJung

adjust for goto_block refactoring

The Miri side of https://github.com/rust-lang/rust/pull/66646

only run leak test on clean platforms

bump Rust version

adjust for goto_block refactoring

Auto merge of #1078 - RalfJung:uprust, r=RalfJung

cargo update

cargo update

Auto merge of #1076 - RalfJung:coercion-test, r=RalfJung

test closure-to-fn-ptr coercions a bit more

Also add some commented-out failing tests, Cc https://github.com/rust-lang/rust/issues/66738 https://github.com/rust-lang/miri/issues/1075

and another reference

rename some more tests

rename test and add some references

test closure-to-fn-ptr coercions a bit more

Auto merge of #1072 - RalfJung:locally-built-rustc, r=oli-obk

cargo-miri: support locally built rustc

This also removes an odd hack from our `./miri` script.

Auto merge of #1073 - RalfJung:catch_panic, r=RalfJung

beef up catch_panic test

Do not silence panic msg printing (so we subsume the tests checking those), and check a few different ways of raising a panic.

also test non-string panic payload

beef up catch_panic test

miri script does not need to handle locally built rustc any more

cargo-miri: also find Rust sources when being run in a locally built, linked toolchain

Auto merge of #1069 - RalfJung:typo, r=RalfJung

typo

typo