Lines Matching refs:ResultTy
251 QualType ResultTy = Ex->getType(); in processObjCLiterals() local
253 RefVal::makeNotOwned(ObjKind::ObjC, ResultTy)); in processObjCLiterals()
277 QualType ResultTy = Ex->getType(); in checkPostStmt() local
279 RefVal::makeNotOwned(ObjKind::ObjC, ResultTy)); in checkPostStmt()
416 QualType ResultTy) { in refValFromRetEffect() argument
418 return RefVal::makeOwned(RE.getObjKind(), ResultTy); in refValFromRetEffect()
420 return RefVal::makeNotOwned(RE.getObjKind(), ResultTy); in refValFromRetEffect()
689 QualType ResultTy = CallOrMsg.getResultType(); in checkSummary() local
693 ResultTy = GetReturnType(Ex, C.getASTContext()); in checkSummary()
695 if (Optional<RefVal> updatedRefVal = refValFromRetEffect(RE, ResultTy)) in checkSummary()
901 QualType ResultTy = Call.getResultType(); in evalCall() local
933 (hasTrustedImplementationAnnotation && !ResultTy.isNull())) { in evalCall()
936 SVB.conjureSymbolVal(nullptr, CE, LCtx, ResultTy, C.blockCount()); in evalCall()