Skip to content

Commit 964ff01

Browse files
committed
Auto merge of rust-lang#117165 - RalfJung:miri, r=RalfJung
Miri subtree update r? `@ghost`
2 parents b66fe58 + 51ae1fe commit 964ff01

26 files changed

+442
-250
lines changed

src/tools/miri/ci.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ case $HOST_TARGET in
108108
MIRI_TEST_TARGET=aarch64-unknown-linux-gnu run_tests
109109
MIRI_TEST_TARGET=aarch64-apple-darwin run_tests
110110
MIRI_TEST_TARGET=i686-pc-windows-gnu run_tests
111-
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple atomic data_race env/var
111+
MIRI_TEST_TARGET=x86_64-unknown-freebsd run_tests_minimal hello integer vec panic/panic concurrency/simple atomic env/var
112112
MIRI_TEST_TARGET=aarch64-linux-android run_tests_minimal hello integer vec panic/panic
113113
MIRI_TEST_TARGET=wasm32-wasi run_tests_minimal no_std integer strings wasm
114114
MIRI_TEST_TARGET=wasm32-unknown-unknown run_tests_minimal no_std integer strings wasm

src/tools/miri/rust-version

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
9e3f784eb2c7c847b6c3578b373c0e0bc9233ca3
1+
2e4e2a8f288f642cafcc41fff211955ceddc453d

src/tools/miri/src/borrow_tracker/tree_borrows/tree.rs

+5-7
Original file line numberDiff line numberDiff line change
@@ -661,13 +661,11 @@ impl<'tcx> Tree {
661661
for (perms_range, perms) in self.rperms.iter_mut_all() {
662662
let idx = self.tag_mapping.get(&tag).unwrap();
663663
// Only visit initialized permissions
664-
if let Some(p) = perms.get(idx) && p.initialized {
665-
TreeVisitor {
666-
nodes: &mut self.nodes,
667-
tag_mapping: &self.tag_mapping,
668-
perms,
669-
}
670-
.traverse_nonchildren(
664+
if let Some(p) = perms.get(idx)
665+
&& p.initialized
666+
{
667+
TreeVisitor { nodes: &mut self.nodes, tag_mapping: &self.tag_mapping, perms }
668+
.traverse_nonchildren(
671669
tag,
672670
|args| node_app(perms_range.clone(), args),
673671
|args| err_handler(perms_range.clone(), args),

0 commit comments

Comments
 (0)