user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #4843 from hsqStephenZhang/fix/capstone_features

Browse source 
chore: limit capstone to x86 and arm
This commit is contained in:
Ralf Jung 2026-02-03 09:46:40 +00:00 • committed by GitHub
commit 477f93e390
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/Cargo.toml
View file

@ -39,7 +39,7 @@ serde = { version = "1.0.219", features = ["derive"], optional = true }
[target.'cfg(target_os = "linux")'.dependencies]
nix = { version = "0.30.1", features = ["mman", "ptrace", "signal"], optional = true }
ipc-channel = { version = "0.20.0", optional = true }
capstone = { version = "0.14", optional = true }
capstone = { version = "0.14", features = ["arch_x86", "full"], default-features = false, optional = true}
[target.'cfg(all(target_os = "linux", target_pointer_width = "64", target_endian = "little"))'.dependencies]
genmc-sys = { path = "./genmc-sys/", version = "0.1.0", optional = true }

2
src/tools/miri/src/shims/native_lib/trace/parent.rs
View file

@ -395,8 +395,6 @@ fn capstone_find_events(
_ => (),
}
}
// FIXME: arm64
_ => unimplemented!(),
}
false