make miri_start_panic intrinsic an FFI function

Auto merge of #1482 - canova:remote-unreachable, r=RalfJung

Remove unreachable intrinsic

This is now supported by the interpreter with https://github.com/rust-lang/rust/pull/74459. We can remove this intrinsic implementation here.
This is covered by this test: https://github.com/rust-lang/miri/blob/master/tests/compile-fail/unreachable.rs

I guess we need to wait until the rust-lang/rust PR merges into nightly, and then we can update `rust-version` hash in the PR, right?

r? @oli-obk

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

rustup

Following https://github.com/rust-lang/rust/pull/69749 I added some `ty::ParamEnv::reveal_all()` even though @eddyb advised me in the past to avoid those.

rustup

Auto merge of #1483 - RalfJung:fs-errno, r=RalfJung

set errno on stdout write failure

set errno on stdout write failure

Auto merge of #1436 - samrat:support-stdin-read, r=RalfJung

Handle `read`s on STDIN

Closes #1434

Remove unreachable intrinsic

Remove unnecessary cast

Ensure buffer for reading from Stdin is smaller than machine usize

Also, set appropriate error code on failure

Auto merge of #1480 - RalfJung:diagnostic-stacktrace-fix, r=oli-obk

fix non-fatal diagnostics stacktraces

Our non-fatal diagnostics are printed *after* completing the step that triggered them, which means the span and stacktrace used for them is that of the *next* MIR statement being executed. That's quite bad, obviously, as pointing to where in the source something happens is their entire point.

Here's an example:
```rust
use std::ptr;

static mut PTR: *mut u8 = ptr::null_mut();

fn get_ptr() -> *const u8 { unsafe { PTR }}

fn cause_ub() { unsafe {
    let _x = &*get_ptr();
} }

fn main() { unsafe {
   let mut l = 0;
   PTR = &mut l;
   let r = &mut *PTR;
   cause_ub();
   let _x = *r;
} }
```
This example is UB; if you track the pointer tag that is given in the final error, it points to the entire body of `cause_ub` as a span, instead of the `&*get_ptr();`.

I am not sure what the best way is to fix this. The cleanest way would be to capture a stack trace before the step and use it in case of a diagnostic, but that seems silly perf-wise. So instead I went with reconstructing the old stacktrace by going back one step in the MIR. This is however not possible if we were executing a `Terminator`... I think those cannot cause diagnostics but still, this is not great.

Any ideas?
r? @oli-obk

fix typo

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

fix non-fatal diagnostics stacktraces

Auto merge of #1479 - RalfJung:fs-nocast, r=RalfJung

fs: remove an unnecessary intermediate cast

remove an unnecessary intermediate cast

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

make cfg(miri) greppable

make cfg(miri) greppable

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

rustup; fix Windows TLS

rustup; fix Windows TLS

Read into buffer of fixed size for `read`s to STDIN

Also:
- Check isolation is disabled.
- Add FIXMEs to set error numbers in `read` and `write`.

Auto merge of #1475 - RalfJung:dangcast, r=RalfJung

test casting a dangling ptr back from an int

test casting a dangling ptr back from an int

Auto merge of #1474 - RalfJung:canonical, r=RalfJung

go back to using canonicalize()

Newer xargo should hopefully work with the paths this produces on Windows.

go back to using canonicalize()

Handle `read`s on STDIN

Auto merge of #1473 - Stupremee:no-ice-if-no-main-fn, r=oli-obk

Early exit if program doesn't contain a main function

Resolves #1452

Move no_main test to compile-fail

Add ui test for early exiting if no main

Early exit if program doesn't contain a main fn

Auto merge of #1472 - RalfJung:abs, r=RalfJung

better way to get an absolute path

suggested by @matklad

Cleanup code

Co-authored-by: Aleksey Kladov <aleksey.kladov@gmail.com>

better way to get an absolute path

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

on Windows, strip the '\\?\' prefix from the canonical path

This should help with https://github.com/rust-lang/rust/pull/74146#issuecomment-655723028

on Windows, strip the '\\?\' prefix from the canonical path

Auto merge of #1470 - RalfJung:machine-tracking, r=RalfJung

we cannot track all machine memory any more due to int-ptr-casts

Fixes a regression introduced by https://github.com/rust-lang/rust/pull/74006

we cannot track all machine memory any more due to int-ptr-casts

Auto merge of #1468 - RalfJung:uninit-validation, r=RalfJung

Test uninit memory validation

This adds the tests for https://github.com/rust-lang/rust/pull/74059.

rustup

adjust error messages

test validation of uninit memory (used to ICE)

Auto merge of #1469 - RalfJung:relative, r=RalfJung

support relative XARGO_RUST_SRC

support relative XARGO_RUST_SRC

Auto merge of #1466 - RalfJung:target, r=RalfJung

set --target when building miri

This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See https://github.com/rust-lang/cargo/issues/8440.

set --target when building miri

This helps cargo tell apart `./miri` builds and `cargo check` (e.g. through rust-analyzer).
See https://github.com/rust-lang/cargo/issues/8440.

Auto merge of #1465 - nbdd0121:patch-1, r=RalfJung

Remove likely and unlikely from intrinsics shim

They are now implemented in MIR interpreter by rust-lang/rust#73778

Remove likely and unlikely from intrinsics shim

They are now implemented in MIR interpreter by rust-lang/rust#73778

Auto merge of #1463 - RalfJung:track-call-id, r=oli-obk

add option to track call IDs

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

rustup

rustup

add option to track call IDs

Auto merge of #1462 - RalfJung:ignore-windows, r=RalfJung

fix some ignore-windows comments

and make that more consistent

fix some ignore-windows comments

Auto merge of #1461 - RalfJung:rwlock-win, r=oli-obk

Implement rwlocks on Windows

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

move rwlock dequeuing to shared code, and use that code for Windows rwlocks

Move get/set_at_offset helpers to global helpers file

with this, we support panics on Windows

implement Windows SRWLock shims

introduce platform-specific module hierarchy for dlsym (similar to foreign_items)

Auto merge of #1460 - RalfJung:modules, r=RalfJung

Re-organize platform-specific shims

Move platform-specific code to `shims::{posix::{linux, macos}, windows}`. Also make it private in these modules to ensure we are reasonably structured.

module organization: move platform-specific code to shims::{posix::{linux, macos}, windows}

Rename shims::{sync -> posic_sync} and move sync_singlethread test to other sync test

Auto merge of #1459 - RalfJung:ptr_guaranteed_eq, r=RalfJung

supply our own implementation of the CTFE pointer comparison intrinsics

supply our own implementation of the CTFE pointer comparison intrinsics

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

bump Rust

bump Rust

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

rustup

rustup

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

Rustup

also stop testing with mir opts as they are currently broken

rustup; stop testing with mir opts as they are currently broken

add a miscompilation test

Auto merge of #1454 - RalfJung:test-raw-ptr, r=RalfJung

Test raw_ptr macro

Make sure it can create pointers to packed fields, but *cannot* deref dangling or unaligned (raw) pointers.

unaligned-raw-deref is always UB

make sure the raw_ptr macros also avoid UB

make sure '&raw *' on a dangling raw ptr is UB

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

bump Rust

bump Rust

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

rustup

rustup

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

rustup

rustup

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

rustup; and a bit of UnsafeCell detection refactoring

rustup; and a bit of UnsafeCell detection refactoring

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

rustup

This seems to be the latest version that works before *something* broke -- so let's make this a baseline.

rustup

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

rustup

just making sure everything keeps working

rustup

Auto merge of #1418 - divergentdave:file-sync, r=RalfJung

Add file sync shims

This PR adds shim implementations for these related file syncing functions.
* `fsync`, for POSIX targets, backed by `File::sync_all()`
* `fdatasync`, for POSIX targets, backed by `File::sync_data()`
* `fcntl` with command `F_FULLFSYNC`, for macOS targets, backed by `File::sync_all()`
* `sync_file_range`, for Linux targets, backed by `File::sync_data()`

Extract common logic for Windows host workaround

Auto merge of #1445 - JOE1994:patch-1, r=RalfJung

Add a case to list of 'StackedBorrows violations'

A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing :+1:

Add a case to list of 'StackedBorrows violations'

A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing :+1:

Finish fixing Windows host support

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

rustup, and adjust timing tests

I saw a timing failure on macOS, so leave some more slack space.

rustup, and adjust timing tests

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

rustup

Just quickly get things to work with the TLS changes.

Eventually I'll look into properly making use of the new infrastructure, but I don't have time right now.

rustup

Auto merge of #1440 - RalfJung:wtf8, r=RalfJung

test WTF8 encoding corner cases

This adds a Miri-side test for https://github.com/rust-lang/rust/issues/72760.

Blocked on https://github.com/rust-lang/rust/pull/72683.

rustup

test WTF8 encoding corner cases

Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung

Synchronization primitive cleanup

Make some methods infallible, move a bit more work into the platform-independent `sync.rs`, and fix a bug in rwlock unlocking.

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

rustup, adjust error message