Auto merge of #1131 - JOE1994:alloc_os_str_as_c_str, r=RalfJung

Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation

First part of the plan laid out in #707 (comment).

Re-submitting a pull-request for work from  #1098 (manual rebasing..)

r? @RalfJung

Auto merge of #1133 - RalfJung:compile-fail-opt, r=RalfJung

compile-fail tests work with optimizations now

compile-fail tests work with optimizations now

Auto merge of #1132 - christianpoveda:use_scalar_to_u16, r=RalfJung

Use Scalar::to_u16

https://github.com/rust-lang/rust/pull/67604#issuecomment-569413675 r? @RalfJung

bump rustc version

Use Scalar::to_u16

Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation

Auto merge of #1114 - rust-lang:to_ptr_considered_harmful, r=oli-obk

Remove all uses of `to_ptr`

Also only works on top of https://github.com/rust-lang/rust/pull/67192

Remove `to_ptr` uses

Auto merge of #1129 - christianpoveda:stat64-shim, r=RalfJung

add stat shim for macos

Here we go. I'm apologizing in advice for the constant torture that Travis will suffer.

rename metadata struct

minor fixes and updated docs

set mask for statx correctly

do padding correctly

deduplicate shared code between stat and statx

Add padding on 64-bits only

restrict `stat` shim to macos only

remove restrictions due to `stat` unavailability

add padding to immediates

fix size for file mode

add remanining fields to stat stuct

provide correct name for shim

add dummy stat shim

Auto merge of #1128 - RalfJung:cleanup, r=RalfJung

use new try_from methods

and a bit of other cleanup

make bytes conversion functions private inside read/write functions

use new try_from methods

Auto merge of #1121 - rust-lang:rustup, r=RalfJung

Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22)

Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22)

Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk

disable sysroot checks for distributed binaries

This should help with https://github.com/mozilla/nixpkgs-mozilla/issues/198.

Auto merge of #1125 - RalfJung:main-result, r=oli-obk

support main functions with Result return type

Turns out we already properly create the substitution to call the libstd start-fn with an appropriate `main`, we just had an overzealous check in the way.

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

support main functions with Result return type

Auto merge of #1118 - rust-lang:stacked_borrow_tracing, r=oli-obk

Run rustfmt

This is `cargo +nightly fmt --all` with `rustc 1.41.0-nightly (c8ea4ace9 2019-12-14)`

Rustfmt all the things

disable sysroot checks for distributed binaries

Auto merge of #1101 - christianpoveda:stat-shim, r=RalfJung

Add statx shim for linux target

This is an attempt to fix: https://github.com/rust-lang/miri/issues/999 (for linux only)

Currently there is one problem that I haven't been able to solve. `std::fs::metadata` fails because the creation time is not available even though it is provided in the shim code.

In order to inform the caller that the field was provided, the `stx_flag` field must have the bits of `STATX_BTIME` set (which they are). The creation time is in the `stx_btime` field of the `statx` struct (see [1]). The relevant code in `libstd` is here (probably?): https://github.com/rust-lang/rust/blob/master/src/libstd/sys/unix/fs.rs#L322

Another important point is that we are just providing the fields that are available in "all" platforms (this is, without using any platform specific traits or so). This can be improved later.

References:
[1] Man page: http://man7.org/linux/man-pages/man2/statx.2.html
[2] libc `statx` struct: https://docs.rs/libc/0.2.63/libc/struct.statx.html

Edit: The problem is that my filesystem is not providing it and I thought all filesystems could provide it. I changed the code so it only provides those dates if they are available. now we are ready to go.

r? @RalfJung @oli-obk

add `statx` shim for linux

Auto merge of #1117 - rust-lang:rustup, r=RalfJung

Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21)

Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21)

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

the never type got de-stabilized again; adjust tests

the never type got de-stabilized again; adjust tests

Auto merge of #1113 - RalfJung:vtable, r=RalfJung

add test for sketchy vtable

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

bump Rust

add test for sketchy vtable

Auto merge of #1080 - rust-lang:stacked_borrow_tracing, r=RalfJung

Add a scheme to find the place where an id was destroyed

cc https://github.com/rust-lang/miri/issues/974

I'm not too happy with it, but since stacked borrows don't have access to the current call stack, I can't just report a warning as per https://github.com/rust-lang/miri/issues/797

We could add some global mutex that we can throw strings at and `step` will clear out that mutex and report warnings before moving the `statement_id` or the `block_id`, not sure how well that would work. For now I think this is sufficient

Update README.md

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

Use the machine stop error instead of abusing other error kinds

Auto merge of #1111 - MarkusPettersson98:rustup-1.21-yaml, r=RalfJung

Updated CI config to reflect deprecation of rustup uninstall

In the same spirit as #1110 😄

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!

Auto merge of #1110 - MarkusPettersson98:master, r=RalfJung

Updated README to reflect deprecation of rustup install

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!

Remove a flaky test

Document the new flag

Rename track-id to track-pointer-tag

Detect all variants of stack removals

Vocabulary fix

Add a scheme to find the place where an id was destroyed

Updated CI config to reflect deprecation of rustup uninstall

Updated README to reflect deprecation of rustup install

Auto merge of #1109 - RalfJung:track-caller, r=RalfJung

add caller_location tests to Miri

The CTFE implementation seems to also work fine in Miri -- thanks a lot @anp :)

add caller_location tests to Miri

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

rustup

rustup

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

bump Rust, fix error messages

bump Rust, fix error messages

Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung

add flag to ignore memory leaks

fix all-targets build

Auto merge of #1105 - RalfJung:readme, r=oli-obk

better way to ignore tests in Miri

This is better because it avoids warnings due to unused imports (the ignored tests still get compiled, just not executed).

add flag to ignore memory leaks

use recommended test exclusion technique in test

better way to ignore tests in Miri

Auto merge of #1104 - RalfJung:readme, r=oli-obk

update README

r? @oli-obk

wording

README: Miri now supports panics and FS access

Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung

avoid recompiling Miri on install

avoid recompiling Miri on install

Auto merge of #1102 - RalfJung:rsutup, r=RalfJung

rustup for find_fn rename

rustup for find_fn rename

Auto merge of #1100 - RalfJung:os_str, r=RalfJung

rename helper methods a bit

rename helper methods a bit

Auto merge of #1099 - RalfJung:os_str, r=RalfJung

tweak and use OsStr interfaces

avoid allocation in read_os_string_from_c_string

use write_os_str_to_c_string for unix arg passing

Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung

use throw_machine_stop macro

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

rustup

use throw_machine_stop macro

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

bump Rust for exact_div fix

bump Rust for exact_div fix

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

Rustup

bump Rust to latest HEAD

bump Rust to HEAD

Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung

Rustup for `BodyCache` changes

Rustup for `BodyCache` changes

Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung

proper support for `Assert` MIR terminators

Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874

ignore another panicking test on Windows

rustup

panic errors are actually still possible

fix init_allocation_extra

some error classes should be impossible

also test built-in panics via should_panic

adjust for init_allocation_extra

fix and expand panic tests

better span for functions whose frame we push 'manually'

test built-in panic catching