use run_tests_minimal for the new no-std test

Auto merge of #2282 - rust-lang:no_std, r=RalfJung

Support no-std targets and test it in CI

cc `@jamesmunns`

This is a bit annoying as you need to have `MIRI_NO_STD=1` set at all times, but it works ™️

Once libstd's `restricted_std` feature becomes more usable, we can probably do away with that env var.

I also added a test to CI to make sure it keeps working. This test only builds libcore and runs a single test, so it's pretty fast.

Support no-std targets and test it in CI

Auto merge of #2290 - RalfJung:snakessss, r=RalfJung

use Rust SnakeCase

use Rust SnakeCase

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

rustup

rustup

Auto merge of #2287 - RalfJung:field-retagging, r=RalfJung

stacked borrows: add option for recursive field retagging

Auto merge of #2286 - LegNeato:patch-2, r=RalfJung

Support `gettimeofday` on more than macos

This appears to be in linux and in openbsd as well:

* https://github.com/torvalds/linux/blob/master/lib/vdso/gettimeofday.c
* https://github.com/openbsd/src/blob/master/sys/sys/time.h#L439

Note that std currently says [different syscalls are used on mac vs linux](https://doc.rust-lang.org/std/time/struct.SystemTime.html#platform-specific-behavior) but this is not part of[ std's contract](https://doc.rust-lang.org/std/io/index.html#platform-specific-behavior) and third party code could call the syscall directly on different platforms.

merge two SB test files

add option for recursive field retagging

Auto merge of #2288 - RalfJung:clippy, r=RalfJung

add ./miri clippy

also make ui_test comply with clippy

make ui_test pass clippy

add ./miri clippy

Support `gettimeofday` on more than macos

This appears to be in linux and in openbsd as well:

* https://github.com/torvalds/linux/blob/master/lib/vdso/gettimeofday.c
* https://github.com/openbsd/src/blob/master/sys/sys/time.h#L439

Co-authored-by: Ralf Jung <post@ralfj.de>

Auto merge of #2285 - LegNeato:patch-1, r=RalfJung

Update path to passing tests in CONTRIBUTING.md examples

This appears to be renamed from `tests/run-pass` to `tests/pass`.

Update path to passing tests in CONTRIBUTING.md examples

This appears to be renamed from `tests/run-pass` to `tests/pass`.

Auto merge of #2283 - RalfJung:color, r=RalfJung

revert --color=always changes

They [cause problems](https://github.com/rust-lang/miri/issues/2277) and they completely break rendering on the playground:
```
   Compiling playground v0.0.1 (/playground)
    Finished dev [unoptimized + debuginfo] target(s) in 0.47s
     Running `/playground/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu/bin/cargo-miri target/miri/x86_64-unknown-linux-gnu/debug/playground`
\e[0m\e[1m\e[38;5;9merror[E0277]\e[0m\e[0m\e[1m: `*mut std::sync::atomic::AtomicUsize` cannot be sent between threads safely\e[0m
\e[0m   \e[0m\e[0m\e[1m\e[38;5;12m--> \e[0m\e[0msrc/main.rs:17:18\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m
\e[0m\e[1m\e[38;5;12m17\e[0m\e[0m  \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m   \e[0m\e[0m        let j1 = spawn(move || {\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m| \e[0m\e[0m \e[0m\e[0m\e[1m\e[38;5;12m__________________\e[0m\e[0m\e[1m\e[38;5;9m^^^^^\e[0m\e[0m\e[1m\e[38;5;12m_-\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m| \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m                  \e[0m\e[0m\e[1m\e[38;5;9m|\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m| \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m                  \e[0m\e[0m\e[1m\e[38;5;9m`*mut std::sync::atomic::AtomicUsize` cannot be sent between threads safely\e[0m
\e[0m\e[1m\e[38;5;12m18\e[0m\e[0m  \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m \e[0m\e[0m            *(c.0 as *mut usize) = 32;\e[0m
\e[0m\e[1m\e[38;5;12m19\e[0m\e[0m  \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m\e[0m \e[0m\e[0m        });\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m| \e[0m\e[0m\e[1m\e[38;5;12m|_________-\e[0m\e[0m \e[0m\e[0m\e[1m\e[38;5;12mwithin this `[closure@src/main.rs:17:24: 19:10]`\e[0m
\e[0m    \e[0m\e[0m\e[1m\e[38;5;12m|\e[0m
```

Sorry `@saethlin,` I think we need to go back to start here and consider another solution.

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

revert --color=always changes

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

Rustup

Fix our stacktrace after https://github.com/rust-lang/rust/pull/98549. Now we can control whether `caller_location` should be pruned!

fmt

also prune caller_location frames when backtrace=off

improve atomics test coverage

rustup

Auto merge of #2280 - RalfJung:int2ptr, r=RalfJung

tweak int2ptr diagnostics

tweak int2ptr diagnostics

Auto merge of #2279 - RalfJung:adjacent-allocs, r=RalfJung

Allow non-ZST allocations to be adjacent

Also `cargo update` in test-cargo-miri... no need to make a separate PR for that right?...

typo

update getrandom

finally we can actually have adjacent allocations :)

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

Rustup

rustup

make use of get_alloc_info

Auto merge of #2275 - RalfJung:permissive-provenance-for-all, r=RalfJung

Enable permissive provenance by default

This completes the plan laid out in https://github.com/rust-lang/miri/issues/2133:
- We use permissive provenance with wildcard pointers by default.
- We print a warning on int2ptr casts. `-Zmiri-permissive-provenance` suppresses the warning; `-Zmiri-strict-provenance` turns it into a hard error.
- Raw pointer tagging is now always enabled, so we remove the `-Zmiri-tag-raw-pointers` flag and the code for untagged pointers. (Passing the flag still works, for compatibility -- but we just ignore it, with a warning.)

We also fix an intptrcast issue:
- Only live allocations are considered when computing the AllocId from an address.

So, finally, Miri has a good story for ptr2int2ptr roundtrips *and* no weird false negatives when doing raw pointer stuff with Stacked Borrows. :-) :tada:   Thanks a lot to everyone who helped with this, in particular `@carbotaniuman` who convinced me this is even possible.

Fixes https://github.com/rust-lang/miri/issues/2133
Fixes https://github.com/rust-lang/miri/issues/1866
Fixes https://github.com/rust-lang/miri/issues/1993

show int2ptr warning once for each span (but don't duplicate the long help)

fix warning text

Auto merge of #2221 - InfRandomness:freebsd-target-support, r=RalfJung

Freebsd-target-support

Implement freebsd as a target for miri

improve old comment

Auto merge of #2276 - RalfJung:join, r=RalfJung

make sure a thread is joined

Not sure how that can fail given that preemption is disabled but whatever...

make sure a thread is joined

typo

Co-authored-by: Oli Scherer <github35764891676564198441@oli-obk.de>

avoid unnecessary indirection in miri-track-raw-pointers warning

make macOS happy

fmt

readme: move some things around

remove support for untagged pointers

good riddance!

more int2ptr cast tests, and fix casting of addresses inside dead allocations

make permissive provenance and raw-ptr tagging the default

Cargo fmt

Address code review

- Merge pthread_attr_getstack shim to unix/foreign_items.rs

only test a few tests on FreeBSD

Add `pthread_attr_get_np` shim

Add `pthread_attr_getstack` shim

Fix panicking ui_tests framework

Fix pending reviews

Initial freebsd work

Auto merge of #2274 - RalfJung:trophy, r=RalfJung

trophy case: add the data race in thread::scope

trophy case: add the data race in thread::scope

Auto merge of #2272 - RalfJung:progress, r=RalfJung

add -Zmiri-report-progress to regularly print a stacktrace of what we are executing

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

The stacktrace is printed every N basic blocks. I picked the default (1 million) to take a few seconds on my machine, but it can be adjusted by the user.

add -Zmiri-report-progress to regularly print a stacktrace of what we are executing

Auto merge of #2270 - RalfJung:futex-ordering, r=RalfJung

test that futexes induce appropriate synchronization

This fails when I remove the `validate_lock_acquire` or `validate_lock_release` from `futex_wake`. So finally we got those code paths actually covered in tests. :)

test that futexes induce appropriate synchronization

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

make a bunch of tests look more like how they did before rustfmt

make a bunch of tests look more like how they did before rustfmt

Auto merge of #2245 - saethlin:color-always, r=RalfJung

Actually pass through the request for --color=always

https://github.com/rust-lang/miri/pull/2243 actually doesn't work :joy:

The suggestion to split on `,` was good but `arg` is actually the whole `--json=diagnostic-rendered-ansi,artifacts,future-incompat
`, and of course I didn't test that change locally and we have no test for this in CI.

Therefore, I would like some guidance on making a test for this because I'm going to rely on this working.

don't assert the same thing twice

Auto merge of #2268 - RalfJung:not-unpin-protected, r=RalfJung

test that &mut !Unpin references are protected

test that &mut !Unpin references are protected

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

rustup

I cannot reproduce https://github.com/rust-lang/rust/issues/98493 so let's see what CI says.

test for forgetting locked mutex

join all the threads

rustup

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

README: multi-seed loop: also test the 0 seed

README: multi-seed loop: also test the 0 seed

Auto merge of #2264 - RalfJung:not-a-fixme, r=RalfJung

remove a FIXME that is not actually a bug

remove a FIXME that is not actually a bug

Actually pass through the request for --color=always

Auto merge of #2196 - carbotaniuman:permissive-stacked-borrows, r=RalfJung

Handle wildcard pointers in SB

This uses an permissive `Unknown` implementation, where a wildcard pointer (and any SRW derived from a wildcard pointer) can access any previously-exposed SB tag. This is missing any meaningful test-cases, and all of the edge-cases have not yet been worked through.

I think there's also some bugs here with differing Unknowns in different ranges and having things behave really weirdly too, alongside some issues with retagging to `SRO` or `Unique`.

tweaks and feedback

implement 'delimited' expose tracking so we still detect some UB

Auto merge of #2263 - wesleywiser:update_measureme, r=RalfJung

Update measureme to the latest version

The major version number is different due to changes to the on-disk recording format but the core API is the same and miri continues to build on the latest version.

Update measureme to the latest version

make the tests pass

(and some formatting)

reorganize exposure code a bit

add exposed_only_ro test

Try fix stuff

Maybe this wil work

Handle wildcard pointers in SB

Auto merge of #2262 - RalfJung:zulip, r=RalfJung

only one Zulip cron job topic per month

only one Zulip cron job topic per month

Auto merge of #2257 - dtolnay-contrib:rustfmt9, r=RalfJung

Add `./miri fmt` and check in CI

Bless stderr files after rustfmt

Manual adjustments

Format late arrivals with rustfmt

Add './miri fmt' and use it in CI

Auto merge of #2261 - RalfJung:fmt, r=oli-obk

make rustfmt mandatory and used pinned toolchain

Looks like this is what most people prefer/expect, and using a pinned toolchain for formatting avoids some (rare and so far mostly hypothetical) formatting inconsistency issues.

make rustfmt mandatory and used pinned toolchain

Auto merge of #2250 - rust-lang:gesundheit, r=oli-obk

Require local annotations for local diagnostics

if/when we get flaky diagnostics we can revisit and add more helpers for those

Require local annotations for local diagnostics

Auto merge of #2248 - RalfJung:arc-drop-fix, r=RalfJung

do not protect SRW items

This is the Miri version of https://github.com/rust-lang/rust/pull/98017.