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

cargo update

cargo update

Auto merge of #914 - christianpoveda:use-host-rng, r=RalfJung

Use host's rng when communication is enabled

This uses the host's randomness when the communication enabled flag is used. I am not sure about the error handling. I was thinking about fallbacking to `rand` if `getrandom` fails and also print something so the user knows miri is not using the host's rng because it failed. Let me know what you think.

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

r? @RalfJung @oli-obk

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

bump Rust

bump Rust

Update -Zmiri-enable-communication docs

Use err_unsup_format instead

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

test arrray try_from (interesting const generic usage)

Currently fails, see https://github.com/rust-lang/rust/pull/62435#issuecomment-511100890.

Blocked on https://github.com/rust-lang/rust/issues/62790.

bump Rust

test arrray try_from (interesting const generic usage)

Use host's rng when communication is enabled

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

test some new uninit APIs

test some new uninit APIs

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

fix test failure due to my own lint

fix test failure due to my own lint

Auto merge of #911 - RalfJung:typed-op, r=RalfJung

Adjust for typed binops

update Rust

adjust for typed binary/unary_op

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

travis: do not install cargo from master

This tests the rpath hackery in `./miri`.

rustup update

travis: do not install cargo from master

Auto merge of #909 - RalfJung:deny-warn, r=oli-obk

deny warnings on CI

fix warning

deny warnings on CI

Auto merge of #863 - RalfJung:deref-checks, r=RalfJung

adjust tests for eager pointer checks on deref

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

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

bump Rust

remove dead code

adjust for fn rename

adjust tests for eager pointer checks on deref

Auto merge of #907 - christianpoveda:env-vars-shim, r=RalfJung

Move env shims to its own module

r? @RalfJung

Delegate writing to emulate_foreign_item

Move env shims to its own module

Auto merge of #894 - christianpoveda:env-vars-communication, r=RalfJung

Enable env communication

related issue: https://github.com/rust-lang/miri/issues/800. r? @RalfJung

Remove tcx parameter for EnvVars::alloc_env_value

Rename export for shims::env::EnvVars

Test env isolation

Reorganize shims::env::EnvVars

Move test env var to test_runner

Wrap hashmap for env vars in its own type

Auto merge of #906 - RalfJung:tls, r=RalfJung

make TLS state private to TLS module

make TLS state private to TLS module

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

it's called RUSTC_CTFE_BACKTRACE now

it's called RUSTC_CTFE_BACKTRACE now

Auto merge of #902 - RalfJung:ldexp, r=RalfJung

use apfloat for ldexp

typo

ldexp: test overflow behavior

clamp ldexp exponent to i16

also support scalbn itself

Auto merge of #899 - RalfJung:generators, r=RalfJung

More generator tests

Cc @tmandry -- do these look reasonable for checking the new "partial init" case that was discovered?

use apfloat for ldexp

Auto merge of #901 - RalfJung:protected, r=RalfJung

test that even &Cell must be dereferencable

Behavior here changed (deliberately) with Stacked Borrows 2; just making sure we notice when/if it ever changes again.

test that even &Cell must be dereferencable

Auto merge of #900 - RalfJung:miri, r=RalfJung

local rustc builds now also need a sysroot built

With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.

local rustc builds now also need a sysroot built

With the test-miri flag gone, the libstd of local builds isn't good enough for Miri any more.

bump Rust version

add async fn with partial initialization

simplify async-fn tests

test generator that yields during initialization of struct with uninhabited field

Auto merge of #896 - tmandry:add-generator-uninhabited-test, r=RalfJung

Add generator, async tests with uninhabited saved local

See discussion in https://github.com/rust-lang/rust/pull/63035.

Auto merge of #898 - christianpoveda:master, r=RalfJung

Use ldexp from cmath instead

Closes https://github.com/rust-lang/miri/issues/821
r? @RalfJung

Use ldexp from cmath instead

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

Cleanup after rustc bootstrap tests Miri with a separate libstd

Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.

Auto merge of #897 - RalfJung:xargo, r=RalfJung

bump xargo version

Rust bootstrap needs it for the CARGO env var handling.

bump xargo version

Add generator, async tests with uninhabited saved local

Fix formatting

Add env var test variable in compiletest

Auto merge of #895 - RalfJung:uninit, r=oli-obk

Revert "uninit intrinsic is gone"

This reverts commit fa290f1a481b0f98ed1de06206e643af8e04acd5.
Uninit is [being reinstated](https://github.com/rust-lang/rust/pull/63343) because it breaks some broken code.

Revert "uninit intrinsic is gone"

This reverts commit fa290f1a481b0f98ed1de06206e643af8e04acd5.
Uninit is being reinstated because it breaks some broken code.

Add support for env communication

Update readme

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

mention that we get the toolchain right

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

Cc @shepmaster

Add communicate field to evaluator and fix formatting

Add flag to enable communication

mention that we get the toolchain right

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

test-cargo-miri: cargo update

With both https://github.com/rust-random/getrandom/pull/74 and https://github.com/rust-lang/miri/pull/884 having landed, this should work now.

test-cargo-miri: cargo update

Auto merge of #890 - RalfJung:xargo, r=RalfJung

go back to released xargo (the experiment is done)

The experiment in https://github.com/rust-lang/rust/pull/63162 was successful, now we have to wait for a new xargo release.

go back to released xargo (the experiment is done)

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

rustup

rustup

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

fix for latest rustc

fix for latest rustc

Auto merge of #886 - Aaron1011:shim/getrandom, r=RalfJung

Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'

Apply more formatting fixes

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

Improve formatting

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

Ignore other platforms instead of using only-linux

Fix identation

Test 'libc::getrandom' as well

Add trailing comma

Add test

Cleanup formatting

Shim 'libc::getrandom' in addition to 'libc::syscall(libc::SYS_getrandom)'

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>