sync AppVeyor CI script with Travis

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

rustup

fix miri-rustc-tests

rustup

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

Update to latest nightly

make sure we use the stable toolchain, no matter the cache

show cargo version

Rustup to `sty` -> `kind` changes

Update to latest nightly

Auto merge of #960 - christianpoveda:chdir-shim, r=oli-obk

Add `chdir` shim

r? @oli-obk

Check that `chdir` fails for non-utf8 paths

Add `chdir` shim

Auto merge of #958 - christianpoveda:getcwd-shim, r=oli-obk

Add getcwd shim

Fix comments

fetch ERANGE value from libc

Set errno when getcwd fails

Avoid writing more bytes than necessary

Auto merge of #903 - RalfJung:discriminant, r=RalfJung

fix discriminant handling

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

bump Rust

add another test case

err on all-but-B, not just on C

test for niche enum discriminant computation that overflows

Only use getcwd without isolation

Check that getcwd does not error

Add getcwd shim

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

rustup for retag rename

This is the Miri side of https://github.com/rust-lang/rust/pull/64503. Do not force-push!

bump Rust version

Merge remote-tracking branch 'origin/master' into rustup-retag

rustup

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

remove libstd backtrace work-around

remove libstd backtrace work-around

Auto merge of #945 - christianpoveda:ptr-align-offset, r=oli-obk

Use libcore's align_offset

Related issue: https://github.com/rust-lang/miri/issues/873

Use force_ptr instead of assert_ptr

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

update for rustc changes

https://github.com/rust-lang/rust/pull/60584 changed some stuff around ICEs. What I am not sure about is whether we should call `install_ice_hook` or not. @jonas-schievink @oli-obk any advice?

install ICE hook

update for rustc changes

Auto merge of #951 - spastorino:place-2-0, r=RalfJung

Place projection field is now Box<[PlaceElem<'tcx>]>

Closes https://github.com/rust-lang/rust/issues/64441

Place projection field is now Box<[PlaceElem<'tcx>]>

Auto merge of #953 - RalfJung:contributing, r=oli-obk

add CONTRIBUTING guide

Auto merge of #949 - RalfJung:ask-to-run, r=RalfJung

factor ask-to-run-command into helper function

add CONTRIBUTING guide

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

temporarily enable backtrace feature

This is a temporary hack to work around https://github.com/rust-lang/rust/issues/64410.

temporarily enable backtrace feature

Auto merge of #948 - mati865:patch-1, r=RalfJung

Bump byteorder and remove no-op feature

It's automatically detected: https://github.com/BurntSushi/byteorder/commit/5b3ffeeed2d04ec5051336ea2c6e6d36abc94581

With this PR `byteorder` can be from [rustc-workspace-hack](https://github.com/rust-lang/rust/blob/f71826e8f26fd4fa331574caa462960db8ed961a/src/tools/rustc-workspace-hack/Cargo.toml#L74).

factor ask-to-run-command into helper function

Use str::from_utf8 instead

Auto merge of #947 - RalfJung:rand, r=oli-obk

bump rand dependency

Bump byteorder and remove no-op feature

Add test for u8 align_offset

bump rand dependency

Use libcore's align_offset

Auto merge of #946 - RalfJung:rustup, r=oli-obk

fix async test

Test got broken by https://github.com/rust-lang/rust/pull/64292.

fix async test

Auto merge of #944 - rust-lang:rustup, r=oli-obk

Rustup to 1.39.0-nightly (1e869133b 2019-09-09)

Rustup to 1.39.0-nightly (1e869133b 2019-09-09)

Auto merge of #943 - wesleywiser:turn_on_tests_again, r=RalfJung

Re-enable run-pass tests with optimizations enabled

Re-enable run-pass tests with optimizations enabled

Auto merge of #942 - rust-lang:rustup, r=oli-obk

Rustup

Update latest working rust version id

Rustup

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

rustup

Just to test if this still works.

rustup

Auto merge of #929 - RalfJung:slice-too-big, r=RalfJung

test too big slice

Test for an upcoming rustc PR.

rustup

test too big slice

Auto merge of #938 - christianpoveda:clean-env-alloc, r=RalfJung

Rewrite alloc_env_var

Just to simplify the logic behind `shims::env`

Rewrite alloc_env_var

Auto merge of #937 - christianpoveda:fix-isolation, r=RalfJung

Fix cargo-miri with disabled isolation

Related issue: https://github.com/rust-lang/miri/issues/933
I'm not sure if that's the better place to blacklist `TERM`, @RalfJung let me know if there is a less hacky place to put it.

Auto merge of #919 - RalfJung:wide-raw, r=RalfJung

test for invalid wide raw ptr

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

bump Rust

test for invalid wide raw ptr

Add cargo-miri test for no isolation

Exclude TERM env var by default

Auto merge of #935 - christianpoveda:blacklist-env-vars, r=RalfJung

Exclude environment variables from host communication

related issue: #933

r? @RalfJung

Small corrections

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

Auto merge of #931 - RalfJung:retag-makes-my-head-hurt, r=RalfJung

Stacked Borrows: don't read from memory during retagging

Currently, retagging of a shared reference tries real hard to find the `UnsafeCell` and mark everything else as frozen. We even read enum discriminants to figure out the variant and determine if there is an `UnsafeCell` in there or not.

Unfortunately, that leads to some very hard to analyze behavior: during retagging, we do read accesses, which are subject to the rules of Stacked Borrows and the existing tags! My head hurts when I try to think about this. It's just too recursive.

This PR simplifies the semantics by treating enums like unions: if any variant has an `UnsafeCell`, the entire thing behaves like an `UnsafeCell`. This means retagging no longer has to read from memory, the way it affects the stack is entirely determined by the type.

Add env exclusion test

Exclude env vars using flag

Add -Zmiri-env-exclude flag

Auto merge of #930 - RalfJung:build, r=RalfJung

test that build scripts do not run in Miri

@elichai reported something that sounded a lot like build script running in Miri. But as this test shows, build scripts are not run by Miri, they are run normally.

@elichai are you sure the [env var usage you were referring to](https://github.com/rust-lang/miri/issues/641#issuecomment-524989482) was only in a build script? Those shouldn't be affected by Miri flags at all. Is your code available somewhere so that I can try to reproduce?

small optimization

Stacked Borrows: don't read from memory during retagging

more implicit

test that build scripts do not run in Miri

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

Write name and value for each env var

In order to res0lve https://github.com/rust-lang/miri/issues/756 is necessary to have the whole `"NAME=VALUE"` sequence of bytes written into memory instead of just the value.

This change does not affect the interface of the `shim::envs::EnvVars` type in any way.

r? @RalfJung @oli-obk

Add docs

Auto merge of #927 - RalfJung:getrandom, r=RalfJung

explicitly enable getrandom/std feature

This seems to be what rand_core does, and then we need to do it as well or else the rustc feature checker complains.

explicitly enable getrandom/std feature

Auto merge of #917 - RalfJung:isolation, r=oli-obk

change flag name: enable-communication -> disable-isolation

r? @oli-obk  -- I think this is a better name for the flag but it is still somewhat clumsy. Suggestions?

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

rustup

hashmap ICEs with optimizations, temporarily disable

rustup

Write name and value for each env var

Auto merge of #924 - RalfJung:getrandom, r=RalfJung

decrease getrandom version

so that we dont have to bump Cargo.toml in rustc

decrease getrandom version so that we dont have to bump Cargo.toml in rustc

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

bump Rust and xargo

bump Rust and xargo

Auto merge of #921 - RalfJung:cargo-update, r=RalfJung

cargo update

cargo update

test host randomness access