Skip to content

Commit 3b30fcb

Browse files
committed
remove non-functional riscv codepath
1 parent 8d7f053 commit 3b30fcb

File tree

1 file changed

+0
-12
lines changed
  • src/tools/miri/src/shims/native_lib/trace

1 file changed

+0
-12
lines changed

src/tools/miri/src/shims/native_lib/trace/parent.rs

Lines changed: 0 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -501,18 +501,6 @@ fn handle_segfault(
501501
}
502502
_ => (),
503503
},
504-
#[cfg(any(target_arch = "riscv32", target_arch = "riscv64"))]
505-
arch::ArchOperand::RiscVOperand(risc_voperand) => {
506-
match risc_voperand {
507-
arch::riscv::RiscVOperand::Mem(_) => {
508-
// We get basically no info here.
509-
let push = addr..addr.strict_add(size);
510-
acc_events.push(AccessEvent::Read(push.clone()));
511-
acc_events.push(AccessEvent::Write(push));
512-
}
513-
_ => (),
514-
}
515-
}
516504
_ => unimplemented!(),
517505
}
518506
}

0 commit comments

Comments
 (0)