| /llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ReturnUndefChecker.cpp | 30 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()
81 const Expr *RetE, const Expr *TrackingE = nullptr) { in emitBug() argument
88 Report->addRange(RetE->getSourceRange()); in emitBug()
[all …]
|
| H A D | ReturnPointerRangeChecker.cpp | 42 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
43 if (!RetE) in checkPreStmt()
47 if (RetE->getSourceRange().isInvalid()) in checkPreStmt()
50 SVal V = C.getSVal(RetE); in checkPreStmt()
87 Report->addRange(RetE->getSourceRange()); in checkPreStmt()
116 {RetE, C.getSourceManager(), C.getLocationContext()}); in checkPreStmt()
119 bugreporter::trackExpressionValue(N, RetE, *Report); in checkPreStmt()
|
| H A D | StackAddrEscapeChecker.cpp | 58 const Expr *RetE) const;
152 const Expr *RetE) const { in EmitStackError()
167 report->addRange(RetE->getSourceRange()); in EmitStackError()
255 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
256 if (!RetE) in checkPreStmt()
258 RetE = RetE->IgnoreParens(); in checkPreStmt()
260 SVal V = C.getSVal(RetE); in checkPreStmt()
274 if (const ExprWithCleanups *Cleanup = dyn_cast<ExprWithCleanups>(RetE)) in checkPreStmt()
275 RetE in checkPreStmt()
[all...] |
| /llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 393 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { in GetReturnType() argument
394 QualType RetTy = RetE->getType(); in GetReturnType()
398 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()
|
| /llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 234 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); in computeObjectUnderConstruction()
235 assert(RetE && "Void returns should not have a construction context"); in computeObjectUnderConstruction()
236 QualType ReturnTy = RetE->getType(); in computeObjectUnderConstruction()
238 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
242 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); computeObjectUnderConstruction() local
|
| H A D | BugReporterVisitors.cpp | 963 const Expr *RetE = Ret->getRetValue(); in matchAssignment()
964 assert(RetE && "Tracking a return value for a void function"); in matchAssignment()
968 if (RetE->isGLValue()) { in matchAssignment()
970 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in matchAssignment()
980 RetE = RetE->IgnoreParenCasts(); in matchAssignment()
983 getParentTracker().track(RetE, N, {TKind, EnableNullFPSuppression});
1001 if (RetE->getType()->isObjCObjectPointerType()) {
1036 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
1052 const Expr *RetE = Ret->getRetValue(); visitNodeInitial() local
|
| /llvm-project/clang/lib/Analysis/ |
| H A D | RetainSummaryManager.cpp | 990 if (std::optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local
991 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
1017 if (std::optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local
1018 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
|
| /llvm-project/clang/lib/Sema/ |
| H A D | SemaLambda.cpp | 761 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType()
764 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()
758 const Expr *RetE = RS->getRetValue(); deduceClosureReturnType() local
|