Struct rustc_const_eval::interpret::validity::ValidityVisitor

source ·
struct ValidityVisitor<'rt, 'tcx, M: Machine<'tcx>> {
    path: Vec<PathElem>,
    ref_tracking: Option<&'rt mut RefTracking<MPlaceTy<'tcx, M::Provenance>, Vec<PathElem>>>,
    ctfe_mode: Option<CtfeValidationMode>,
    ecx: &'rt InterpCx<'tcx, M>,
}

Fields§

§path: Vec<PathElem>

The path may be pushed to, but the part that is present when a function starts must not be changed! visit_fields and visit_array rely on this stack discipline.

§ref_tracking: Option<&'rt mut RefTracking<MPlaceTy<'tcx, M::Provenance>, Vec<PathElem>>>§ctfe_mode: Option<CtfeValidationMode>

None indicates this is not validating for CTFE (but for runtime).

§ecx: &'rt InterpCx<'tcx, M>

Implementations§

source§

impl<'rt, 'tcx, M: Machine<'tcx>> ValidityVisitor<'rt, 'tcx, M>

source

fn aggregate_field_path_elem( &mut self, layout: TyAndLayout<'tcx>, field: usize, ) -> PathElem

source

fn with_elem<R>( &mut self, elem: PathElem, f: impl FnOnce(&mut Self) -> InterpResult<'tcx, R>, ) -> InterpResult<'tcx, R>

source

fn read_immediate( &self, op: &OpTy<'tcx, M::Provenance>, expected: ExpectedKind, ) -> InterpResult<'tcx, ImmTy<'tcx, M::Provenance>>

source

fn read_scalar( &self, op: &OpTy<'tcx, M::Provenance>, expected: ExpectedKind, ) -> InterpResult<'tcx, Scalar<M::Provenance>>

source

fn check_wide_ptr_meta( &mut self, meta: MemPlaceMeta<M::Provenance>, pointee: TyAndLayout<'tcx>, ) -> InterpResult<'tcx>

source

fn check_safe_pointer( &mut self, value: &OpTy<'tcx, M::Provenance>, ptr_kind: PointerKind, ) -> InterpResult<'tcx>

Check a reference or Box.

source

fn try_visit_primitive( &mut self, value: &OpTy<'tcx, M::Provenance>, ) -> InterpResult<'tcx, bool>

Check if this is a value of primitive type, and if yes check the validity of the value at that type. Return true if the type is indeed primitive.

Note that not all of these have FieldsShape::Primitive, e.g. wide references.

source

fn visit_scalar( &mut self, scalar: Scalar<M::Provenance>, scalar_layout: ScalarAbi, ) -> InterpResult<'tcx>

source

fn in_mutable_memory(&self, op: &OpTy<'tcx, M::Provenance>) -> bool

Trait Implementations§

source§

impl<'rt, 'tcx, M: Machine<'tcx>> ValueVisitor<'tcx, M> for ValidityVisitor<'rt, 'tcx, M>

source§

type V = OpTy<'tcx, <M as Machine<'tcx>>::Provenance>

source§

fn ecx(&self) -> &InterpCx<'tcx, M>

The visitor must have an InterpCx in it.
source§

fn read_discriminant( &mut self, op: &OpTy<'tcx, M::Provenance>, ) -> InterpResult<'tcx, VariantIdx>

read_discriminant can be hooked for better error messages.
source§

fn visit_field( &mut self, old_op: &OpTy<'tcx, M::Provenance>, field: usize, new_op: &OpTy<'tcx, M::Provenance>, ) -> InterpResult<'tcx>

Called each time we recurse down to a field of a “product-like” aggregate (structs, tuples, arrays and the like, but not enums), passing in old (outer) and new (inner) value. This gives the visitor the chance to track the stack of nested fields that we are descending through.
source§

fn visit_variant( &mut self, old_op: &OpTy<'tcx, M::Provenance>, variant_id: VariantIdx, new_op: &OpTy<'tcx, M::Provenance>, ) -> InterpResult<'tcx>

Called when recursing into an enum variant. This gives the visitor the chance to track the stack of nested fields that we are descending through.
source§

fn visit_union( &mut self, op: &OpTy<'tcx, M::Provenance>, _fields: NonZero<usize>, ) -> InterpResult<'tcx>

Visits the given value as a union. No automatic recursion can happen here.
source§

fn visit_box( &mut self, _box_ty: Ty<'tcx>, op: &OpTy<'tcx, M::Provenance>, ) -> InterpResult<'tcx>

Visits the given value as the pointer of a Box. There is nothing to recurse into. The type of v will be a raw pointer to T, but this is a field of Box<T> and the pointee type is the actual T. box_ty provides the full type of the Box itself.
source§

fn visit_value(&mut self, op: &OpTy<'tcx, M::Provenance>) -> InterpResult<'tcx>

Visits the given value, dispatching as appropriate to more specialized visitors.
source§

fn aggregate_field_iter( memory_index: &IndexVec<FieldIdx, u32>, ) -> impl Iterator<Item = FieldIdx> + 'static

This function provides the chance to reorder the order in which fields are visited for FieldsShape::Aggregate. Read more
source§

fn walk_value(&mut self, v: &Self::V) -> InterpResult<'tcx>

Auto Trait Implementations§

§

impl<'rt, 'tcx, M> Freeze for ValidityVisitor<'rt, 'tcx, M>

§

impl<'rt, 'tcx, M> !RefUnwindSafe for ValidityVisitor<'rt, 'tcx, M>

§

impl<'rt, 'tcx, M> !Send for ValidityVisitor<'rt, 'tcx, M>

§

impl<'rt, 'tcx, M> !Sync for ValidityVisitor<'rt, 'tcx, M>

§

impl<'rt, 'tcx, M> Unpin for ValidityVisitor<'rt, 'tcx, M>

§

impl<'rt, 'tcx, M> !UnwindSafe for ValidityVisitor<'rt, 'tcx, M>

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = _

Alignment of Self.
source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T, R> CollectAndApply<T, R> for T

source§

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

Equivalent to f(&iter.collect::<Vec<_>>()).

source§

type Output = R

source§

impl<T> Filterable for T

source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<P> IntoQueryParam<P> for P

source§

impl<T> MaybeResult<T> for T

source§

type Error = !

source§

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

source§

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

source§

impl<T> Same for T

source§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

source§

fn upcast(self, interner: I) -> U

source§

impl<I, T> UpcastFrom<I, T> for T

source§

fn upcast_from(from: T, _tcx: I) -> T

source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

source§

fn vzip(self) -> V

source§

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

source§

default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T

source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for 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: 48 bytes