Home
last modified time | relevance | path

Searched defs:GlobalStateInner (Results 1 – 5 of 5) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/
Dintptrcast.rs28 pub struct GlobalStateInner { struct
47 impl VisitTags for GlobalStateInner { argument
53 impl GlobalStateInner { implementation
65 impl<'mir, 'tcx> GlobalStateInner { impl
/third_party/rust/rust/src/tools/miri/src/borrow_tracker/
Dmod.rs83 pub struct GlobalStateInner { struct
98 /// `GlobalStateInner::end_call`. See `Stack::item_popped` for more details. argument
110 impl VisitTags for GlobalStateInner { argument
169 impl GlobalStateInner { impl
256 impl GlobalStateInner { implementation
/third_party/rust/rust/src/tools/miri/src/borrow_tracker/stacked_borrows/
Dmod.rs246 global: &GlobalStateInner, in item_invalidated()
291 global: &GlobalStateInner, in access()
378 global: &GlobalStateInner, in dealloc()
403 global: &GlobalStateInner, in grant()
528 state: &mut GlobalStateInner, in new_allocation()
Ddiagnostics.rs450 pub fn check_tracked_tag_popped(&self, item: &Item, global: &GlobalStateInner) { in check_tracked_tag_popped()
/third_party/rust/rust/src/tools/miri/src/borrow_tracker/tree_borrows/
Dmod.rs32 state: &mut GlobalStateInner, in new_allocation()