Searched refs:RetE (Results 1 – 8 of 8) sorted by relevance
| /src/contrib/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 = Cleanup->getSubExpr(); in checkPreStmt() 276 if (isa<CXXConstructExpr>(RetE) && RetE->getType()->isRecordType()) in checkPreStmt() [all …]
|
| /src/contrib/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()
|
| /src/contrib/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()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | ExprEngineCXX.cpp | 242 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); in computeObjectUnderConstruction() local 243 assert(RetE && "Void returns should not have a construction context"); in computeObjectUnderConstruction() 244 QualType ReturnTy = RetE->getType(); in computeObjectUnderConstruction() 246 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
|
| H A D | BugReporterVisitors.cpp | 1052 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local 1053 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial() 1057 if (RetE->isGLValue()) { in visitNodeInitial() 1059 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial() 1069 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial() 1072 getParentTracker().track(RetE, N, {TKind, EnableNullFPSuppression}); in visitNodeInitial() 1090 if (RetE->getType()->isObjCObjectPointerType()) { in visitNodeInitial() 1125 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
|
| /src/contrib/llvm-project/clang/lib/Sema/ |
| H A D | SemaLambda.cpp | 758 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local 761 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()
|