update README

Auto merge of #1177 - RalfJung:debug-assert, r=RalfJung

Make sure we evaluate debug assertions in local crate and libstd

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

fix compile-fail tests to avoid libstd debug assertions

make sure we also trigger debug assertions in libstd

make sure assertions and debug-assertions also panic (and can be caught)

Auto merge of #1158 - divergentdave:shim-rename, r=RalfJung

Add shim for rename

This adds a straightforward shim for rename, which is used by `std::fs::rename`. Testing is included.

As a heads up, I expect one or two merge conflicts between my PRs, since some of them touch the same `use` statements, or add items near the same places. I'll rebase and fix them as they come up.

Removing file after rename must succeed

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

Auto merge of #1174 - RalfJung:rusutp, r=RalfJung

Rustup

rustup

fix for Panic InterpError refactoring

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

Rustup

and also a test for https://github.com/rust-lang/rust/issues/68303

add test for layout optimizations

rustup

Test that src path of rename is no longer a file

Add shim for rename

Auto merge of #1159 - divergentdave:shim-seek, r=RalfJung

Add shim for seeking files

This adds a shim for `lseek64` (`lseek` on macOS). This enables the use of `<File as Seek>::seek`. Testing is included.

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

rustup; fix generator test

panics dont work on Windows, just the smoke test should be enough

test more generator resume things

rustup; fix generator test

Add tests to cover SEEK_CUR and SEEK_END

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

Rustup

also test div-by-minus-1

bump rustc; adjust tests

Auto merge of #1165 - JohnTitor:uprust, r=RalfJung

Bump rustc

The latest toolstate failure is already fixed (3d8bf92a11f348d8dd2183873ca60e2e4859e5b9), we should only bump rustc and update submodule, I think.
cc: rust-lang/rust#68757

r? @RalfJung

Bump rustc

Auto merge of #1164 - RalfJung:cargo-install, r=RalfJung

rely on improved cargo install

`cargo install` will now update old versions, and not fail if things are up-to-date.

rely on improved cargo install

Auto merge of #1163 - RalfJung:raw-cast, r=RalfJung

Test raw-ptr-cast without reborrow

With https://github.com/rust-lang/rust/pull/64588 landed, we can finally test these things adequately. :)

Auto merge of #1151 - divergentdave:statx-AT_EMPTY_PATH, r=RalfJung

Add support for AT_EMPTY_PATH to statx shim

This enables use of `File::metadata()`.

pass MPlaceTy by-value, as we usually do

update another comment

remove inadequate comment

new compile-fail test involving non-reborrowing-cast-to-raw

add test that relies on non-reborrowing-cast-to-raw

Error with EINVAL on unsupported `whence` argument

Auto merge of #1154 - TimDiekmann:rename-alloc, r=RalfJung

Rename `Alloc` to `AllocRef`

Required to land https://github.com/rust-lang/rust/pull/68529. Please see that PR for details. The CI is expected to fail until the PR is landed.

Auto merge of #1155 - divergentdave:shim-posix_fadivse, r=RalfJung

Add no-op shim for posix_fadvise

This function is present in the libc crate, but not exposed through the standard library anywhere, so I haven't included a test for it.

Update comment

Bump rust version

Rename `Alloc` to `AllocRef`

Required to land https://github.com/rust-lang/rust/pull/68529. Please see that PR for details. The CI is expected to fail until the PR is landed.

Conditional compilation fix

Disable posix_fadvise test on macOS, not in libc

Change function name, comments, and error message

Try fixing test on i686-unknown-linux-gnu

Move posix_fadvise test to new libc test file

Auto merge of #1162 - RalfJung:track-fn-ptr, r=RalfJung

test track_caller with fn ptrs

Looks like we already use `ReifyShim` the right way, let's just make sure we test that!

test track_caller with fn ptrs

Auto merge of #1148 - yoshuawuyts:patch-1, r=RalfJung

Document miri can only be installed on nightly

This updates the installation instructions to point out that miri is only available on nightly, and encodes this assumption into the installation instructions.

It took me a bit of research to find out *why* miri wasn't installing on `windows-msvc`:
```txt
C:\Users\yoshu> rustup component add miri
error: component 'miri' for target 'x86_64-pc-windows-msvc' is unavailable for download for channel stable
```

I thought it must 've been something with the `msvc` target, but it turned out I was running on `stable`, and miri can only be installed on `nightly`. Having that be clearer in the installation instructions would've saved me some time debugging. Thanks!

Add test for posix_fadvise

Apply shim to lseek too (for macOS)

Add no-op shim for posix_fadvise

Add shim for lseek64

Add fstat shim for OSX

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

bump rustc

bump rustc

Add support for AT_EMPTY_PATH to statx shim

Auto merge of #1150 - divergentdave:patch-1, r=RalfJung

Shim intrinsics::atomic_singlethreadfence, etc.

This applies the no-op shim for atomic fences to `atomic_singlethreadfence` and related intrinsics.

Add compiler fences to test

Shim intrinsics::atomic_singlethreadfence, etc.

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

slice_patterns is stable now

slice_patterns is stable now

Document miri can only be installed on nightly

This updates the installation instructions to point out that miri is only available on nightly, and encodes this assumption into the installation instructions.

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

Rustup

rustup more

rustup

Auto merge of #1145 - jethrogb:patch-1, r=oli-obk

Update .gitattributes

See https://github.com/rust-lang/rust/pull/57858

Update .gitattributes

See https://github.com/rust-lang/rust/pull/57858

Auto merge of #1143 - christianpoveda:symlink-shim, r=RalfJung

Add shim for symbolic link creation

r? @RalfJung

fix windows symlink creation

small corrections

Auto merge of #1127 - rust-lang:stacked_borrow_tracing, r=RalfJung

Add a scheme for emitting errors without halting interpretation

cc #797

Document all the things

Remove trailing newline

Auto merge of #1144 - RalfJung:panic-location, r=RalfJung

test that unwrap gets us the right panic location

Make sure this stuff works in Miri as well -- basically, an integration test for `track_caller` and the panic machinery (we already have more focused tests as well).

Unwind panicking does not currently work on Windows

also make sure the hook actually gets called

test that unwrap gets us the right panic location

Use names that actually represent what's going on

Make the non-halting diagnostic scheme independent of `InterpError`

Remove debugging hint until we can actuall use `note:`

Process delayed errors on every step

Tell the user about stacked borrow debugging flags

Emit errors without halting interpretation

Add a scheme for registering and obtaining errors even without access to an `InterpCx`

Move error reporting to its own module

Trailing return

Split error reporting from main eval function

Auto merge of #1140 - RalfJung:no-macos, r=oli-obk

no longer test 32bit macOS

According to https://blog.rust-lang.org/2020/01/03/reducing-support-for-32-bit-apple-targets.html, these are tier 3 targets now, and might not be available on nightly much longer. So let's stop testing them.

Add lstat shim for macos

Clean paths for robustness

Auto merge of #1142 - JohnTitor:rustup-0107, r=RalfJung

Rustup

r? @RalfJung

Add shim for symbolic link creation

Rustup

Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung

remove no-longer-needed allow(const_err)

remove no-longer-needed allow(const_err)

fix testing if a variable exists

no longer test 32bit macOS

Auto merge of #1137 - anp:track-caller-update, r=RalfJung

Update panic machinery to match #[track_caller] changes.

This gets miri's tests passing again with https://github.com/rust-lang/rust/pull/67137, I don't think it will pass CI until that has merged.

More rustup