clamp ldexp exponent to i16

also support scalbn itself

use apfloat for ldexp

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.

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

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.

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

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>

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

more consistent test name

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

test-miri is no longer a thing

the compile-fail-norustc hack is no longer needed

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