Miri subtree update #141859
Closed
Miri subtree update #141859
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Automatic Rustup
./miri bench: sort results alphabetically
test some aarch64 windows targets
fix zulip topic URL
Automatic Rustup
Automatic Rustup
Support F_GETFL and F_SETFL for fcntl
attempt to fix squash on Windows
Automatic Rustup
Implement file cloning on Windows
fix comment in before_stack_pop
Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> allow multiple seeds use bitsets fix xcompile listened to reason and made my life so much easier fmt Update src/machine.rs Co-authored-by: Ralf Jung <[email protected]> fixups avoid some clones Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> address review Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> fixup comment Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> address review pt 2 nit rem fn Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> Update src/alloc/isolated_alloc.rs Co-authored-by: Ralf Jung <[email protected]> address review unneeded unsafe
Isolate MiriMachine memory from Miri's
Change unsupported diagnostic wording
Co-authored-by: Ralf Jung <[email protected]> Co-authored-by: Johannes Hostert <[email protected]>
TB: Track permissions on the byte-level
cargo-miri: recognize --verbose alongside -v
Automatic Rustup
Remove useless file
Automatic Rustup
The test did `write` and `read` and hoped that it would read/write everything, which doesn't always happen and caused CI failures. Switch to `write_all` and `read_to_end` to make it more reliable.
…-a-lot-instead Fix tokio/file-io.rs test relying on `read`/`write` not being short
Tokio `AsyncWriteExt::write` doesn't actually ensure that the contents have written, it just *starts* the write operation. To ensure that the file has actually been written, we need to `sync_all` first.
rustbot
added
the
S-waiting-on-review
|
The Miri subtree was changed cc @rust-lang/miri |
|
The job Click to see the possible cause of the failure (guessed by this bot) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
9 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
r? @ghost
Includes rust-lang/miri#4370 to unbreak PR CI. (So we're committing to having 0b89724e1 in the Miri history by landing this, whether or not that Miri PR lands.)
Cc @Noratrieb @tiif