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

Rustup

use ctfe_backtracte variable for backtrace control

rustup+fix

Auto merge of #1220 - elichai:2020-03-bump, r=RalfJung

Bump rust-version to latest

I hoped for some errors I could fix to learn more of the codebase but got none :/
IDK if it's still worth the PR hehe
(is there a TODO list or something like that I can look at when I'm in the mood of contributing to Miri? :) )

share some code between panic intrinsics, and fix the message

Add tests for the new panic_if_any_invalid, panic_if_zero_invalid intrinsics

Implement panic_if_any_invalid and panic_if_zero_invalid intrinsics

bump rust-version to latest

Auto merge of #1210 - RalfJung:rustup-validity, r=RalfJung

rustup: adjust error message

This is the Miri side of https://github.com/rust-lang/rust/pull/69762

rustup

adjust error

Auto merge of #1218 - RalfJung:panic, r=RalfJung

properly panic in panic_if_uninhabited and align_offset shims

properly panic in panic_if_uninhabited and align_offset shims

Auto merge of #1217 - christianpoveda:environ-shim, r=RalfJung

move environ place to EnvVars

r? @RalfJung

move environ place to EnvVars

Auto merge of #1216 - RalfJung:env, r=RalfJung

move environ init to update_environ

@christianpoveda I thought of a way to simplify initialization a bit. :)

move environ init to update_environ

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

readme: mention the leaks we found

Auto merge of #1214 - RalfJung:depup, r=RalfJung

bump dependencies

"quote 1.0.2" which we used got yanked, so update all the things.

readme: mention the leaks we found

Auto merge of #1208 - christianpoveda:environ-shim, r=RalfJung

Environ shim

Remake of https://github.com/rust-lang/miri/pull/1147. There are three main problems with this:

1. For some reason `update_environ` is not updating `environ` when `setenv` or `unsetenv` are called. Even then it works during initialization.
2. I am not deallocating the old array with the variables in `update_environ`.
3. I had to store the `environ` place into `MemoryExtra` as a field to update it. I was thinking about changing `extern_statics` to store places instead of `AllocID`s to avoid this.

@RalfJung

bump dependencies

only expose environ on linux

minor corrections

add `_NSGetEnviron` foreign function for macos

test that `environ` gets deallocated on changes

deallocate old environ

Auto merge of #1212 - RalfJung:tests, r=RalfJung

expand clock and fs tests a bit

expand clock and fs tests a bit

fix env update, and expand test

add testcase for `environ` shim

update the environ shim when environment changes

add working shim for environ

Auto merge of #1209 - RalfJung:track-alloc-id, r=oli-obk

Add option to print when an AllocId gets created

r? @oli-obk

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

README: add another bug Miri found

README: add another bug Miri found

make the new option actually do something

add option to track a particular AllocId (does nothing yet)

Auto merge of #1206 - RalfJung:int_asooc, r=RalfJung

finally stop using min/max_value and the integer modules

https://github.com/rust-lang/rust/pull/68952 landed, so we can finally do this :)

finally stop using min/max_value and the integer modules

Auto merge of #1205 - RalfJung:serde, r=RalfJung

downgrade serde_json to match rustc workspace

@bors r+

downgrade serde_json to match rustc workspace

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

bump Rust

fix allocator tests

bump Rust

Auto merge of #1203 - RalfJung:generator, r=RalfJung

try even harder to catch invalid generator fields

try even harder to catch invalid generator fields

Auto merge of #1202 - RalfJung:symbols, r=RalfJung

switch extern_statics map to symbols, and use FxHashMap everywhere

Cc @eddyb

HashMap -> FxHashMap

switch extern_statics map to symbols

Auto merge of #1201 - Aaron1011:fix/bootstrap-xargo-check, r=RalfJung

Rename XARGO env var to XARGO_CHECK

This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo

rename xargo -> xargo_check

Rename XARGO env var to XARGO_CHECK

This reflects the fact that we want bootstrap to override `xargo-check`,
not `xargo

Auto merge of #1178 - RalfJung:rustup-visitor, r=RalfJung

adjust for rustc changes

The Miri side of https://github.com/rust-lang/rust/pull/69257

adjust for rustc changes

Auto merge of #1190 - RalfJung:canonical-alloc-id, r=RalfJung

Canonical AllocID

This is the Miri side of https://github.com/rust-lang/rust/pull/69408.
This just ports the existing extern statics to the new system; no new shims are added.

Cc @christianpoveda

remove unused import

rustup

canonicalize alloc ID for ptr-to-int cast

port from find_foreign_static to canonical_alloc_id

rename memory kind: Env -> Machine

tweak benchmark

Auto merge of #1199 - RalfJung:cargo-miri, r=RalfJung

cargo-miri: fix trailing indent in xargo files

format a few things

fix trailing indent in xargo files

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

Rustup

some formatting

rustup

Auto merge of #1196 - RalfJung:winlock, r=RalfJung

Remove incorrect try_lock from Windows critical section shim

Remove incorrect try_lock from Windows critical section shim

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

rustup

Just the occasional bump can't hurt...

@bors r+

rustup

Auto merge of #1194 - RalfJung:no-to-bits, r=RalfJung

avoid Scalar::to_bits

avoid Scalar::to_bits

Auto merge of #1152 - divergentdave:shim-directory, r=RalfJung

Add directory-related shims

This PR adds support for `mkdir`, `rmdir`, `opendir`, `closedir`, and `readdir64_r`.

Open directory streams are tracked through a HashMap indexed by pointer locations, which holds directory iterators. Since `DIR` is an opaque type in glibc, I represent them with 1-byte allocations, and then just use their pointers in HashMap lookups.

Tests are included to exercise the new functionality.

fix Windows build failure

Review comments

Auto merge of #1192 - RalfJung:disable-stacked-borrows, r=RalfJung

add an option to disable Stacked Borrows

while keeping validation enabled. Fixes https://github.com/rust-lang/miri/issues/1183.

fix build failures

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

rustup

@bors r+

rustup

Return length from write_os_str_to_c_str

Migrate readdir_r from pointers to places

Review comments

move validate field from memory to machine

add an option to disable Stacked Borrows

Auto merge of #1136 - Aaron1011:feature/check-libstd, r=RalfJung

Use 'cargo check' to build the sysroot and target crate

Fixes #1057

I'm using my original approach from PR #1048. Ideally, we would
distinguish between build-deps/dependencies/'final crate' via a
different approach (e.g. the target directory). However, I
haven't been able to get that to work just yet.

However, everything should be working with the approach I'm using. At a
minimum, we can use this PR to verify that everything works as expected
when we don't actually produce native build outputs.

update lockfile

fix Cargo.toml

refactor cargo-miri a bit

Use 'cargo check' to build the sysroot and target crate

Fixes #1057

Since we are no longer using "cargo rustc", we now use the rustc
arguments passed by Cargo to determine whether we are building a
build dependency, normal dependency, or "target" (final binary or test)
crate.

Use ID numbers in lieu of allocations for DIR*

Auto merge of #1191 - RalfJung:cargup, r=RalfJung

cargo update

Add comments

cargo update

Move error up, early return

Add comments

Use os_str_length_as_c_str in readdir[64]_r

Miscellaneous review comments

Rewrite fs tests