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

Use TryFrom instead

silence a lint that catches the bug statically

Auto merge of #1039 - RalfJung:dyn-tests, r=RalfJung

More tests for dyn trait (in particular, unsized receivers)

So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.

also test Box<self> receiver

move blosure tests to closures file; test Box<dyn> a bit more

centralize and expand dyn-trait (method receiver) tests

rename call_drop_ tests to drop_

tweak and slightly extend box-box-trait test

Auto merge of #1037 - JOE1994:master, r=RalfJung

error code E0080 is no longer printed with MIRI error message

Thanks to help from @bjorn3, @RalfJung, and @oli-obk on issue #1035 , I fixed the miri code so that error code **E0080** is no longer printed out for MIRI evaluation errors. I tested my code in my Linux machine as below.

Remaining concern is whether the variable name `new_tcx` which I used is misleading or not.

Fixes https://github.com/rust-lang/miri/issues/1035

follow-up to review

Auto merge of #1031 - RalfJung:ptr-offset, r=RalfJung

Refactor ptr_offset_inbounds

I finally found a way to write this using basically just `check_ptr_access` while handling all cases (integers and pointers, offset 0 or not) correctly. This changes behavior for NULL ptrs, but I think the change is for the better.

Depends on https://github.com/rust-lang/rust/pull/66081.

ptr_offset: handle negative offsets

rustup

fix error message details

fix test erorr msg

refactor ptr_offset_inbounds: it can be reduced to check_ptr_access, after all!

test that 0 cannot be offset-inbounds by 0

error code E0080 is no longer printed with MIRI error message

Avoid using `as` cast

Auto merge of #1032 - RalfJung:offset-from, r=RalfJung

test offset_from

This currently fails and needs a rustc fix: https://github.com/rust-lang/rust/pull/66083

rustup

test offset_from

Auto merge of #1036 - RalfJung:stacked-borrows-test, r=RalfJung

add an interesting run-pass stacked borrows example