Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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 DReturnPointerRangeChecker.cpp40 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
41 if (!RetE) in checkPreStmt()
44 SVal V = C.getSVal(RetE); in checkPreStmt()
86 Report->addRange(RetE->getSourceRange()); in checkPreStmt()
115 {RetE, C.getSourceManager(), C.getLocationContext()}); in checkPreStmt()
118 bugreporter::trackExpressionValue(N, RetE, *Report); in checkPreStmt()
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 …]
/llvm-project-15.0.7/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()
979 const Expr *RetE = S->getRetValue(); in processReturn() local
980 if (!RetE) in processReturn()
986 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext()) in processReturn()
/llvm-project-15.0.7/clang/lib/Analysis/
H A DRetainSummaryManager.cpp993 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local
994 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
1020 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local
1021 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp229 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); in computeObjectUnderConstruction() local
230 assert(RetE && "Void returns should not have a construction context"); in computeObjectUnderConstruction()
231 QualType ReturnTy = RetE->getType(); in computeObjectUnderConstruction()
233 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy, in computeObjectUnderConstruction()
H A DBugReporterVisitors.cpp1022 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local
1023 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial()
1027 if (RetE->isGLValue()) { in visitNodeInitial()
1029 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()
1039 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial()
1042 getParentTracker().track(RetE, N, {TKind, EnableNullFPSuppression}); in visitNodeInitial()
1060 if (RetE->getType()->isObjCObjectPointerType()) { in visitNodeInitial()
1095 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
/llvm-project-15.0.7/clang/lib/Sema/
H A DSemaLambda.cpp765 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local
768 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()