Add TerminationInfo::Deadlock, use in mutex shim

Add and rearrange mutex tests

Handle variation in layout of pthread_mutex_t

Address review comments

Use checked addition/subtraction on lock counts

Refactor sync shims with setters and getters

Add comments explaining asserts

Fix misleading function names

Add test of recursive mutex using libc FFI

Style fixes

Add test that exercises ReentrantMutex

Revise mutex/rwlock memory layout for macOS compat

Implement mutex and rwlock functions

Clean up test case

Add failing tests for mutex and rwlock

Add shims for RwLock::try_read/RwLock::try_write

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

tweak README

Cc @Firstyear

I realized the README has an example of unsupported code, so I changed the error to match that example.

tweak README

Auto merge of #1293 - Firstyear:1289-miri-readme, r=RalfJung

Update readme to make supported code clearer

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

This makes it clearer in the readme how miri will warn of supported or unsupported code in a program under test/run.

Thanks!

Auto merge of #1300 - RalfJung:rust-src, r=RalfJung

Rust bootstrap sysroot now has src in the same place as rust-src

So we can remove a special hack. I checked this locally to confirm it works.

Cc https://github.com/rust-lang/rust/pull/70642 @eddyb

Rust bootstrap sysroot now has src in the same place as rust-src, so remove special hack

Auto merge of #1294 - JOE1994:windows_instant, r=RalfJung

Add support for 'std::time::Instant' in Windows

Add support for creating `std::time::Instant` in Windows

Includes shims for `QueryPerformanceCounter` & `QueryPerformanceFrequency` in Windows, which are both called in Windows when `std::time::Instant` is created.

Windows docs page ["Acquiring high-resolution time stamps"](https://docs.microsoft.com/en-us/windows/win32/sysinfo/acquiring-high-resolution-time-stamps) was helpful in learning how `QueryPerformanceCounter` & `QueryPerformanceFrequency` work.

closes #1291

Apply feedback

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

rustup for import changes

rustup for import changes

change cfg gate to enable testing Instant subtraction in Windows

Update comments in src/shims/time.rs

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

Update comments in src/shims/time.rs

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

Update comments in src/shims/time.rs

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

Auto merge of #1297 - RalfJung:win-ticks, r=RalfJung

correct factual mistake in Windows message

Also use `+` instead of `checked_add().unwrap()` (which is equivalent).

Cc @JOE1994

correct factual mistake in Windows message, and use "+" sugar

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

rustup for AllocRef changes

Cc https://github.com/rust-lang/rust/pull/70362

port compile-fail allocator tests to stable API

rustup for AllocRef changes

Auto merge of #1295 - RalfJung:ci-no-incremental, r=RalfJung

set CARGO_INCREMENTAL=0 on CI

it's just a waste of time there

set CARGO_INCREMENTAL=0 on CI, it's just a waste of time there

Auto merge of #1283 - RalfJung:backtrace, r=RalfJung

Make backtrace function names and spans match up

This is the Miri side of https://github.com/rust-lang/rust/pull/70590.
Fixes https://github.com/rust-lang/miri/issues/521

fix for FieldPlacement rename

rustup

adjust for span not being passed around any more

adjust stacktrace printing to rustc changes

fix incorrect error message in shim 'QueryPerformanceCounter'

Add support for 'std::time::Instant' in Windows

Update readme to make supported codo clearer

Auto merge of #1292 - RalfJung:time, r=RalfJung

sanity check time values a bit more

sanity check time values a bit more

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

Rustup

Also remove ICEing `breakpoint` intrinsic shim.

rustup

Auto merge of #1286 - JOE1994:windows_time, r=RalfJung

Implement 'GetSystemTimeAsFileTime' shim for Windows

Implement `GetSystemTimeAsFileTime` shim for Windows.

Closes #997

remove ICEin intrinsic

Implement 'GetSystemTimeAsFileTime' shim for Windows

Auto merge of #1287 - RalfJung:time-sub, r=RalfJung

test subtracting SystemTime and Instant

add TODO

test subtracting SystemTime and Instant

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

rustup; fix Windows env var memory type

rustup; fix Windows env var memory type

Auto merge of #1270 - RalfJung:incremental, r=RalfJung

miri build script: use incremental builds

I somehow thought that was already the default, but seems like it is not?

Auto merge of #1279 - divergentdave:open_O_EXCL, r=RalfJung

Add support for OpenOptions::create_new()/O_EXCL

This PR extends the POSIX shim for `open` to support the `O_EXCL` flag, when it is used alongside `O_CREAT`, and exercises it by testing `OpenOptions::create_new`.

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

adjust for librustc rename; reduce 'extern crate' to rustc crates

adjust for librustc rename; reduce 'extern crate' to rustc crates

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

rustup; fix for TyLayout rename

test const-generic Vec::from(array)

rustup; fix for TyLayout rename

Auto merge of #1278 - JOE1994:cow, r=RalfJung

make 'fn convert_path_separator' to take 'Cow<>' as argument

Fixed `fn convert_path_separator()` to take `Cow<>` as argument,
in order to prevent unnecessary allocation when target & host path separators are equal.

Add support for OpenOptions::create_new()/O_EXCL

fix fn read_path_from_wide_str

make 'fn convert_path_separator' to take Cow<> (to remove unnecessary allocation)

Auto merge of #1268 - JOE1994:dir, r=RalfJung

Windows shims for GetCurrentDirectoryW/SetCurrentDirectoryW

Implemented shims for Windows
* [GetCurrentDirectoryW](https://github.com/rust-lang/rust/blob/75208942f6144daac669e8e382029fc33bdce841/src/libstd/sys/windows/os.rs#L242) (`getcwd` for Windows)
* [SetCurrentDirectoryW](https://github.com/rust-lang/rust/blob/75208942f6144daac669e8e382029fc33bdce841/src/libstd/sys/windows/os.rs#L250) (`chdir` for Windows)

Currently passes test :
`./miri run tests/run-pass/current_dir.rs -Zmiri-disable-isolation`

Move definition of 'fn windows_check_buffer_size' to top of 'src/shims/env.rs'

small refactorings to 'src/shims/os_str.rs' & 'src/shims/env.rs'

fix fn GetCurrentDirectoryW + clarify return types of Windows shims

fix 'magic boolean' to enum

Follow-up to reviews from RalfJung
1. Fix 'fn convert_path_separator' in src/shims/os_str.rs
2. Fix 'fn set_last_error_from_io_error' in src/helpers.rs
3. Minor comment fix for 'fn SetCurrentDirectoryW' in src/shims/env.rs

Windows shims for GetCurrentDirectoryW/SetCurrentDirectoryW

partially implement 'set_last_error_from_io_error' for Windows

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

rustup

Fix for some renames

rustup

Auto merge of #1276 - RalfJung:scalar-precise-sizes, r=RalfJung

Construct Scalar with precise sizes

precise getrandom return type and align_offset arithmetic

use ptr_null where appropriate

avoid Scalar::from_(u)int in favor of giving the size explicitly

Auto merge of #1275 - JOE1994:move_string_helpers, r=RalfJung

move OsStr helpers to a separate file

Moved OsStr read/write functions from `src/helpers.rs` to `src/shims/os_str.rs`, in order to keep `src/helpers.rs` from bloating too much.

visually separate conditional imports in 'os_str.rs'

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

fix float test comments and test a few more int->float casts

fix float test comments and test a few more int->float casts

move OsStr helpers to a separate file

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

test floating point casting better

Auto merge of #1273 - RalfJung:environ-cleanup, r=RalfJung

we don't deallocate the environ global, so leave it in the machine

Follow-up to https://github.com/rust-lang/miri/pull/1271. I forgot to adjust this when my plans changed a bit.

we don't deallocate the environ global, so leave it in the machine

Auto merge of #1263 - RalfJung:shims-limit, r=RalfJung

Limit shims to libstd where possible

Also organize them better by category.
Fixes https://github.com/rust-lang/miri/issues/1181 (by making mmap not callable from user code)

posix_fadvise is Linux-only; also validate arguments a bit

organize shims and make some only available to libstd as they are incomplete

Auto merge of #1271 - RalfJung:env-clean, r=RalfJung

env shim: make sure we clean up all the memory we allocate

`Machine` memory is not leak-checked, so if we forgot to deallocate part of the env shim memory, we wouldn't even notice. Thus add a dedicated memory kind that is leak-checked.

env shim: make sure we clean up all the memory we allocate

Auto merge of #1269 - RalfJung:windows-dtor, r=RalfJung

run Windows TLS dtor function

Mostly fixes https://github.com/rust-lang/miri/issues/442

run Windows TLS dtor function

miri build script: use incremental builds

cleanup tcx usage and a few comments

avoid promotion so this can be compared with rustc

also do some float-to-float cast testing