Many small changes to clean up code.

Rename global tls dtor to thread dtor.

Move prctl test to the same file as other libc tests.

Delete a duplicate test.

Improve comments.

Added a test that joining main is UB.

Improve Debug formatting of the thread name.

Move copying of the thread name to the client side.

Unify TLS dtors; move stepping outside.

Change the test not to rely on internals.

Add an explanatory comment to the test.

Ignore prctl test on MacOS because it does not support it.

Make multiple threads to try to join a thread while it is still running.

Clarify FIXME.

Check prctl argument types and fix the test.

Clarify test comments.

Fix the test annotation.

Make the main thread detached.

Fix merge error.

Print the thread name in Debug.

Small style fix.

Clarify comments about TLS destructor handling in Windows, add a test for TLS destructors.

Track if a thread was already joined.

Add more concurrency tests.

Fix how a pthread_create function argument is constructed.

Improve concurrency tests.

Many small changes to thread management.

Improve prctl, add a test.

Change the warning message.

Move prctl to Linux specific shims.

Rename MacOS set global dtor function.

Update a comment in README about what concurrency checks we support.

Add concurrency tests.

Implement thread::yield_now.

Add a comment explaining global destructors on MacOS.

Fix support for MacOS.

Rename threads to thread to match the Rust standard library.

Add a missing newline.

Cleanup the implementation of adjust_global_const.

Fix typo in a comment.

Make an assert message consistent with other asserts.

Fix imports.

Add a missing newline in the test.

Rename eval_maybe_thread_local_static_const to adjust_global_const.

Address some of the reviewers comments.

Generate thread local allocations in eval_maybe_thread_local_static_const.

Generate fresh allocation ids for thread locals in eval_maybe_thread_local_static_const.

Small refactoring in pthread sync: extract common functionallity to separate functions.

Rename ThreadSet to ThreadManager.

Rebase on PR 1157.

Fix pthread_self.

Rustfmt the test.

Store the thread name.

Fix comments in TLS.

Report that we do not support foreign thread local statics.

Move pthread_create and related shims to a separate file.

Fix the problem of sending pointed to thread local statics. Add a regression test.

Add a test for thread locals.

Update to support the updated API.

Add a warning that Miri does not check for data-races.

Implement basic support for concurrency (Linux only).

Auto merge of #1373 - RalfJung:test-rename, r=RalfJung

rename tests: undefined -> uninit

Auto merge of #1370 - samrat:add-scalar-size-test, r=RalfJung

Add test to verify that argument size mismatch throws UB

Also, bump up `rust-version`

Closes #1355

rename tests: undefined -> uninit

Replace error-pattern with annotation; remove unreachable line

Auto merge of #1354 - divergentdave:dump-alloc-on-undef-read, r=RalfJung

Print hex dump of alloc on reading undef bytes

Here's a small addition I made locally to the UB diagnostics, in case you're interested in it. This PR calls `dump_alloc()` on the relevant allocation if Miri fails on UB due to reading undefined bytes. This came in handy when diagnosing such an issue in a large program using unsafe Rust, in part because it wasn't deterministic enough to use `-Zmiri-track-alloc-id=`. If you'd like to put this behind another -Z flag, let me know.

Fix shim_arg_size test for 32-bit machines

Add test to verify arg size mismatch throws UB

Also: bump up `rust-version`

Review comments

Auto merge of #1368 - Robbepop:add-new-trophy-for-inks-lazyarray, r=RalfJung

Add miri trophy for LazyArray::swap (ink! PR)

Details to the found in https://github.com/rust-lang/miri/issues/1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.

Update README.md

Add miri trophy for LazyArray::swap (ink! PR)

Details to the found in https://github.com/rust-lang/miri/issues/1364.
Note that this was not a found in a `master` or production release of ink!, however without analysing the code via `miri` this could have potentially happened.

Auto merge of #1366 - RalfJung:rustc-exit, r=RalfJung

fix exit code on rustc errors

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

make sure we do not discard information on the Ok exit side

fix exit code on rustc errors

Add test to exercise InvalidUndefBytes

Add message before dumping alloc

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

rustup

rustup

Auto merge of #1358 - dtolnay:ci, r=RalfJung

Disable interactive prompts in CI

Closes #1357.

Keep MiriCommand out of ask_to_run function

Auto merge of #1359 - RalfJung:cargo-bin-exe, r=RalfJung

test suite: rely on CARGO_BIN_EXE_ env vars

Just read about this in the 1.43 release notes. :)

test suite: rely on CARGO_BIN_EXE_ env vars to find Miri binary

Preserve consistent output whether or not CI is set

Remove unneeded setup step from CI instructions in readme

Disable interactive prompts in CI

Auto merge of #1356 - brson:trophy, r=RalfJung

Add ryu and tikv to trophy case

Update README.md

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

Add ryu and tikv to trophy case

Reorder output

Auto merge of #1348 - RalfJung:raw-addr-of-align, r=RalfJung

Stacked Borrows: alignment does not matter

Fixes https://github.com/rust-lang/miri/issues/1339
Requires https://github.com/rust-lang/rust/pull/71280

rustup

Stacked Borrows: alignment does not matter

Auto merge of #1353 - divergentdave:file-set-len, r=RalfJung

Implement ftruncate64/ftruncate for File::set_len

This adds a shim for `ftruncate64` (on Linux) or `ftruncate` (on macOS) to enable support for `File::set_len`, and includes a test.

Add comment

Print hex dump of alloc on reading undef bytes

Implement ftruncate64/ftruncate for File::set_len

Auto merge of #1335 - vakaras:add-threads-noop, r=RalfJung

Move the stack to the evaluator. (no-op PR for 70598)

The changes to Miri to make it to compile with Rustc PR https://github.com/rust-lang/rust/pull/70598.

adjust for asm -> llvm_asm rename

adjust for Weak::as_raw -> as_ptr rename