Auto merge of #885 - Aaron1011:fix/f-round, r=RalfJung

Add misssing 'roundf32' and 'roundf64' intrinsics

Add test for f32::round and f64::round

Auto merge of #884 - Aaron1011:fix/linux-getrandom, r=RalfJung

Allowing passing a null pointer to getrandom() when length is 0

The Linux kernel will handle a null pointer passed to 'getrandom'
without error, as long as the length is also 0. The `getrandom` crate
relies on this behavior: https://github.com/rust-random/getrandom/blob/ab44edf3c7af721a00e22648b6c811ccb559ba81/src/linux_android.rs#L26

Since it works fine on the actual kernel (and should continue to, due to
the kernel's backwards-compatibility guarantees), Miri should support it
as well.

Replace match with expect()

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

README: add getrandom bug

Add misssing 'roundf32' and 'roundf64' intrinsics

Add semicolon

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

Do nothing when we try to generate random data of length 0

This preserves compatibility with programs that pass a null pointer and
a length of zero to getrandom(), or their platform's equivalent.

add getrandom bug

Auto merge of #883 - RalfJung:gen_random, r=RalfJung

gen_random helper: move ptr argument to front

This matches, for example, the `getrandom` syscall.

gen_random helper: move ptr argument to front

Auto merge of #876 - RalfJung:atomic, r=RalfJung

check that atomics are sufficiently aligned

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

one more place -> ptr rename

places and pointers are not the same thing; this is a place

check that atomics are sufficiently aligned, and add test

test AtomicU64

consolidate atomic tests

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

install xargo from git temporarily

This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.

use postfix negation instead of prefix

install xargo from git temporarily

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

adjust for rustc changes

adjust error messages in tests

test memalign contract (rustc is fixed)

adjust for rustc changes

Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung

Add shim for ldexp

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

r? @RalfJung

Formatting

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

annotate some unwraps with better messages

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

Add shim for ldexp

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