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

rustup; account for ptr_offset_from stabilization

@bors r+

rustup; account for ptr_offset_from stabilization

Auto merge of #1523 - RalfJung:test-matrix, r=RalfJung

tweak test matrix

* test big-endian architecture
* test less on macOS host (it is slow)

fix a test for big-endian targets

tweak test matrix: test big-endian, and test less on macOS host (it is slow)

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

emphasize that some flags are unsound to use

emphasize that some flags are unsound to use

Auto merge of #1521 - workingjubilee:bump-cargo-metadata, r=RalfJung

Bump cargo_metadata to 0.11

Bump cargo_metadata to 0.11

Auto merge of #1518 - workingjubilee:remove-byteorder, r=RalfJung

Remove byteorder dependency

miri hasn't actually depended on byteorder directly for a while.
Let's remove this dependency so Rust also depends less on it.

Update lockfile

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

avoid promotion in alignment test to get different alignment on each try

avoid promotion in alignment test to get different alignment on each try

Remove byteorder dependency

miri hasn't actually depended on byteorder directly for a while.
Let's remove this dependency so Rust also depends less on it.

Auto merge of #1517 - RalfJung:align-test, r=RalfJung

forgot to add alignment test loop in one test

As expected, checking the physical integer address made alignment tests fragile, and I forgot to add the retry loop for this one.

forgot to add alignment test loop in one test

Auto merge of #1513 - RalfJung:int-align, r=RalfJung

add option to use force_int for alignment check

Fixes https://github.com/rust-lang/miri/issues/1074. Depends on https://github.com/rust-lang/rust/pull/75592.

make another test more robust against random alignment

rustup

tweak alignment check docs

make sure we test panic of interpreter-impelemted align_offset

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