Searched defs:MiriMachine (Results 1 – 3 of 3) sorted by relevance
| /third_party/rust/rust/src/tools/miri/src/ |
| D | machine.rs | 365 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 …]
|
| D | diagnostics.rs | 500 impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { implementation
|
| D | helpers.rs | 1050 impl<'mir, 'tcx> MiriMachine<'mir, 'tcx> { impl
|