Searched defs:verifCtx (Results 1 – 1 of 1) sorted by relevance
59 VerificationContext verifCtx {pandaTypes, job, method_class_type}; in PrepareVerificationContext() local114 VerificationStatus VerifyEntryPoints(VerificationContext &verifCtx, ExecContext &exec_ctx) in VerifyEntryPoints()148 void ComputeRegContext(CflowExcHandlerInfo const &exc_handler, VerificationContext &verifCtx, RegCo… in ComputeRegContext()206 …ationStatus VerifyExcHandler(CflowExcHandlerInfo const &exc_handler, VerificationContext &verifCtx, in ComputeRegContext()249 VerificationStatus VerifyMethod(VerificationContext &verifCtx) in VerifyMethod()