rename track-raw-pointers flag to tag-raw-pointers The old flag name sounds too similar to `-Zmiri-track-pointer-tag`, which is a totally different kind of 'tracking'. This has lead to confusion in https://github.com/rust-lang/miri/issues/1907.
cdylib
#[no_mangle]
--extern
phase_cargo_rustc
MIRI_DEFAULT_ARGS
DefId
exported_symbols
compile_error!
use num_cpus
miri
src/main.rs
proc-macro
cargo-miri