fix and slightly improve data race reports

avoid copying thread manager state in data race detector

rename some data_race types for more clarity

Auto merge of #2299 - RalfJung:bsd, r=RalfJung

test more things on FreeBSD

run data_race tests on bsd

more current_dir tests for freebsd

Auto merge of #2298 - InfRandomness:shim-error, r=RalfJung

Add `__error` to freebsd shims

Signed-off-by: InfRandomness <infrandomness@gmail.com>

Add `current_dir_with_isolation` to freebsd tests list

Signed-off-by: InfRandomness <infrandomness@gmail.com>

Add `__error` to freebsd shims

Signed-off-by: InfRandomness <infrandomness@gmail.com>

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

rustup

make clippy happy

Auto merge of #2296 - RalfJung:miri-script, r=RalfJung

./miri improvements

I have needed to run something with many different seeds often enough that I would like an easier way to do it. ;) So now we have `./miri many-seeds`.

Also I made the script less dependent on the working directory, so calling it from a different directory should work properly now even if that other directory does not have the same rustup override as the one where Miri lives.

rustup

more tweaks

add './miri many-seeds', and respect MIRIFLAGS in './miri run'

make miri script work from other working directories

Auto merge of #2295 - RalfJung:better-alloc-tracking, r=RalfJung

allocation tracking: also print size, alignment, kind of the allocation

allocation tracking: also print size, alignment, kind of the allocation

Auto merge of #2293 - RalfJung:env, r=RalfJung

make -Zmiri-env-forward take precedence over -Zmiri-env-exclude

Lets people experiment with the `TERM` env var.

make -Zmiri-env-forward take precedence over -Zmiri-env-exclude

Auto merge of #2291 - RalfJung:no-std-is-minimal, r=RalfJung

use run_tests_minimal for the new no-std test

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