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

rustup; remove no longer existing intrinsics

rustup; remove no longer existing intrinsics

Auto merge of #1235 - RalfJung:check-arith, r=RalfJung

avoid using unchecked casts or arithmetic

avoid using unchecked casts or arithmetic

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

rustup

Cc https://github.com/rust-lang/rust/issues/70055

rustup

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

rustup

rustup

Auto merge of #1231 - JOE1994:patch-1, r=RalfJung

Minor typo fix

**"initialziation"** => **"initialization"**

Minor typo fix

"initializiation" => "initialization"

Auto merge of #1230 - RalfJung:cargo, r=RalfJung

Cargo.toml: group all dependencies together

Cargo.toml: group all dependencies together

Auto merge of #1227 - RalfJung:unwind, r=RalfJung

adjust Miri to needs of changed unwinding strategy

abort intrinsic is handled by librustc_mir now

bump rust-version

adjust Miri to needs of changed unwinding strategy

Auto merge of #1228 - RalfJung:typo, r=RalfJung

fix typo and deduplicate comment

fix typo and deduplicate comment

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

rustup, fix for intrinsic rename and transmute error change

@bors r+

rustup, fix for intrinsic rename and transmute error change

Auto merge of #1224 - RalfJung:diverge, r=RalfJung

refactor handling of diverging intrinsics/foreign functions

Also makes sure we don't accidentally call some normal intrinsics diverging -- which it turns out we did.

refactor handling of diverging intrinsics/foreign functions

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

rustup, test Abort terminator

rustup, test Abort terminator

Auto merge of #1213 - lcnr:master, r=RalfJung

rm custom `intrinsics::discriminant_value`

@RalfJung requires https://github.com/rust-lang/rust/pull/69825

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

rm custom `intrinsics::discriminant_value`

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