use real align_offset unless we symbolic alignment check is enabled

adjust diagnostics to alignment check mode

document -Zmiri-symbolic-alignment-check

make alignment check integer-based by default, and add an option to make it symbolic

Auto merge of #1510 - RalfJung:stderr, r=RalfJung

fix Stderr::as_file_handle error message

fix Stderr::as_file_handle error message

Auto merge of #1509 - samrat:fd-trait-fixes, r=RalfJung

Remove lifetime from FileDescriptor trait

Also:
- Type annotate `handles` declaration, instead of annotating every insert.
- Add note about flush being unnecessary when writing to stderr

Addresses comments in #1495 and #1497

Remove unnecessary whitespace

Co-authored-by: Ralf Jung <post@ralfj.de>

Remove lifetime from FileDescriptor trait

Also:
- Remove type annotate `handles` declaration instead of every insert.
- Add note about flush being unnecessary when writing to stderr

Auto merge of #1504 - RalfJung:ill-formed-const, r=RalfJung

add test for unused ill-formed constant

Once https://github.com/rust-lang/rust/pull/75339 lands, this test should pass.

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

rustup

add test for unused ill-formed constant

also use better span in TopFrameInfo

Auto merge of #1507 - rust-lang:get_static, r=RalfJung

Bump for rustc changes

rustc-side: https://github.com/rust-lang/rust/pull/75394

rustup

Bump for rustc changes

Auto merge of #1506 - RalfJung:test-isolation, r=RalfJung

make sure opening a file fails with isolation enabled

make sure opening a file fails with isolation enabled

Auto merge of #1503 - RalfJung:post-mono, r=RalfJung

accept some post-monomorphization errors

For https://github.com/rust-lang/miri/issues/1382, we also need to allow `ReferencedConstant` post-monomorphization errors. The other post-monomorphization errors should still be impossible to trigger in Miri. The fix is not complete though without https://github.com/rust-lang/rust/pull/75339.

accept ReferencedConstant errors in Miri (can happen post-monomorphization)

Auto merge of #1502 - RalfJung:isolation, r=RalfJung

fs: move isolation handling to inside trait

fs: move isolation handling to inside trait

Auto merge of #1501 - samrat:fix-fs-error-handling, r=RalfJung

Bubble up errors from FileDescriptor::as_file_handle

Instead of indicating incorrectly that a handle was not found, return the error from `as_file_handle` indicating the operation is not supported on the FD.

Addresses some comments in #1495

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

rustup

Adjust for https://github.com/rust-lang/rust/pull/74932.
Blocked on https://github.com/rust-lang/rust/pull/75282.

rustup

Fix handling of as_file_handle error for `fullfsync`

Add FIXME's for `dup` and other syscalls to support stdin/out/err

Bubble up error from FileDescriptor::as_file_handle

...instead of handle_not_found

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

rustup

The allocator API changed *again*, adjust our test.

rustup

Auto merge of #1497 - samrat:posix-fs-refactor, r=oli-obk

Add `impl FileDescriptor` for stdin, stdout, stderr

- Use `FileDescriptor::read` for stdin reads
- Use `FileDescriptor::write` for stdout/err writes
- Handle stdout/err reads in `FileDescriptor::read`

The `FileDescriptor` trait was added in PR #1495

Closes #1486

Flush to stdout from FileDescriptor::write for `Stdout`

Also, remove unnecessary `-Zmiri-disable-isolation` in test

Add `impl FileDescriptor` for stdin, stdout, stderr

- Use `FileDescriptor::read` for stdin reads
- Use `FileDescriptor::write` for stdout/err writes
- Handle stdout/err reads in `FileDescriptor::read`

Auto merge of #1495 - samrat:fd-trait, r=oli-obk

Add FileDescriptor trait to abstract fn's on File's and Stdin,Stdout,Stderr

Related issue: #1486

Instead of mapping FDs to `FileHandle`, map them to a `FileDescriptor` trait object. The goal is to eventually have both `FileHandle` as well as `Stdin`, `Stdout` and `Stderr` implement this trait so that syscalls involving FDs can handle both `File`s as well as the standard IO streams.

This PR adds the `FileDescriptor` trait and an `impl` for `FileHandle`. I'll open a separate PR for implementing the trait for the standard IO streams.

Remove unnecessary `clone()` on `writable`

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

rustup; inner_deref has been stabilized

miri and cargo-miri now use no nightly features (except for miri's using `rustc_private`, of course) :D

rustup; inner_deref has been stabilized

Wrap io::Result from `FileDescriptor::{read,write,seek}` in InterpResult

The outer InterpResult will be used to indicate that a fn is not
implemented for a struct(eg. `write` for Stdin).

The inner io::Result is just the result from the read/write/seek.

Add FileDescriptor trait to abstract fn's on File's and Std{in,out,err}

Auto merge of #1494 - RalfJung:stack-unwind-top, r=RalfJung

test unwinding past topmost frame of a stack

This tests https://github.com/rust-lang/rust/pull/74984

test unwinding past topmost frame of a stack

rustup; fix linked_list test

Auto merge of #1493 - RalfJung:track-test, r=RalfJung

test track_caller on trait objects

Adds a Miri-side test for https://github.com/rust-lang/rust/issues/74764.

test track_caller on trait objects

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

Rustup

Adjusting for @oli-obk' log changes.

While at it I also removed the `*_of_val` intrinsics that got moved to rustc (Cc @ecstatic-morse).

remove upstreamed intrinsic impls

rustup

Auto merge of #1491 - RalfJung:xargo-check, r=RalfJung

only check-build the dummy xargo project

No reason to actually emit any object code.
This helps with some strange ICEs when testing Miri in the rustc workspace.

only check-build the dummy xargo project

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

rustup for new folder layout

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

Blocked on a xargo release with https://github.com/japaric/xargo/pull/301.

rustup for new folder layout

Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk

Adjust for new rustc alloc ID handling and deallocate thread-local statics

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

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

rustup and test fixes

Typos

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

fix diagnostics printing when triggered during TLS dtor scheduling

deallocate thread-local statics when the thread dies

fix and test order of TLS dtors and thread joining

test referencing unsupported extern static

get_or_create_thread_local_alloc_id: share code with Memory::get_global_alloc

adjust to canonical_alloc_id removal

Auto merge of #1487 - pnadon:miri-rename-undef-uninit, r=RalfJung

Miri rename undef uninit

The changes made here are related to [issue #71193 on Rust](https://github.com/rust-lang/rust/issues/71193), and the pull request [74664 on Rust](https://github.com/rust-lang/rust/pull/74664).

1. renamed `ScalarMaybeUninit::not_undef` to `check_init`
2. renamed `Immediate::to_scalar_or_undef` to `Immediate::to_scalar_or_uninit`

Changed not_undef to check_init in foreign_items.rs

Due to changes from upstream, a commit using not_undef was inserted, which had to be updated to use check_init.

related issue #71193

Updated Rust version to latest master

Updated Rust version since the latest version contains changes which allow this version of Miri to build.

renamed Immediate::to_scalar_or_undef

to Immediate::to_scalar_or_uninit

in src/shims/intrinsics.rs

related issue #71193

renamed ScalarMaybeUninit::not_undef to check_init

Related to PR https://github.com/rust-lang/rust/pull/74664

Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk

 Miri: use extern fn to expose interpreter operations to program; fix leak checker on Windows

This is the Miri side of https://github.com/rust-lang/rust/pull/74681.

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

update rust-version

document Miri extern functions

enable leak check tests on Windows

add a Miri extern fn to mark an allocation as being a static root for leak checking

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>