Home
last modified time | relevance | path

Searched refs:RetE (Results 1 – 8 of 8) sorted by relevance

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DReturnUndefChecker.cpp30 void emitUndef(CheckerContext &C, const Expr *RetE) const;
31 void checkReference(CheckerContext &C, const Expr *RetE,
40 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
41 if (!RetE) in checkPreStmt()
43 SVal RetVal = C.getSVal(RetE); in checkPreStmt()
64 RetE->getType()->isVoidType()) in checkPreStmt()
67 emitUndef(C, RetE); in checkPreStmt()
75 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); in checkPreStmt()
89 Report->addRange(RetE->getSourceRange()); in emitBug()
100 emitBug(C, *BT_Undef, RetE); in emitUndef()
[all …]
H A DStackAddrEscapeChecker.cpp58 const Expr *RetE) const;
154 const Expr *RetE) const { in EmitStackError()
169 report->addRange(RetE->getSourceRange()); in EmitStackError()
257 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
258 if (!RetE) in checkPreStmt()
260 RetE = RetE->IgnoreParens(); in checkPreStmt()
262 SVal V = C.getSVal(RetE); in checkPreStmt()
278 RetE = Cleanup->getSubExpr(); in checkPreStmt()
279 if (isa<CXXConstructExpr>(RetE) && RetE->getType()->isRecordType()) in checkPreStmt()
284 if (const auto *ICE = dyn_cast<ImplicitCastExpr>(RetE)) { in checkPreStmt()
[all …]
H A DReturnPointerRangeChecker.cpp39 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
40 if (!RetE) in checkPreStmt()
43 SVal V = C.getSVal(RetE); in checkPreStmt()
90 report->addRange(RetE->getSourceRange()); in checkPreStmt()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp394 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { in GetReturnType() argument
395 QualType RetTy = RetE->getType(); in GetReturnType()
399 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(RetE)) in GetReturnType()
978 const Expr *RetE = S->getRetValue(); in processReturn() local
979 if (!RetE) in processReturn()
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp223 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); in computeObjectUnderConstruction() local
224 assert(RetE && "Void returns should not have a construction context"); in computeObjectUnderConstruction()
225 QualType ReturnTy = RetE->getType(); in computeObjectUnderConstruction()
227 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
H A DBugReporterVisitors.cpp965 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local
966 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial()
970 if (RetE->isGLValue()) { in visitNodeInitial()
972 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()
983 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial()
986 getParentTracker().track(RetE, N, {TKind, EnableNullFPSuppression}); in visitNodeInitial()
1004 if (RetE->getType()->isObjCObjectPointerType()) { in visitNodeInitial()
1042 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
/freebsd-13.1/contrib/llvm-project/clang/lib/Analysis/
H A DRetainSummaryManager.cpp994 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local
995 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
1021 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local
1022 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
/freebsd-13.1/contrib/llvm-project/clang/lib/Sema/
H A DSemaLambda.cpp767 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local
770 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()