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

rustup

Move stack and stack_mut implementation in Machine to match their position in the trait.

Move the stack to the evaluator to make Miri compile with the newest Rustc.

Auto merge of #1342 - divergentdave:pause-instruction, r=RalfJung

Handle std::sync::atomic::spin_loop_hint()

This PR adds support for `std::sync::atomic::spin_loop_hint()` by implementing the `llvm.x86.sse2.pause` intrinsic when the target is x86-based. It appears this is the first LLVM intrinsic in foreign_items, so I added a couple match blocks to handle it or fall through to the different OS-specific methods. I added a basic smoke test to `tests/run-pass/sync.rs`. I came across this by way of `crossbeam::utils::Backoff::spin()`, FWIW.

Review comments

Auto merge of #1351 - RalfJung:float-test-source, r=RalfJung

note source of float cast test values, and some more UB tests

test some more extreme cast cases

note source of test values

Add support for std::thread::yield_now

Flip matching

Auto merge of #1349 - RalfJung:machine-layouts, r=RalfJung

use pre-computed layouts some more

use pre-computed layouts some more

Auto merge of #1347 - RalfJung:float-cast-test, r=RalfJung

rename test_cast -> test_both_cast to make purpose clearer

rename test_cast -> test_both_cast to make purpose clearer

Auto merge of #1325 - RalfJung:float_to_int_unchecked, r=RalfJung

implement float_to_int_unchecked

@hanna-kruppe would be great if you could have a look at this.

`float.rs` tests legal casts. `test_cast` checks that both `as` casts and unchecked casts work (i.e., these are not saturating). The `compile-fail` tests should ensure that illegal casts via the intrinsic are detected as such.

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

use u128::MAX symbolic name

Auto merge of #1346 - RalfJung:dyn-layout-test, r=RalfJung

Test that we enforce dynamic layout properties (not just static ones of sized prefix)

some UB gets masked by optimizations

test that we check dynamic actual size of object

test that we properly check dynamic alignment

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

rustup for FieldsShape::Primitive

rustup for FieldsShape::Primitive

Auto merge of #1343 - RalfJung:derive-packed, r=RalfJung

test #[derive] on packed struct

test #[derive] on packed struct

Handle std::sync::atomic::spin_loop_hint()

Auto merge of #1341 - RalfJung:force-ptr-everywhere, r=oli-obk

ReadBytesAsPointer is always supported

Cc @oli-obk

ReadBytesAsPointer is always supported

Auto merge of #1338 - RalfJung:test-cleanup, r=RalfJung

Cleanup some run-pass tests

merge packed_static and packed_struct

avoid test-wide allowance of unused/dead code

consolidate ptr tests in fewer files

Auto merge of #1337 - RalfJung:intrinsic-tests, r=RalfJung

test some so-far untested intrinsics

test some so-far untested intrinsics

Auto merge of #1334 - KrishnaSannasi:track-dealloc, r=RalfJung

add deallocation tracking

fixes #1314

added deallocation tracking

Auto merge of #1336 - RalfJung:instance-sanity, r=RalfJung

tighten Instance sanity check

Let's see if we can get away with this...

tighten Instance sanity check

Auto merge of #1330 - RalfJung:retag-return-place, r=RalfJung

retag return place

@eddyb suggested that return places should be treated like unique references for Stacked Borrows. That is implemented by this patch, but it is unfortunately quite the hack because otherwise we are retagging *references*, not places.

@eddyb does this roughly correspond to what you had in mind? (Except for whatever it is you think should happen with argument passing, which is a much bigger issue.) Also, do you think there is any way we can *test* this?

Needs https://github.com/rust-lang/rust/pull/71100 to land.

rustup