Home
last modified time | relevance | path

Searched defs:MiriMachine (Results 1 – 3 of 3) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/
Dmachine.rs365 pub struct MiriMachine<'mir, 'tcx> { struct
367 pub tcx: TyCtxt<'tcx>,
370 pub borrow_tracker: Option<borrow_tracker::GlobalState>,
373 pub data_race: Option<data_race::GlobalState>,
376 pub intptrcast: intptrcast::GlobalState,
380 pub(crate) env_vars: EnvVars<'tcx>,
383 pub(crate) main_fn_ret_place: Option<MemPlace<Provenance>>,
388 pub(crate) argc: Option<MemPlace<Provenance>>,
389 pub(crate) argv: Option<MemPlace<Provenance>>,
390 pub(crate) cmd_line: Option<MemPlace<Provenance>>,
[all …]
Ddiagnostics.rs500 impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { implementation
Dhelpers.rs1050 impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { impl