Searched refs:RetE (Results 1 – 8 of 8) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ReturnUndefChecker.cpp | 31 void emitUndef(CheckerContext &C, const Expr *RetE) const; 32 void checkReference(CheckerContext &C, const Expr *RetE, 41 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local 42 if (!RetE) in checkPreStmt() 44 SVal RetVal = C.getSVal(RetE); in checkPreStmt() 65 RetE->getType()->isVoidType()) in checkPreStmt() 68 emitUndef(C, RetE); in checkPreStmt() 76 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 D | StackAddrEscapeChecker.cpp | 58 const Expr *RetE) const; 154 const Expr *RetE) const { in EmitStackError() 167 report->addRange(RetE->getSourceRange()); in EmitStackError() 253 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local 254 if (!RetE) in checkPreStmt() 256 RetE = RetE->IgnoreParens(); in checkPreStmt() 258 SVal V = C.getSVal(RetE); in checkPreStmt() 274 RetE = Cleanup->getSubExpr(); in checkPreStmt() 275 if (isa<CXXConstructExpr>(RetE) && RetE->getType()->isRecordType()) in checkPreStmt() 280 if (auto *ICE = dyn_cast<ImplicitCastExpr>(RetE)) { in checkPreStmt() [all …]
|
| H A D | ReturnPointerRangeChecker.cpp | 39 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local 40 if (!RetE) in checkPreStmt() 43 SVal V = C.getSVal(RetE); in checkPreStmt() 85 report->addRange(RetE->getSourceRange()); in checkPreStmt()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 438 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { in GetReturnType() argument 439 QualType RetTy = RetE->getType(); in GetReturnType() 443 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(RetE)) in GetReturnType() 986 const Expr *RetE = S->getRetValue(); in processReturn() local 987 if (!RetE) in processReturn() 992 state->getSValAsScalarOrLoc(RetE, C.getLocationContext()).getAsLocSymbol(); in processReturn()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | BugReporterVisitors.cpp | 873 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local 874 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial() 878 if (RetE->isGLValue()) { in visitNodeInitial() 880 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial() 891 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial() 894 bugreporter::trackExpressionValue(N, RetE, BR, EnableNullFPSuppression); in visitNodeInitial() 910 if (RetE->getType()->isObjCObjectPointerType()) { in visitNodeInitial() 939 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
|
| H A D | ExprEngineCXX.cpp | 217 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); in prepareForObjectConstruction() local 218 assert(RetE && "Void returns should not have a construction context"); in prepareForObjectConstruction() 219 QualType ReturnTy = RetE->getType(); in prepareForObjectConstruction() 221 SVal V = SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, in prepareForObjectConstruction()
|
| H A D | RetainSummaryManager.cpp | 920 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local 921 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations() 947 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local 948 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/Sema/ |
| H A D | SemaLambda.cpp | 719 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local 722 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()
|