set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap

annotate some unwraps with better messages

Auto merge of #856 - RalfJung:type_dispatch_first, r=RalfJung

Adjust for ptr_op changes

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

bump Rust

simplify code

remove some compile-fail tests that now work

implement all ptr comparisons through integer casts

adjust for ptr_op now being called type-based

Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung

also let bootstrap tell us where to find xargo

also let bootstrap tell us where to find xargo

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

Rustup for error changes

bump Rust

fix for error refactoring

Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung

honor CARGO env var (for rustc bootstrap)

honor CARGO env var (for rustc bootstrap)

Auto merge of #874 - RalfJung:zst, r=RalfJung

test dangling ZST deref

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

test dangling ZST deref

Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk

Prepare Miri for rustc bootstrap building a separate libstd for it

Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk

Make Retag shallow

A shallow retag does not traverse into fields of compound typed to search for references to retag. It only retags "top-level"/"bare" references (and boxes).

This helps with https://github.com/rust-lang/unsafe-code-guidelines/issues/125 because it also means that we do not add protectors for references passed in fields of a struct (or other compound types). Until we know what the rules should be for protectors, I prefer to be less aggressive about what we are rejecting.
This also matches our work-in-progress Coq formalization.

comment

test Ref/RefMut protector interactions

make reborrow shallow, and fix tests for that

bootstrap no longer carries a copy of these flags

let the user skip the sysroot consistency check

Auto merge of #869 - RalfJung:tests, r=oli-obk

test suite: be fine with warnings when running on rustc CI

r? @oli-obk

reorder for clarity

dedup code a bit

test suite: be fine with warnings when running on rustc CI

Auto merge of #868 - JohnTitor:adjust-async-await-test, r=RalfJung

Remove `await_macro`

`await_macro` is now unsupported so we should remove it.
Failed in https://github.com/rust-lang/rust/pull/63141

r? @RalfJung

Remove await_macro

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

README: move CI remark down to CI section

AppVeyor: retry download

move CI remark down to CI section

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

README: call out more clearly what we do not test

also update paragraph on intptrcast

call out more clearly what we do not test; update paragraph on intptrcast

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

bump Rust

My hypothesis is that this will replicate https://travis-ci.com/rust-lang/miri/jobs/220221687 (so we know which commit range caused it).

adjust for slice pattern changes

bump Rust

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

bump Rust (no changes needed)

This is mostly to confirm that this still all works fine.

bump Rust (no changes needed)

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

bump Rust

bump Rust

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

bump Rust

bump Rust

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

link to UB definition

link to UB definition

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

readme: move flags and env vars up above dev

Auto merge of #854 - lzutao:warn-idioms, r=RalfJung

build: Warn if not use 2018 idioms

As requested in https://github.com/rust-lang/miri/pull/852#issuecomment-514612244

build: Warn if not use 2018 idioms

Auto merge of #852 - lzutao:rustup, r=RalfJung

 build: Fix build after rust-lang/rust#60951

readme: move flags and env vars up above dev

Auto merge of #851 - RalfJung:intrptrcast-by-default, r=oli-obk

enable Intrptrcast by default

As laid out in https://github.com/rust-lang/miri/issues/785: we change Miri to always have an RNG, seeded per default with 0. Then we adjust everything to remove dead code and dead tests.

r? @oli-obk
Cc @christianpoveda

explain better what is non-deterministic here

build: Fix build after rust-lang/rust#60951

fix non-deterministic test

use checked arithmetic in intrptrcast

remove redundant tests / flags

review failing compile-fail tests

update miri-seed handling for run-pass test suite

make sure we always have an RNG

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

bump rust

bump rust

Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung

disable some compile-fail tests for rustc

disable some compile-fail tests for rustc

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

fix for rustc_driver change

fix miri-rustc-tests

fix for rustc_driver change

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

fix compile-fail tests for latest rustc

fix compile-fail tests for latest rustc

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

update README about what we do not support

update README about what we do not support

Auto merge of #839 - RalfJung:noalloc, r=RalfJung

avoid unnecessary allocation

avoid unnecessary allocation

Auto merge of #834 - jyn514:master, r=RalfJung

Give a useful error message if user gives invalid random seed

I thought this crash was in my code at first because the error was so vague.

Give a useful error message if user gives invalid random seed

Auto merge of #836 - RalfJung:arrays, r=RalfJung

test some const-generic-using methods

test some const-generic-using methods

Auto merge of #833 - RalfJung:win, r=RalfJung

reenable all tests on Windows

thread creation error for Windows

reenable all tests on Windows

Auto merge of #830 - RalfJung:check-place, r=RalfJung

Fix validation and reborrowing of integer pointers

Depends on https://github.com/rust-lang/rust/pull/62441

bump rust

we do this these days

bump rustc

force pointers before reborrowing; fixes cargo miri test suite

now we can also enable the ptr_int_cast test again

adjust for rustc changes; normalize mplace before doing freeze-sensitive visit

ptr_offset works fine with intptrcast now

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

bump rustc

bump rustc

Auto merge of #831 - lzutao:rustup, r=RalfJung

Remove SliceConcatExt import

rustup https://github.com/rust-lang/rust/pull/62403
cc https://github.com/rust-lang/rust/issues/62347

Remove SliceConcatExt import

Auto merge of #827 - lzutao:patch-1, r=RalfJung

Remove stable cargo feature `default-run`

At least on beta.

Auto merge of #826 - RalfJung:uninit, r=RalfJung

uninit intrinsic is gone

Finally. :D

However, to land this we'll need to fix the intptrcast issues that block https://github.com/rust-lang/miri/pull/803.

build: Revert update beta toolchain

Remove stable cargo feature `default-run`

At least on beta.

Auto merge of #824 - RalfJung:c_str, r=RalfJung

use Memory::read_c_str, avoid a few to_ptr

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

use Memory::read_c_str, avoid a few to_ptr

Auto merge of #808 - RalfJung:extra-fn, r=RalfJung

use Dlsym support to implement getentropy (and better thread spawn error)

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

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

bump rustc