Struct rustc_const_eval::interpret::intern::InternVisitor
source · struct InternVisitor<'rt, 'mir, 'tcx, M: CompileTimeMachine<'mir, 'tcx, MemoryKind>> {
ecx: &'rt mut InterpCx<'mir, 'tcx, M>,
ref_tracking: &'rt mut RefTracking<(MPlaceTy<'tcx>, InternMode)>,
leftover_allocations: &'rt mut FxHashSet<AllocId>,
mode: InternMode,
inside_unsafe_cell: bool,
}
Fields
ecx: &'rt mut InterpCx<'mir, 'tcx, M>
The ectx from which we intern.
ref_tracking: &'rt mut RefTracking<(MPlaceTy<'tcx>, InternMode)>
Previously encountered safe references.
leftover_allocations: &'rt mut FxHashSet<AllocId>
A list of all encountered allocations. After type-based interning, we traverse this list to also intern allocations that are only referenced by a raw pointer or inside a union.
mode: InternMode
The root kind of the value that we’re looking at. This field is never mutated for a particular allocation. It is primarily used to make as many allocations as possible read-only so LLVM can place them in const memory.
inside_unsafe_cell: bool
This field stores whether we are currently inside an UnsafeCell
. This can affect
the intern mode of references we encounter.
Implementations
sourceimpl<'rt, 'mir, 'tcx, M: CompileTimeMachine<'mir, 'tcx, MemoryKind>> InternVisitor<'rt, 'mir, 'tcx, M>
impl<'rt, 'mir, 'tcx, M: CompileTimeMachine<'mir, 'tcx, MemoryKind>> InternVisitor<'rt, 'mir, 'tcx, M>
fn intern_shallow(
&mut self,
alloc_id: AllocId,
mode: InternMode,
ty: Option<Ty<'tcx>>
) -> Option<IsStaticOrFn>
Trait Implementations
sourceimpl<'rt, 'mir, 'tcx: 'mir, M: CompileTimeMachine<'mir, 'tcx, MemoryKind>> ValueVisitor<'mir, 'tcx, M> for InternVisitor<'rt, 'mir, 'tcx, M>
impl<'rt, 'mir, 'tcx: 'mir, M: CompileTimeMachine<'mir, 'tcx, MemoryKind>> ValueVisitor<'mir, 'tcx, M> for InternVisitor<'rt, 'mir, 'tcx, M>
type V = MPlaceTy<'tcx, AllocId>
sourcefn visit_aggregate(
&mut self,
mplace: &MPlaceTy<'tcx>,
fields: impl Iterator<Item = InterpResult<'tcx, Self::V>>
) -> InterpResult<'tcx>
fn visit_aggregate(
&mut self,
mplace: &MPlaceTy<'tcx>,
fields: impl Iterator<Item = InterpResult<'tcx, Self::V>>
) -> InterpResult<'tcx>
InterpResult
, you have to do error handling yourself).
Recurses into the fields. Read moresourcefn visit_value(&mut self, mplace: &MPlaceTy<'tcx>) -> InterpResult<'tcx>
fn visit_value(&mut self, mplace: &MPlaceTy<'tcx>) -> InterpResult<'tcx>
sourcefn read_discriminant(
&mut self,
op: &OpTy<'tcx, M::Provenance>
) -> InterpResult<'tcx, VariantIdx>
fn read_discriminant(
&mut self,
op: &OpTy<'tcx, M::Provenance>
) -> InterpResult<'tcx, VariantIdx>
read_discriminant
can be hooked for better error messages.sourcefn visit_union(
&mut self,
_v: &Self::V,
_fields: NonZeroUsize
) -> InterpResult<'tcx>
fn visit_union(
&mut self,
_v: &Self::V,
_fields: NonZeroUsize
) -> InterpResult<'tcx>
sourcefn visit_box(&mut self, _v: &Self::V) -> InterpResult<'tcx>
fn visit_box(&mut self, _v: &Self::V) -> InterpResult<'tcx>
Box
. There is nothing to recurse into.
The type of v
will be a raw pointer, but this is a field of Box<T>
and the
pointee type is the actual T
. Read moresourcefn visit_field(
&mut self,
_old_val: &Self::V,
_field: usize,
new_val: &Self::V
) -> InterpResult<'tcx>
fn visit_field(
&mut self,
_old_val: &Self::V,
_field: usize,
new_val: &Self::V
) -> InterpResult<'tcx>
sourcefn visit_variant(
&mut self,
_old_val: &Self::V,
_variant: VariantIdx,
new_val: &Self::V
) -> InterpResult<'tcx>
fn visit_variant(
&mut self,
_old_val: &Self::V,
_variant: VariantIdx,
new_val: &Self::V
) -> InterpResult<'tcx>
fn walk_aggregate(
&mut self,
v: &Self::V,
fields: impl Iterator<Item = InterpResult<'tcx, Self::V>>
) -> InterpResult<'tcx>
fn walk_value(&mut self, v: &Self::V) -> InterpResult<'tcx>
Auto Trait Implementations
impl<'rt, 'mir, 'tcx, M> !RefUnwindSafe for InternVisitor<'rt, 'mir, 'tcx, M>
impl<'rt, 'mir, 'tcx, M> !Send for InternVisitor<'rt, 'mir, 'tcx, M>
impl<'rt, 'mir, 'tcx, M> !Sync for InternVisitor<'rt, 'mir, 'tcx, M>
impl<'rt, 'mir, 'tcx, M> Unpin for InternVisitor<'rt, 'mir, 'tcx, M>where
'mir: 'rt,
'tcx: 'rt,
impl<'rt, 'mir, 'tcx, M> !UnwindSafe for InternVisitor<'rt, 'mir, 'tcx, M>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes