Function miri::create_ecx
source · [−]pub fn create_ecx<'mir, 'tcx: 'mir>(
tcx: TyCtxt<'tcx>,
entry_id: DefId,
entry_type: EntryFnType,
config: &MiriConfig
) -> InterpResult<'tcx, (InterpCx<'mir, 'tcx, Evaluator<'mir, 'tcx>>, MPlaceTy<'tcx, Provenance>)>
Expand description
Returns a freshly created InterpCx
, along with an MPlaceTy
representing
the location where the return value of the start
function will be
written to.
Public because this is also used by priroda
.