From 02df2b11b647278067321723ce091d82277943c2 Mon Sep 17 00:00:00 2001 From: Nia Date: Fri, 20 Jun 2025 22:31:30 +0200 Subject: [PATCH] Update src/shims/trace/parent.rs Co-authored-by: Oli Scherer --- src/tools/miri/src/shims/trace/parent.rs | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/tools/miri/src/shims/trace/parent.rs b/src/tools/miri/src/shims/trace/parent.rs index 2151a7726b4d..84ea6a10061d 100644 --- a/src/tools/miri/src/shims/trace/parent.rs +++ b/src/tools/miri/src/shims/trace/parent.rs @@ -566,11 +566,12 @@ fn handle_segfault( // Check if we also own the next page, and if so unprotect it in case // the access spans the page boundary. - if ch_pages.contains(&page_addr.strict_add(page_size)) { - ptrace::write(pid, (&raw const PAGE_COUNT).cast_mut().cast(), 2).unwrap(); + let flag = if ch_pages.contains(&page_addr.strict_add(page_size)) { + 2 } else { - ptrace::write(pid, (&raw const PAGE_COUNT).cast_mut().cast(), 1).unwrap(); - } + 1 + }; + ptrace::write(pid, (&raw const PAGE_COUNT).cast_mut().cast(), flag).unwrap(); ptrace::setregs(pid, new_regs).unwrap();