Fix compilation errors after rebase.

Small fixes.

Fix #1419.

Small changes.

Rewrite notify all test.

Small changes.

Change the scheduling to execute timeout callbacks first.

Small changes.

Add comments explaining the declare_id macro.

Change how the time is handled.

Cleanup Condvar tests.

Add a timeout test for conditional variables.

Move all run-pass synchronization primitive tests to sync.rs.

Improve code readability and comments.

Cleanup.

Implement support for synchronization primitives.

Auto merge of #1432 - RalfJung:int-size, r=RalfJung

use helper method to compute size of int type

use helper method to compute size of int type

Auto merge of #1426 - RalfJung:no-wrapper, r=RalfJung

unset RUSTC_WRAPPER for xargo invocation

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

@bjorn3 @oli-obk do you think that is a reasonable way to solve this issue?

unset RUSTC_WRAPPER for xargo invocation

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

rustup

Just making sure it all still works.

rustup

Auto merge of #1430 - RalfJung:unsize, r=RalfJung

add interesting unsizing test

@bors r+

add interesting unsizing test

Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung

test discriminant_value intrinsic

Make sure this works for all types, not just enums/generators.

test discriminant_value intrinsic

Auto merge of #1374 - divergentdave:InvalidUndefBytes, r=RalfJung

InvalidUndefBytes: Update to match rustc changes

This is a companion PR for rust-lang/rust#71610. This won't build yet, but we may need these changes in a future rustup.

rustup

Update to match rustc changes

Auto merge of #1428 - RalfJung:shim-arg-size-verify, r=RalfJung

verify the size of all shim arguments

verify the size of all shim arguments

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

rustup, and now we also need to install llvm-tools

Fixes fallout from https://github.com/rust-lang/rust/pull/72000

rustup, and now we also need to install llvm-tools

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

rustup

Make sure that https://github.com/rust-lang/rust/pull/72425 helped

rustup

Auto merge of #1424 - RalfJung:dlsym, r=RalfJung

prepare Dlsym system for dynamic symbols on Windows

This makes progress towards https://github.com/rust-lang/miri/issues/1059.

also pretend GetSystemTimePreciseAsFileTime does not exist

GetProcAddress: basic validation for hModule argument

disentangle macos and linux dlsyms

prepare Dlsym system for dynamic symbols on Windows

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

rustup

No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425.

rustup

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

rustup

adjust test for changed allocation strategy

adjust for changed allocation strategy

Auto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung

fix libstd rebuilds due to RUSTFLAGS changes

Until recently we were always overwriting `RUSTFLAGS`, but we stopped doing that when moving to `MIRI_BE_RUSTC`. That introduced the regression in https://github.com/rust-lang/miri/issues/1410. This fixes it.

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

fix libstd rebuilds due to RUSTFLAGS changes

Auto merge of #1415 - RalfJung:test-suite-filter, r=RalfJung

add test suite filter example to README and 'cargo miri --help'

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

add test suite filter example to README and 'cargo miri --help'

Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung

use new rustc_driver::catch_with_exit_code

use new rustc_driver::catch_with_exit_code

Auto merge of #1411 - RalfJung:ci, r=RalfJung

test Linux on macOS host

This accidentally got lost in https://github.com/rust-lang/miri/pull/1407

test Linux on macOS host

Auto merge of #1407 - RalfJung:appveyor, r=RalfJung

Share CI code between Travis and AppVeyor

always lock on CI

Windows CI: rely on stable cargo

fix python interpreter on Windows

fix warnings for non-Unix builds

play with bash on AppVeyor

Also consistently order and format our two CI files

Auto merge of #1409 - RalfJung:compiletest-no-rustc, r=RalfJung

compiletest: no need to call rustc here

This also means we do not need the `RUSTC_TEST_SUITE` env var any more.

fmt

compiletest: no need to call rustc here

Auto merge of #1408 - RalfJung:comments, r=RalfJung

fix some comments, and run_compiler return type

fix some comments, and run_compiler return type

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

cargo-miri: never invoke rustc

Always go through 'MIRI_BE_RUSTC=1 miri' instead. This is based on @oli-obk's great idea to add a way to make Miri behave like rustc, which already helped us in https://github.com/rust-lang/miri/pull/1405. Now it means in `cargo-miri` we run *all* crates through the same binary, and use the env var to determine if we compile or interpret them. This makes sure the compiler is consistent.

The `rustc` binary of the current toolchain is now not used at all, only the `miri` binary is. In particular this means we can kill the sysroot consistency check. :)

we do not need to set RUSTFLAGS for xargo any more as miri-as-rustc already uses these flags

fix dead link in README

cargo-miri: never invoke rustc, always go through 'MIRI_BE_RUSTC=1 miri' instead

Auto merge of #1402 - rust-lang:alloc_map_unlock, r=RalfJung

Update to rustc changes

changes needed once https://github.com/rust-lang/rust/pull/71508 gets merged

rustup

Update to rustc changes

Auto merge of #1405 - RalfJung:stage-0, r=RalfJung

make Miri work in rustc bootstrap stage 0

Fixes https://github.com/rust-lang/rust/issues/52856

Typo

adjust default sysroot when being rustc

Also while at it, refactor how we pass the default Miri flags

make Miri work in rustc bootstrap stage 0

Auto merge of #1404 - RalfJung:cargo-miri-host-detect, r=RalfJung

re-do cargo-miri host/target detection logic to match rustbuild

@oli-obk I think that's better than looking at `--emit` like we did before... what do you think?

avoid env::var which requires valid UTF-8

more comment

Wording

Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>

cargo-miri: honor RUSTC env var

re-do cargo-miri host/target detection logic to match rustbuild

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

bump Rust, fix for renames

bump Rust, fix for renames

Auto merge of #1401 - RalfJung:cargo-miri-help, r=RalfJung

fix cargo-miri intercepting --help/--version arguments

With this, `cargo miri test -- -- --help` should behave as expected and pass `--help` to the test runner.

Thanks to @brson for the report.

fix cargo-miri intercepting --help/--version arguments

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

rustup

rustup

Auto merge of #1397 - brson:tikv-2, r=RalfJung

Add two more TiKV bugs to trophy case

adjust wording

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

rustup; fix error messages

rustup; fix error messages

Add two more TiKV bugs to trophy case

Auto merge of #1396 - RalfJung:float-cast-tests, r=RalfJung

copy some float cast tests from rustc

The more the merrirer!

copy some float cast tests from rustc

Auto merge of #1394 - RalfJung:fs-mode, r=RalfJung

fs shim: check that mode is default

fs shim: check that mode is default

Auto merge of #1393 - RalfJung:arg-count-cleanup, r=RalfJung

Make sure we check argument count everywhere and argument size for non-stub shims

make sure we check the size of all arguments

fix a comment now that we have concurrency

make sure we check argument count everywhere

deduplicate FD extraction