update Miri #110953
Closed
update Miri #110953
Conversation
This file contains 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
rustup `@oli-obk` I think this is the resolution we agreed to on Zulip?
Co-authored-by: Ben Kimock <[email protected]>
Add shim for SIGRTMIN Fixes rust-lang/miri#2832.
throw unsupported for `epoll_wait` This PR throws unsupported to indicate miri doesn't yet return ready events. Previously it always returned 0, indicating no ready events, even if events for the epoll file descriptor may have been ready.
add memcpy/strcpy/strncpy shims fix bug add memcpy/strcpy/strncpy shims add a test for strncpy remove strncpy shim
add `memcpy` and `strcpy` shims
compiletest: complain about unknown flags This would have avoided rust-lang#110102
Update to new ui_test crate
Rustup Also add a test for rust-lang#110233
* additional * addresses * aggregates * always * around * beginning * behaviours * borrows * called * canary * deallocated * determine * division * documentation * empty * endianness * ensures * existing * github * hygiene * individual * initialize * instantiate * library * location * miscellaneous * mitigates * needs * nonexistent * occurred * occurring * overridden * parameter * performable * previous * referential * requires * resolved * scenarios * semantics * spurious * structure * subtracting * suppress * synchronization * this * timestamp * to * transferring * unknown * variable * windows Signed-off-by: Josh Soref <[email protected]>
Spelling This PR corrects misspellings identified by the [check-spelling action](https://github.com/marketplace/actions/check-spelling). The misspellings have been reported at https://github.com/jsoref/miri/actions/runs/4699927237#summary-12751183650 The action reports that the changes in this PR would make it happy: https://github.com/jsoref/miri/actions/runs/4699927572#summary-12751184493
Remove a test that wasn't carrying its weight See rust-lang#110107 (comment) for discussion. TLDR: it keeps breaking out of unrelated reasons and the real thing to check (early alloc ids can be tracked without ICEing miri) is hard to check otherwise.
disable preemption in tokio tests again The comment even still says we need preemption disabled, but the flag got lost in rust-lang/miri#2764.
fix endianess handling in eventfd::write Fixes rust-lang/miri#2800
Bump libffi-sys to 2.3.0 Bump libffi-sys to 2.3.0 that includes LoongArch support. Thanks
Tree Borrows: improved diagnostics Better diagnostics for Tree Borrows violations. - Shows where the conflicting tags (the one that was accessed and the one that had a permission or protector that caused UB) were reborrowed, which is more readable than only `<TAG>` - Shows a small history of what happened for the faulty tag to get there (which lines caused it to lose read/write permissions) - Explains permissions and transitions in natural language (e.g. "does not have read permissions" instead of "is Disabled") Not perfect, but at least testing TB will be less confusing. Lack of range information from `RangeMap` makes selection of relevant events nontrivial: we reconstruct history from knowledge of `(initial, final)` and `(offset, pi, p'i)` so that `initial -> final = p1 -> p1' = p2 -> p2' = p3 -> ... = final `
rustbot
added
the
S-waiting-on-review
|
These commits modify the If this was intentional then you can ignore this comment. The Miri subtree was changed cc @rust-lang/miri |
|
Unfortunately I had to use a hacked josh-proxy again for this update. This is probably related to the fact that the last rustc-pull in Miri came with some conflicts that had to be resolved by hand. The new tree round-trips properly though and the diff looks good, so I think it should be fine. |
|
@bors r+ |
|
🌲 The tree is currently closed for pull requests below priority 50. This pull request will be tested once the tree is reopened. |
bors
added
S-waiting-on-bors
|
@bors p=1 |
|
⌛ Testing commit 33f4d92 with merge 56fe046e4f41733864407cec15d2e1ba90afce77... |
|
The job Click to see the possible cause of the failure (guessed by this bot) |
|
💔 Test failed - checks-actions |
bors
added
S-waiting-on-review
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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
Cc @rust-lang/miri