Auto merge of #1418 - divergentdave:file-sync, r=RalfJung

Add file sync shims

This PR adds shim implementations for these related file syncing functions.
* `fsync`, for POSIX targets, backed by `File::sync_all()`
* `fdatasync`, for POSIX targets, backed by `File::sync_data()`
* `fcntl` with command `F_FULLFSYNC`, for macOS targets, backed by `File::sync_all()`
* `sync_file_range`, for Linux targets, backed by `File::sync_data()`

Extract common logic for Windows host workaround

Auto merge of #1445 - JOE1994:patch-1, r=RalfJung

Add a case to list of 'StackedBorrows violations'

A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing :+1:

Add a case to list of 'StackedBorrows violations'

A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing :+1:

Finish fixing Windows host support

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

rustup, and adjust timing tests

I saw a timing failure on macOS, so leave some more slack space.

rustup, and adjust timing tests

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

rustup

Just quickly get things to work with the TLS changes.

Eventually I'll look into properly making use of the new infrastructure, but I don't have time right now.

rustup

Auto merge of #1440 - RalfJung:wtf8, r=RalfJung

test WTF8 encoding corner cases

This adds a Miri-side test for https://github.com/rust-lang/rust/issues/72760.

Blocked on https://github.com/rust-lang/rust/pull/72683.

rustup

test WTF8 encoding corner cases

Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung

Synchronization primitive cleanup

Make some methods infallible, move a bit more work into the platform-independent `sync.rs`, and fix a bug in rwlock unlocking.

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

rustup, adjust error message

rustup, adjust error message

make mutex_unlock infallible

update unsupported example in README (now that threading is supported on some platforms)

test and fix for rwlock unlock bug

also combine re-locking into the dequeue-and-unblock operation

sync cleanup: mark infallible ops as such; consistent combine en/dequeue with (un)block; comments

Auto merge of #1412 - josephlr:ptr, r=RalfJung

Remove pointer arithmetic intrinsics

**Do Not Merge** until https://github.com/rust-lang/rust/pull/71500 is in nightly.

As https://github.com/rust-lang/rust/pull/71500 implements `offset` and `arith_offset` in rustc's MIR interpreter, these implementations can now be removed from miri. Also, the `pointer_offset_inbounds` method has been moved to the main MIR engine, so that too can be removed.

Signed-off-by: Joe Richey <joerichey@google.com>

rustup (and account for stabilization)

Remove pointer arithmetic intrinsics

These are now implemented in rustc's mir interpreter

Signed-off-by: Joe Richey <joerichey@google.com>

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

str_strip is stable

str_strip is stable

Auto merge of #1422 - RalfJung:cargo-miri-workspace, r=oli-obk

Move cargo-miri into separate package

So far, `cargo-miri` depended on the Miri library crate. That was mostly for convenience (to avoid having to deal with workspaces), but also because until recently `cargo-miri` needed access to the ["Miri default flags"](https://github.com/rust-lang/miri/blob/af044209b02f561adb3dad9f5f0deea7378f0ac0/src/lib.rs#L75). But with `MIRI_BE_RUSTC` that is no longer the case, so we can remove this fake dependency. :)

@oli-obk what do you think? Also I expect the rustc bootstrap integration will need updates, hints would be appreciated. :D

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

rustup

Just ensuring everything still works.

rustup

cargo-miri: allow overwriting miri command, and make that consistent with compiletest

no workspace as that is incompatible with the rustc submodule

re-add some fake dependencies to avoid rebuilds

fmt

make sure CI fails when we do not recognize the platform

just respect existing RUSTFLAGS instead of providing another override

make cargo-miri a separate crate in a workspace

Auto merge of #1437 - RalfJung:strip, r=RalfJung

use strip_prefix where it makes sense

use strip_prefix where it makes sense

Fix fsync shim for Windows hosts with RO files

Fix test on Windows hosts

FlushFileBuffers requires that a file be opened for writing

Update comments

Auto merge of #1435 - RalfJung:stdin-read-error, r=RalfJung

better error when using FDs 0-2 the wrong way

better error when reading from stdin

Auto merge of #1433 - RalfJung:condattr-setclock, r=RalfJung

macOS does not have pthread_condattr_setclock/getclock

add an assertion

macos does not have pthread_condattr_setclock/getclock

Auto merge of #1362 - vakaras:add-sync-primitives-cr1, r=RalfJung

Add sync primitives

This is a follow up PR for https://github.com/rust-lang/miri/pull/1284 that adds support for the missing synchronization primitives.

Sorry for flooding with PRs, but my internship is coming to an end and I need to get things out.

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

Increase the elapsed time window.

Fix compilation errors after rebase.

Small fixes.

Fix #1419.

Small changes.

Rewrite notify all test.

Small changes.

Change the scheduling to execute timeout callbacks first.

Small changes.

Add comments explaining the declare_id macro.

Change how the time is handled.

Cleanup Condvar tests.

Add a timeout test for conditional variables.

Move all run-pass synchronization primitive tests to sync.rs.

Improve code readability and comments.

Cleanup.

Implement support for synchronization primitives.

Auto merge of #1432 - RalfJung:int-size, r=RalfJung

use helper method to compute size of int type

use helper method to compute size of int type

Auto merge of #1426 - RalfJung:no-wrapper, r=RalfJung

unset RUSTC_WRAPPER for xargo invocation

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

@bjorn3 @oli-obk do you think that is a reasonable way to solve this issue?

unset RUSTC_WRAPPER for xargo invocation

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

rustup

Just making sure it all still works.

rustup

Auto merge of #1430 - RalfJung:unsize, r=RalfJung

add interesting unsizing test

@bors r+

add interesting unsizing test

Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung

test discriminant_value intrinsic

Make sure this works for all types, not just enums/generators.

test discriminant_value intrinsic

Auto merge of #1374 - divergentdave:InvalidUndefBytes, r=RalfJung

InvalidUndefBytes: Update to match rustc changes

This is a companion PR for rust-lang/rust#71610. This won't build yet, but we may need these changes in a future rustup.

rustup

Update to match rustc changes

Auto merge of #1428 - RalfJung:shim-arg-size-verify, r=RalfJung

verify the size of all shim arguments

verify the size of all shim arguments

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

rustup, and now we also need to install llvm-tools

Fixes fallout from https://github.com/rust-lang/rust/pull/72000

rustup, and now we also need to install llvm-tools

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

rustup

Make sure that https://github.com/rust-lang/rust/pull/72425 helped

rustup

Auto merge of #1424 - RalfJung:dlsym, r=RalfJung

prepare Dlsym system for dynamic symbols on Windows

This makes progress towards https://github.com/rust-lang/miri/issues/1059.

also pretend GetSystemTimePreciseAsFileTime does not exist

GetProcAddress: basic validation for hModule argument

disentangle macos and linux dlsyms

prepare Dlsym system for dynamic symbols on Windows

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

rustup

No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425.

rustup

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

rustup

adjust test for changed allocation strategy

adjust for changed allocation strategy

Review comments

Add file sync shims

Adds implementations for fsync, fdatasync, and sync_file_range

Auto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung

fix libstd rebuilds due to RUSTFLAGS changes

Until recently we were always overwriting `RUSTFLAGS`, but we stopped doing that when moving to `MIRI_BE_RUSTC`. That introduced the regression in https://github.com/rust-lang/miri/issues/1410. This fixes it.

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

fix libstd rebuilds due to RUSTFLAGS changes

Auto merge of #1415 - RalfJung:test-suite-filter, r=RalfJung

add test suite filter example to README and 'cargo miri --help'

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

add test suite filter example to README and 'cargo miri --help'

Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung

use new rustc_driver::catch_with_exit_code

use new rustc_driver::catch_with_exit_code

Auto merge of #1411 - RalfJung:ci, r=RalfJung

test Linux on macOS host

This accidentally got lost in https://github.com/rust-lang/miri/pull/1407