Auto merge of #1310 - RalfJung:float-assoc, r=RalfJung

prefer float assoc consts over std module

prefer float assoc consts over std module

Auto merge of #1157 - divergentdave:shim-pthread-try-lock, r=RalfJung

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

This implements proper locking so that we can check for reentrancy and implement the `try_*` methods.

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

Clean up conditional compilation

Fix spelling typo

Eagerly compute i32 and u32 layouts

Add tests, improve test coverage

Changes to error handling

Add tests

Use Deadlock machine stop uniformly

Remove null checks, fall through to UB upon deref

Auto merge of #1307 - RalfJung:vec-extend, r=RalfJung

also test push_str ptr stability (the original report)

also test push_str ptr stability (the original report)

Update comments, rearrange code

Auto merge of #1253 - RalfJung:vec-extend, r=RalfJung

test Vec::extend

Currently fails, until https://github.com/rust-lang/rust/issues/70301 gets fixed.

rustup

for consistency also rename floats.rs

use mutable reference

test some more vec ptr invalidation

test Vec::extend

Auto merge of #1305 - ssomers:map_first_last_vs_miri, r=RalfJung

Replace last_entry with last_key_value

Wondering why `last_entry` was introduced (in #1156) while the alternative is shorter and seems clearer to me.

Also, as the perpetrator of map_first_last, I now think that `first_entry`/`last_entry` are silly methods because they're supposed to be constant time (as opposed to `entry`), so there's no money to be made by doing multiple things with the entry.

Store layouts of i32 and u32 inside Evaluator

Set explicit return value size for windows shim

Set some explicit return value sizes

Implement TryEnterCriticalSection

Restrict mutex static initializer test to Linux

On macOS, libc does not have a static initializer for recursive mutexes

Rearrange functions

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

Replace last_entry with last_key_value

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