Enable env test on freebsd

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

Add `environ` extern implementation to freebsd

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

Auto merge of #2304 - LegNeato:shim-fstat64-mac, r=oli-obk

Support (stat/fstat/lstat)64 on macos

"In order to accommodate advanced capabilities of newer file systems,
     the struct stat, struct statfs, and struct dirent data structures
     were updated in Mac OSX 10.5."

"TRANSITIONAL DESCRIPTION (NOW DEPRECATED)
     The fstat64, lstat64 and stat64 routines are equivalent to their
     corresponding non-64-suffixed routine, when 64-bit inodes are in
     effect.  They were added before there was support for the symbol
     variants, and so are now deprecated.  Instead of using these, set
     the _DARWIN_USE_64_BIT_INODE macro before including header files to
     force 64-bit inode support. The stat64 structure used by these deprecated routines is the same
     as the stat structure when 64-bit inodes are in effect (see above)."

"HISTORY
     An lstat() function call appeared in 4.2BSD.  The stat64(),
     fstat64(), and lstat64() system calls first appeared in Mac OS X
     10.5 (Leopard) and are now deprecated in favor of the corresponding
     symbol variants.  The fstatat() system call appeared in OS X 10.10"

Support (stat/fstat/lstat)64 on macos

"In order to accommodate advanced capabilities of newer file systems,
     the struct stat, struct statfs, and struct dirent data structures
     were updated in Mac OSX 10.5."

"TRANSITIONAL DESCRIPTION (NOW DEPRECATED)
     The fstat64, lstat64 and stat64 routines are equivalent to their
     corresponding non-64-suffixed routine, when 64-bit inodes are in
     effect.  They were added before there was support for the symbol
     variants, and so are now deprecated.  Instead of using these, set
     the _DARWIN_USE_64_BIT_INODE macro before including header files to
     force 64-bit inode support.

     The stat64 structure used by these deprecated routines is the same
     as the stat structure when 64-bit inodes are in effect (see above)."

"HISTORY
     An lstat() function call appeared in 4.2BSD.  The stat64(),
     fstat64(), and lstat64() system calls first appeared in Mac OS X
     10.5 (Leopard) and are now deprecated in favor of the corresponding
     symbol variants.  The fstatat() system call appeared in OS X 10.10"

Auto merge of #2302 - RalfJung:datarace, r=RalfJung

avoid copying thread manager state in data race detector

When doing https://github.com/rust-lang/miri/pull/2047 I did not realize that there is some redundant state here that we can now remove from the data race detector.

Also this removes the vector clocks from the data race errors since those don't really help diagnose the problem.

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