Trait miri::shims::backtrace::EvalContextExt
source · pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriEvalContextExt<'mir, 'tcx> {
fn handle_miri_backtrace_size(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx> { ... }
fn handle_miri_get_backtrace(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx> { ... }
fn resolve_frame_pointer(
&mut self,
ptr: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, (Instance<'tcx>, Loc, String, String)> { ... }
fn handle_miri_resolve_frame(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx> { ... }
fn handle_miri_resolve_frame_names(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>]
) -> InterpResult<'tcx> { ... }
}
Provided Methods
sourcefn handle_miri_backtrace_size(
fn handle_miri_backtrace_size(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>
sourcefn handle_miri_get_backtrace(
fn handle_miri_get_backtrace(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>
sourcefn resolve_frame_pointer(
fn resolve_frame_pointer(
&mut self,
ptr: &OpTy<'tcx, Provenance>
) -> InterpResult<'tcx, (Instance<'tcx>, Loc, String, String)>
sourcefn handle_miri_resolve_frame(
fn handle_miri_resolve_frame(
&mut self,
abi: Abi,
link_name: Symbol,
args: &[OpTy<'tcx, Provenance>],
dest: &PlaceTy<'tcx, Provenance>
) -> InterpResult<'tcx>
sourcefn handle_miri_resolve_frame_names(