Function miri::diagnostics::prune_stacktrace
source · pub fn prune_stacktrace<'tcx>(
stacktrace: Vec<FrameInfo<'tcx>>,
machine: &MiriMachine<'_, 'tcx>
) -> (Vec<FrameInfo<'tcx>>, bool)
Expand description
Attempts to prune a stacktrace to omit the Rust runtime, and returns a bool indicating if any frames were pruned. If the stacktrace does not have any local frames, we conclude that it must be pointing to a problem in the Rust runtime itself, and do not prune it at all.