Auto merge of #1883 - smoelius:master, r=RalfJung

Update compiletest_rs dependency

Hello. I am trying to [update some Clippy dependencies](https://github.com/rust-lang/rust/pull/88517) in the rust repo. To help keep the overall number of dependencies down, I was asked to submit a PR here to update `compiletest_rs` to from `0.6.0` to  `0.7.0`. I ran CI on my fork and the update didn't seem to cause any problems.

Update compiletest_rs dependency

Auto merge of #1879 - oli-obk:gitpod, r=RalfJung

Try out gitpod

At https://gitpod.io/#https://github.com/rust-lang/miri one can edit miri in the browser and run it and everything.

I'm experimenting with this here as a low-impact version of trying it out on the whole rustc repo. This .gitpod file should cause the user to land in a shell that can run ./miri test immediately without any additional prep

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

rustup

rustup

Auto merge of #1880 - hyd-dev:rustup, r=oli-obk

Move `#[allow(unreachable_code)]` in `tests/run-pass/generator.rs`

The warning now appears on `yield 2;` instead of `drop(x)`: https://github.com/rust-lang/miri/runs/3429959882?check_suite_focus=true#step:8:265

`yield 2;` seems indeed unreachable so I adjusted the `#[allow]`.

Move `#[allow(unreachable_code)]` in `tests/run-pass/generator.rs`

Try out gitpod

Auto merge of #1877 - hyd-dev:rustup, r=RalfJung

Add `#[allow(unreachable_code)]` to `drop(x)` in `tests/run-pass/generator.rs`

The test [starts to trigger this warning](https://github.com/rust-lang/miri/runs/3408355084?check_suite_focus=true#step:8:264) (I guess it's caused by rust-lang/rust#85556). The warning seems correct, but the unreachable code in that test also seems reasonable.

Add `#[allow(unreachable_code)]` to `drop(x)` in `tests/run-pass/generator.rs`

Auto merge of #1875 - niluxv:volatile_set_memory_intrinsic, r=RalfJung

Add support for the `volatile_set_memory` intrinsic

Add support for the unstable `volatile_set_memory` intrinsic

(Runtime behaviour and soundness requirements for `volatile_set_memory` are identical to those of `write_bytes`, so supporting this intrinsic is trivial.)

Add test for `volatile_set_memory`

Auto merge of #1874 - steffahn:a_an, r=RalfJung

Fix typos “a”→“an”

See rust-lang/rust#88230

Fix a typo “an”→“a”

Add support for the `volatile_set_memory` intrinsic

Runtime behaviour and soundness requirements are identical to `write_bytes`.

Fix typos “a”→“an”

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

rustup

llvm_asm → asm

rustup

Auto merge of #1871 - hyd-dev:no-mangle-method, r=RalfJung

Update tests for `#[no_mangle]` on associated functions

https://github.com/rust-lang/rust/pull/86492 has landed:
- The code in https://github.com/rust-lang/miri/issues/1837 starts to work (even without `AssocFn::foo();` at line 12) in Miri.
- `pub` is not necessary for `#[no_mangle]` associated functions in `test-cargo-miri/exported-symbol-dep/src/lib.rs` anymore.

Closes https://github.com/rust-lang/miri/issues/1837.

Update tests for `#[no_mangle]` associated functions

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

rustup

Cc https://github.com/rust-lang/rust/issues/88016

rustup

Auto merge of #1868 - hyd-dev:rustup, r=RalfJung

Fix tests for `C-unwind` ABI changes

cc https://github.com/rust-lang/rust/issues/87778

Auto merge of #1865 - rust-lang:test-cargo-miri, r=RalfJung

improve test-cargo-miri output

Fix tests for `C-unwind` ABI changes

improve test-cargo-miri output

Auto merge of #1864 - hyd-dev:rustup, r=RalfJung

Update cargo-miri test

The doctest output was [changed](https://github.com/rust-lang/miri/runs/3238758260?check_suite_focus=true#step:8:1263) (probably by https://github.com/rust-lang/cargo/pull/9730). Update `test-cargo-miri/test.default.stdout.ref` to match the new output.

Update cargo-miri test

Auto merge of #1854 - RalfJung:partial-ptr-overwrite, r=RalfJung

adjust for ERR_ON_PARTIAL_PTR_OVERWRITE

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

rustup

docify some comments

adjust for ERR_ON_PARTIAL_PTR_OVERWRITE

Auto merge of #1863 - hyd-dev:parallel-compiler, r=RalfJung

Use `Lrc` instead of `Rc` in `MiriCompilerCalls::config()`

The `used_crate_source` query defines its return type as [`Lrc<CrateSource>`](https://github.com/rust-lang/rust/blob/1195bea5a7b73e079fa14b37ac7e375fc77d368a/compiler/rustc_middle/src/query/mod.rs#L1418), which would be `Arc` when `parallel-compiler = true`.

I assume this fixes rust-lang/rust#87623. I didn't test that locally -- I'm not interested in `parallel-compiler = true` enough to be willing to recompile rustc with that configuration to test it, but I'm submitting this in case it might be useful for `parallel-compiler = true` users.

Use `Lrc` instead of `Rc` in `MiriCompilerCalls::config()`

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

rustup

Cc https://github.com/rust-lang/rust/issues/87518

rustup

Auto merge of #1858 - RalfJung:thread-leaks, r=oli-obk

also ignore 'thread leaks' with -Zmiri-ignore-leaks

This is a step towards https://github.com/rust-lang/miri/issues/1371. The remaining hard part would be supporting checking for memory leaks when there are threads still running. For now we elegantly avoid this problem by using the same flag to control both of these checks. :)

make sure we only terminate main thread once TLS is initialized

make the loop infinite

no concurrency on windows

Auto merge of #1859 - RalfJung:global-system-mixup, r=RalfJung

add test for mixing up System and Global memory

add test for mixing up System and Global memory

tell users how to disable the leak check

also ignore 'thread leaks' with -Zmiri-ignore-leaks

Auto merge of #1856 - RalfJung:no-mir, r=RalfJung

show proper error when using a sysroot without MIR

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

Auto merge of #1838 - atsmtat:fs-isolation, r=RalfJung

Fix use of deprecated `check_no_isolation` in posix fs shims

Update posix fs shims to use new API `reject_in_isolation`, which
allows rejection with error code instead of always forcing abort.
Error code chosen for each op is the most appropriate one from the
list in corresponding syscall's manual.

Updated helper APIs to not use quotes (\`) around input name while
preparing the message. This allows callers to pass multi-word string
like -- "\`read\` from stdin".

Cc https://github.com/rust-lang/miri/issues/1034

Move shim argument checks before isolation check

This allows catching extremely incorrect arguments before rejecting
due to isolation.

show proper error when using a sysroot without MIR

Update error code for fs ops in isolation

Change the code to either `EACCES` (if the op is performed on the
path), or `EBADF` (if the op is performed the fd)

Updated ops: `stat`, `opendir`, `ftruncate64`, and `readlink`

Add a new test for fs ops in isolation.

Fix use of deprecated `check_no_isolation` in posix fs ops

Update posix fs shims to use new API `reject_in_isolation`, which
allows rejection with error code instead of always forcing abort.
Error code chosen for each op is the most appropriate one from the
list in corresponding syscall's manual.

Updated helper APIs to not use quotes (`) around input name while
preparing the message. This allows callers to pass multi-word string
like -- "`read` from stdin".

Auto merge of #1853 - RalfJung:negative-offsets, r=RalfJung

better errors for negative out-of-bounds offsets

This is the Miri side of https://github.com/rust-lang/rust/pull/87224

rustup

test for negative offsets

adjust for PointerOutOfBounds change

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

rustup

This test was removed in rustc in https://github.com/rust-lang/rust/pull/87141.

We added it in https://github.com/rust-lang/miri/pull/1430, and possibly that "interesting case in unsizing" is not covered by tests now -- but I don't remember what that case is.^^ If/when `impl Trait` in bindings comes back, we should copy the new rustc tests to Miri as well.

rustup

Auto merge of #1851 - RalfJung:provenance-overhaul, r=RalfJung

adjust Miri to Pointer type overhaul

This is the Miri side of https://github.com/rust-lang/rust/pull/87123.

This was a lot more work than I expected... lucky enough it is also (hopefully) the last large-scale refactoring I will do.^^

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

rustup

add test for better ptr handling in enum niches

adjust Miri to Pointer type overhaul

Auto merge of #1850 - RalfJung:fmt, r=RalfJung

fmt: set force_multiline_blocks=true

This is an experiment, I am not yet sure if I like it... but it does prevent rustfmt from putting stuff after the `=>` in a `match` (unless the entire arm fits there), which IMO is a big plus. What do others think?
(I also tried setting `match_arm_blocks` back to its default of `true`, but that adds too many braces for my taste.)

Btw, `@calebcartwright` is the interaction of `match_arm_blocks = false` and `force_multiline_blocks = true` as can be seen here expected? I think I like it, but it it is not at all what I expected from the docs which describe `force_multiline_blocks = true` as "Force multiline closure and match arm bodies to be wrapped in a block" -- but here that is not the effect it has, there are no new blocks being added.

fmt cargo-miri

fmt: set force_multiline_blocks=true

Auto merge of #1849 - Aaron1011:rustup-track-caller, r=RalfJung

Rustup for `#[track_caller]` trait object changes

Change test to assert that we get the correct location
even through a trait object call.

Rustup for `#[track_caller]` trait object changes

Change test to assert that we get the correct location
even through a trait object call.

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

rustup

Cc https://github.com/rust-lang/rust/issues/86923

rustup

Auto merge of #1846 - RalfJung:license, r=RalfJung

sync license files with rustc repo

`@Mark-Simulacrum` pointed out that our license files are slightly different from those in rustc. This syncs them.

The question is... is this a thing we can just do?^^

Auto merge of #1847 - RalfJung:more-tags, r=RalfJung

also treat CallerLocation and Machine memory as properly tagged

Only heap allocations need an exception.

fmt

exported_symbols_cache: ensure we do not overwrite anything

also treat CallerLocation and Machine memory as properly tagged

explicitly list memory kinds for stacked borrows

sync license files with rustc repo

Auto merge of #1845 - Smittyvb:fix-after-mir-alloc-oom, r=RalfJung

Make work with latest rustc

Cc https://github.com/rust-lang/rust/issues/86863, which was caused by PR https://github.com/rust-lang/rust/pull/86255.

Make work after mir-alloc-oom

Auto merge of #1842 - hyd-dev:target-dir, r=RalfJung

Use `miri` inside the target directory used by rustc as Miri's target directory

Resolves #1311.

This PR makes Miri use `miri` inside the rustc target directory as its target directory, by letting `cargo-miri` get the rustc target directory by calling `cargo metadata`, append `miri` to it, and pass it with `--target-dir` to Cargo.

Getting the rustc target directory accurately requires calling `cargo metadata` as far as I know, because the `target-dir` can be set in config files in various places that are hard for `cargo-miri` to find.

I also considered https://doc.rust-lang.org/nightly/cargo/reference/unstable.html#custom-named-profiles, but it looks like that requires adding `cargo-features = ["named-profiles"]` to **`Cargo.toml`**, which would be tricky for `cargo-miri`:
```
$ cargo +nightly-2021-06-23 test --config 'profile.miri.inherits="release"' --profile=miri -Z named-profiles -Z unstable-options
error: config profile `miri` is not valid (defined in `--config cli option`)

Caused by:
  feature `named-profiles` is required

  consider adding `cargo-features = ["named-profiles"]` to the manifest
```

Auto merge of #1844 - hyd-dev:rustup, r=RalfJung

Update for `TyCtxt::crates()` change

cc rust-lang/rust#86792

Import `std::process::self`

Add a comment in `.github/workflows/ci.yml`

Update for `TyCtxt::crates()` change

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

rustup

Cc https://github.com/rust-lang/rust/issues/86723

rustup

Improve doc comment

Fix `.expect()` message

`drop(cmd.arg(arg))` -> `cmd.arg(arg);`

Use `rustup-toolchain-install-master` to install Cargo

Show error if `--target-dir` is provided more than once

Fix typo

`ArgFlagValueWithOtherArgsIter` -> `ArgSplitFlagValue`

Add some comments in `test-cargo-miri/run-tests.py`

long closure -> function

Use `miri` inside the target directory used by rustc as Miri's target directory

Auto merge of #1841 - RalfJung:debug, r=RalfJung

use exhaustive struct match for manual Debug impl

use exhaustive struct match for manual Debug impl

Auto merge of #1840 - hyd-dev:rustup, r=RalfJung

Update backtraces

(rust-lang/rust#86034 changed them.)

cc rust-lang/rust#86474

Update backtraces

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

rustup

Cc https://github.com/rust-lang/rust/issues/86409

rustup