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

retag return places

adjust for frame hook changes

Auto merge of #1331 - samrat:macos-mach-timebase-info, r=RalfJung

Implement `mach_timebase_info` for macOS

Since we return nanoseceonds instead of ticks from `mach_absolute_time`, we don't need to scale the absolute time

Fixes #1288

Reword comment in mach_timebase_info

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

Auto merge of #1333 - RalfJung:flag-test, r=RalfJung

Make sure we find many failures even with other checks disabled

make sure we find some things without validation or stacked borrows, respectively

make sure our disable flags do not miss all bugs; move type-assert intrinsic tests to their folder

Use precomputed TyLayout from `machine.layouts`

And add comment documenting successful return value from
`mach_timebase_info`.

Auto merge of #1332 - RalfJung:disable-alignment-check, r=RalfJung

Add option to disable alignment check

Requires https://github.com/rust-lang/rust/pull/71101
Fixes https://github.com/rust-lang/miri/issues/1326

fix comment in alignment test

rustup

tweak flag section in README

Use pre-defined u32 layout

Also fix typo and remove newline

mention new option in README and diagnostics

add option to disable alignment checks

[macOS] Implement `mach_timebase_info`

Since we return nanoseceonds instead of ticks from
`mach_absolute_time`, we don't need to scale the absolute time

Auto merge of #1329 - RalfJung:readme, r=RalfJung

note Miri's leak check abilities and that they are disabled on Windows

note Miri's leak check abilities and that they are disabled on Windows

Auto merge of #1328 - RalfJung:align-false-pos, r=RalfJung

for alignment errors, note that there might be false positives

Cc @shepmaster

```
error: Undefined Behavior: accessing memory with alignment 1, but alignment 8 is required
 --> tests/compile-fail/unaligned_pointers/alignment.rs:8:9
  |
8 |         *y_ptr = 42;
  |         ^^^^^^^^^^^ accessing memory with alignment 1, but alignment 8 is required
  |
  = help: this usually indicates that your program performed an invalid operation and caused Undefined Behavior
  = help: but alignment errors can also be false positives, see https://github.com/rust-lang/miri/issues/1074
```

for alignment errors, note that there might be false positives

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

rustup

rustup