start messages in lower-case

adjust for error reform

Auto merge of #1239 - elichai:2020-03-abort-intrinsics, r=RalfJung

Abort instead of panic on asserting intrinsics

This fixes #1222
replacing the panic with an abort and a corresponding message.
the stack trace is already printed, this just adds an optional message the caller can pass, and I just pass the same message we passed to the panic but now to the abort instead.

r? @RalfJung

Remove uninhabit/zeroed tests to a new test file for abort checking

Abort instead of panic in asserting intrinsics, because they might not be panic safe

Add an optional message to abort

Auto merge of #1238 - RalfJung:mir-opt-test, r=oli-obk

move repeated run of test suite (without and with MIR optimizations) out of compiletest

Just like we already pass the target architecture to our compiletest wrapper via `MIRI_TEST_TARGET` (and then have CI run compiletest with different values for that env var), we now do the same for running the tests with and without MIR optimizations.

This has the advantage of speeding up local `./miri test`, where in the vast majority of cases running tests both with and without optimizations is just a waste of time.

move repeated run of test suite (without and with MIR optimizations) out of compiletest

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