miri subtree update #149022
miri subtree update #149022
Conversation
epoll: use more idiomatic way to consume iterator
'cargo update' the main crates
GenMC (v0.14.1) no longer depends on LLVM when built as a library. This commit adjust genmc building and shim accordingly.
GenMC v0.14.1 does not throw an error internally if the config is invalid, but rather returns an appropriate error value. This commit has setup code in Miri check the returned value, and exit if there are any errors.
The new error-reporting mechanism of GenMC changed its public API. This commit adjusts the Miri interface accordingly (all driver calls need an extra argument that represents possible debugging information).
When GenMC says that an execution should not be explored further, Miri needs to know why (e.g., so that it returns an appropriate exit value). Until now, some (erroneous) heuristics were used for that. This commit changes the Miri/GenMC API to check the scheduling result of GenMC (that now reflects the "stop type").
Now GenMC can be built as a standalone library, without LLVM dependencies.
This updates the rust-version file to 69d4d5f.
Pull recent changes from https://github.com/rust-lang/rust via Josh. Upstream ref: 69d4d5f Filtered ref: a26d495b52327d29e0d66ac3050932a98a0ad6bb Upstream diff: rust-lang/rust@7a72c54...69d4d5f This merge was created using https://github.com/rust-lang/josh-sync.
Automatic Rustup
genmc: Build without LLVM; adjust to API changes
…ildcard-provenance initial implementation of wildcard provenence for tree borrows
emit stashed diagnostics before flushing delayed errors
|
The Miri subtree was changed cc @rust-lang/miri |
rustbot
added
the
S-waiting-on-review
|
These commits modify the If this was unintentional then you should revert the changes before this PR is merged. |
|
@bors r+ |
bors
added
S-waiting-on-bors
|
☀️ Test successful - checks-actions |
What is this?This is an experimental post-merge analysis report that shows differences in test outcomes between the merged PR and its parent PR.Comparing 66bc5a4 (parent) -> 42ebbd2 (this PR) Test differencesShow 2 test diffs2 doctest diffs were found. These are ignored, as they are noisy. Test dashboardRun cargo run --manifest-path src/ci/citool/Cargo.toml -- \
test-dashboard 42ebbd2356acd4ddfb36163ab85bce9e9292a234 --output-dir test-dashboardAnd then open Job duration changes
How to interpret the job duration changes?Job durations can vary a lot, based on the actual runner instance |
|
Finished benchmarking commit (42ebbd2): comparison URL. Overall result: no relevant changes - no action needed@rustbot label: -perf-regression Instruction countThis benchmark run did not return any relevant results for this metric. Max RSS (memory usage)This benchmark run did not return any relevant results for this metric. CyclesResults (secondary 3.4%)A less reliable metric. May be of interest, but not used to determine the overall result above.
Binary sizeThis benchmark run did not return any relevant results for this metric. Bootstrap: 473.832s -> 475.733s (0.40%) |
6 participants
Contains the fix for rust-lang/miri#4698, which we should get shipped ASAP.
Subtree update of
mirito rust-lang/miri@0fea24a.Created using https://github.com/rust-lang/josh-sync.
r? @ghost