Home
last modified time | relevance | path

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

/third_party/rust/rust/compiler/rustc_const_eval/src/const_eval/
Dmachine.rs364 fn enforce_validity(ecx: &InterpCx<'mir, 'tcx, Self>, layout: TyAndLayout<'tcx>) -> bool { in enforce_validity() method
/third_party/rust/rust/compiler/rustc_mir_transform/src/
Ddataflow_const_prop.rs544 fn enforce_validity(_ecx: &InterpCx<'mir, 'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool { in enforce_validity() method
Dconst_prop.rs162 fn enforce_validity(_ecx: &InterpCx<'mir, 'tcx, Self>, _layout: TyAndLayout<'tcx>) -> bool { in enforce_validity() method
/third_party/rust/rust/compiler/rustc_const_eval/src/interpret/
Dmachine.rs150 fn enforce_validity(ecx: &InterpCx<'mir, 'tcx, Self>, layout: TyAndLayout<'tcx>) -> bool; in enforce_validity() method
/third_party/rust/rust/src/tools/miri/src/
Dmachine.rs874 fn enforce_validity(ecx: &MiriInterpCx<'mir, 'tcx>, _layout: TyAndLayout<'tcx>) -> bool { in enforce_validity() method