Searched defs:AllocExtra (Results 1 – 5 of 5) sorted by relevance
| /third_party/rust/rust/compiler/rustc_const_eval/src/interpret/ |
| D | memory.rs | 510 ) -> InterpResult<'tcx, Cow<'tcx, Allocation<M::Provenance, M::AllocExtra, M::Bytes>>> { in get_global_alloc()
571 ) -> InterpResult<'tcx, &Allocation<M::Provenance, M::AllocExtra, M::Bytes>> { in get_alloc_raw()
607 ) -> InterpResult<'tcx, Option<AllocRef<'a, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>> in get_ptr_alloc()
634 pub fn get_alloc_extra<'a>(&'a self, id: AllocId) -> InterpResult<'tcx, &'a M::AllocExtra> { in get_alloc_extra()
651 ) -> InterpResult<'tcx, (&mut Allocation<M::Provenance, M::AllocExtra, M::Bytes>, &mut M)> { in get_alloc_raw_mut() argument
680 ) -> InterpResult<'tcx, Option<AllocRefMut<'a, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>> in get_ptr_alloc_mut()
700 ) -> InterpResult<'tcx, (&'a mut M::AllocExtra, &'a mut M)> { in get_alloc_extra_mut()
838 … ) -> Vec<(AllocId, MemoryKind<M::MemoryKind>, Allocation<M::Provenance, M::AllocExtra, M::Bytes>)> in find_leaked_allocations()
|
| D | machine.rs | 107 type AllocExtra: Debug + Clone + 'tcx; typedef
348 ) -> InterpResult<'tcx, Cow<'b, Allocation<Self::Provenance, Self::AllocExtra, Self::Bytes>>>; in adjust_allocation()
368 _alloc_extra: &Self::AllocExtra, in before_memory_read()
380 _alloc_extra: &mut Self::AllocExtra, in before_memory_write()
392 _alloc_extra: &mut Self::AllocExtra, in before_memory_deallocation()
467 type AllocExtra = (); typedef
|
| D | place.rs | 358 ) -> InterpResult<'tcx, Option<AllocRef<'_, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>> in get_place_alloc()
370 ) -> InterpResult<'tcx, Option<AllocRefMut<'_, 'tcx, M::Provenance, M::AllocExtra, M::Bytes>>> in get_place_alloc_mut()
|
| /third_party/rust/rust/src/tools/miri/src/ |
| D | machine.rs | 267 pub struct AllocExtra<'tcx> { struct
283 impl VisitTags for AllocExtra<'_> { argument
285 let AllocExtra { borrow_tracker, data_race, weak_memory, backtrace: _ } = self; in visit_tags() localVariable
835 type AllocExtra = AllocExtra<'tcx>; typedef
1001 ) -> InterpResult<'tcx, Cow<'b, Allocation<Self::Provenance, Self::AllocExtra>>> { in adjust_allocation()
|
| /third_party/rust/rust/src/tools/miri/src/borrow_tracker/ |
| D | mod.rs | 360 impl machine::AllocExtra<'_> { implementation
|