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`.

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.

Auto merge of #1056 - RalfJung:max, r=RalfJung

use new isize_max method in FS accesses

also check full buffers for validity

use new isize_max method in FS accesses; also check full buffers for validity

Auto merge of #1055 - RalfJung:panic-stub, r=RalfJung

minimal rustup for panic changes

Main patch by @Aaron1011

remove some leftovers from the miri-control-attribute days

rustup again

try the stable feature of compiletest

bump Rust

Auto merge of #1054 - RalfJung:win-num-cpus, r=RalfJung

test-cargo-miri: cargo update, re-enable windows num_cpus test

test-cargo-miri: cargo update, re-enable windows num_cpus test

Auto merge of #1053 - RalfJung:clean, r=RalfJung

remove no-longer-needed zero checks

remove no-longer-needed zero checks

Auto merge of #1052 - RalfJung:icefix, r=RalfJung

fix ICE due to dangling pointers in Stacked Borrows

Fixes https://github.com/rust-lang/miri/issues/1050. Thanks to @CAD97 for the report!

do full deref-check before reborrowing

rename miri-issue to issue-miri for grouping

Auto merge of #1022 - christianpoveda:fix-fd-access, r=RalfJung

Fix unchecked memory access for files

This PR takes care of two problems:

- It uses `Memory::(read|write)_bytes` to guarantee that memory accesses are checked (Fixes: https://github.com/rust-lang/miri/issues/1007)
- It removes the `(get|remove)_handle_and` methods which were a little bit cumbersome to use. In particular `remove_handle_and`, because we were using it to avoid borrowing issues before the `Evaluator::memory` field was public.

@RalfJung @oli-obk

Fix maximum `isize` value for target

Cap `count` twice

Auto merge of #1049 - silathdiir:copysignf32-and-copysignf64, r=RalfJung

Implment intrinsics::copysignf32 and intrinsics::copysignf64

Tries to implment `intrinsics::copysignf32` and `intrinsics::copysignf64` for fixing Issue #1046 .

Implments `intrinsics::copysignf32` and `intrinsics::copysignf64`.

Rustup for panic changes

This gets Miri working again, but doesn't actually implement unwinding

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

rustup

rustup

Cap `count`

Fix merge conflicts

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

rustup

rustup

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

rustup

Auto merge of #1043 - RalfJung:cache, r=RalfJung

Cache rustup-toolchain-install-master again

We temporarily disabled the cache just to get it updated.

bump minimal xargo version so that it honors the lockfile

rust-docs should be gone from all caches now

Revert "temporarily ignore cached rustup-toolchain-install-master"

This reverts commit 4872c5cbbe9a4f59c71a9ffde4d5e521c08e8ea0.

fix into_iter usage

let's see if newer rustc helps

disable num_cpus on Windows for now