test BTreeMap::drain_filter for leaks

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

Rustup, expand collection tests

expand collection tests

rustup

Auto merge of #1511 - samrat:more-fd-trait-ops, r=RalfJung

Implement dup and close for stdin/stdout/stderr

Implements some of the operations for stdin/out/err, towards #1499

Implement dup and close for stdin/stdout/stderr

Support F_DUPFD on stdin/stdout/stderr

Enable `close`-ing stdin/stdout/stderr

For `dup`, check if FD is `File` first

If not, clone the appropriate standard IO stream

Merge POSIX `close` and `dup` tests into same module

Also, add assertion that `write` on a closed FD returns an error.

Add `dup` as FileDescriptor trait fn

Also:
- Fix `close` so it drops `self` instead of reference to it
- Remove FD clamping in insert_fd_with_min_fd, since FDs 0-2 can be
closed

Fix fs_libc tests

Make error message when closing stdin/out/err more specific

Return io::Result from `FileDescriptor::dup`

Change error message when closing stdin/out/err

Refactor `FileDescriptor::dup` impl for `FileHandle`

Remove empty line

Auto merge of #1536 - divergentdave:nanosleep, r=RalfJung

Nanosleep

This PR adds a shim for `libc::nanosleep`, (available under -Zmiri-disable-isolation only) which backs `thread::sleep` on Linux and macOS. I started off by extracting the `timespec` parsing from the `pthread_cond_timedwait` shim into a helper method, and adding checks for invalid values. The second commit adds the new shim and a small test. The shim blocks the current thread, and registers a timeout callback to unblock the thread again, using the same method as `pthread_cond_timedwait` does.

Use try block instead of closure

Update comment

Simplify read_timespec error handling

Review comments

Auto merge of #1539 - RalfJung:issue, r=RalfJung

float test case: fix referenced issue

fix referenced issue

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

rustup: work around rustc optimizations becoming too smart

use standard black_box function

another optimization work-around

better optimization suppression

Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>

test opt-level 2

work around rustc optimizations becoming too smart

Implement libc::nanosleep shim

Refactor timespec parsing, improve error handling

Auto merge of #1534 - LeSeulArtichaut:tys-kind, r=RalfJung

Change `ty.kind` -> `ty.kind()`

This fixes build failure due to rust-lang/rust#75077, cc rust-lang/rust#76337.
(This is my first PR here, please tell me if anything's wrong)

Change `ty.kind` -> `ty.kind()`

Auto merge of #1532 - divergentdave:thread-panic-payload, r=RalfJung

Move panic payload state from Machine to Thread

This PR moves the panic payload storage from the `Machine` state to per-thread state. Prior to this change, if one thread panicked while another was still unwinding, Miri would fail with `thread 'rustc' panicked at 'the panic runtime should avoid double-panics', src/shims/panic.rs:51:9`. I ran into this issue while prototyping a round-robin scheduler, but it's also reachable with the current scheduler and contrived programs that use blocking API calls to cause thread switching during unwinding. I wrote a test case along those lines for this change.

Add comment

Per-thread errno storage

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

rustup, fix test

Cc https://github.com/rust-lang/rust/issues/76190

rustup, fix test

Review comments

Move panic payload state from Machine to Thread

Auto merge of #1531 - divergentdave:cargo-miri-targets-test, r=RalfJung

Test cargo miri target selection

This is a followup to #1525, adding a few test invocations with targets specified in the cargo arguments.

Test cargo miri target selection

Auto merge of #1525 - divergentdave:cargo-miri-targets, r=RalfJung

Support --test/--bin/--lib in cargo-miri

This PR addresses a FIXME in cargo-miri, and filters the targets to be checked when any of the `--bin`, '--test`, or `--lib` flags are passed.

Review comments

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

rustup

Another day, another `AllocRef` API change.

rustup

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

add encoding_rs OOB arithmetic to trophy case

add encoding_rs OOB arithmetic

Review comments

Support --test/--bin/--lib in cargo-miri

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