rustup, adjust error messages

Auto merge of #1379 - RalfJung:macos-fn-name, r=RalfJung

make sure macos function has 'macos' in its name

also tiny README tweak

README tweak

make sure macos function has 'macos' in its name

Auto merge of #1284 - vakaras:add-threads-cr2, r=RalfJung

Implement basic support for concurrency (Linux/macos only)

Changes  (most new code is in `src/threads.rs` and `src/shims/foreign_items/posix.rs`):

1. Move the stack from `Machine` to a newly created `Thread` struct.
2. Add a `ThreadSet` struct that manages the threads.
3. Change `canonical_alloc_id` to create a unique allocation id for each thread local and thread (the responsible struct is `ThreadLocalStorage`)
4. Change the code to execute the thread local destructors immediately when a thread terminates.
5. Add the most basic round-robin scheduler.

This pull request depends on [these changes to the compiler](https://github.com/rust-lang/rust/pull/70598).

Fix prctl SET_NAME and GET_NAME behaviour.

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

Add servo_arc to trophy case

Tweak error wording

Auto merge of #1378 - RalfJung:workspace-error, r=RalfJung

more helpful error on workspaces

more helpful error on workspaces

Add servo_arc to trophy case

Fix a regression in Windows dtors.

Use Entry API in set_dtors_running.

Improve code readability and comments.

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

rustup for more LocalDefId changes

rustup for more LocalDefId changes

Fix MacOS and Windows builds.

Delete remaining tls entries after all destructors completed.

Make From implementations non-failing.

Improve comments.

Add a test for joining in a destructor.

Merge dtors_running and last_dtor_key fields.

Add a FIXME.

Improve comments and code clarity.

Change representation and conversion of ThreadId and BlockSetId.

Use DLL_THREAD_DETACH when calling windows TLS destructor.

Make sure to remove thread local data only if we have destructor.

Improve style and comments.

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.