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

Auto merge of #1067 - Aaron1011:feature/inverse-trig, r=RalfJung

Add acos, asin, and atan foreign functions

I copied the tests from the docs pages

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

rustup for never stabilization

rustup for never stabilization

Add acos, asin, and atan foreign functions

I copied the tests from the docs pages

Auto merge of #1065 - Aaron1011:fix/start-return, r=RalfJung

Propagate the return code from the `start` lang item

Fixes #1064

This ensures that we set the error code properly when a panic unwinds
past `main`.

I'm not sure what the best way to write a test for this is

Fix nits

Co-Authored-By: Ralf Jung <post@ralfj.de>

Auto merge of #1066 - RalfJung:slice-match, r=RalfJung

slice matching overflow got fixed

slice matching overflow got fixed

Improve return code propagation.

Don't explicitly exit if we reported an evaluation error

Propagate the return code from the `start` lang item

Fixes #1064

This ensures that we set the error code properly when a panic unwinds
past `main`.

I'm not sure what the best way to write a test for this is

Auto merge of #1063 - RalfJung:panic-abort, r=RalfJung

rename panic=abort tests to panic_abort

rename panic=abort tests to panic_abort

Auto merge of #693 - Aaron1011:feature/panic_unwind_final, r=oli-obk

Support unwinding after a panic

Fixes #658

This commit adds support for unwinding after a panic. It requires a
companion rustc PR to be merged, in order for the necessary hooks to
work properly.

Currently implemented:
* Selecting between unwind/abort mode based on the rustc Session
* Properly popping off stack frames, unwinding back the caller
* Running 'unwind' blocks in Mir terminators

Not yet implemented:
* 'Abort' terminators

This PR was getting fairly large, so I decided to open it for review without
implementing 'Abort' terminator support. This could either be added on
to this PR, or merged separately.

I've a test to exercise several different aspects of unwind panicking. Ideally, we would run Miri against the libstd panic tests, but I haven't yet figured out how to do that.

This depends on https://github.com/rust-lang/rust/pull/60026

Disable #[should_panic] test on Windows

We should re-enable this once
https://github.com/rust-lang/miri/issues/1059 is fixed

Update panic runtime comment

Re-add comment

Auto merge of #1062 - RalfJung:readme, r=RalfJung

generalize readme

We didn't mean any specific date, that was just an example.

generalize readme

Delegate to the actual panic runtime crate

comments and slight refactoring

Auto merge of #1060 - RalfJung:compiletest, r=RalfJung

bump compiletest; remove unused feature

bump compiletest; remove unused feature

Disable panic tests on Windows

Miri currently does not support `GetProcAddress`
and `GetModuleHandleW`, both of which end up getting invoked by the
libstd panic hook.

Update captured test output

Add #[should_panic] test

Ignore '-C panic=abort' tests for now

We are currently building `libpanic_abort` with the wrong panic
strategy, due to Xargo missing a hack used by `bootstrap`.