prefer float assoc consts over std module

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)

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.

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

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

Auto merge of #1267 - RalfJung:macos-dtors, r=RalfJung

implement TLS cleanup for macOS

Now that I can run macOS interpretation locally, this was not that hard to fix. ;)
Fixes https://github.com/rust-lang/miri/issues/443

Auto merge of #1225 - JOE1994:rw_widestr, r=RalfJung

Add shims for env var emulation in Windows

This PR attempts to implement the final step of the instructions laid out in https://github.com/rust-lang/miri/issues/707#issuecomment-561564057 , and is yet a work in progress.

### STATUS
- [x] Add general **_target_** methods for **read_str/alloc_str** that dispatch to either **c_str** or **wide_str** variants
(**helpers.rs**)
- [x] Implement shims `fn getenvironmentvariablew`/`fn setenvironmentvariablew`
(`std::env::var()`, `std::env::set_var()`)
- [x] Implement shim `GetEnvironmentStringsW` (`std::env::vars()`)
- [x] Implement shim `FreeEnvironmentStringsW`

### ISSUES (updated on 03/21/2020)
- MIRI errors while running `std::env::remove_var()` in Windows.
    MIRI complaining about raw pointer usage in
Rust standard library [*src/libstd/sys/windows/os.rs*](https://github.com/rust-lang/miri/pull/1225#issuecomment-602100146).

### TODO (probably on a separate PR)
  - Move string helpers into a new file to avoid bloating **src/helpers.rs** too much. (**shims/os_str.rs**)

adjust MemoryKind comment

enable leak tests on macOS

implement TLS cleanup for macOS