Searched refs:RetE (Results 1 – 6 of 6) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| 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()
81 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE, in emitBug() argument
89 Report->addRange(RetE->getSourceRange()); in emitBug()
[all …]
|
| D | StackAddrEscapeChecker.cpp | 39 const Expr *RetE) const;
96 const Expr *RetE) const { in EmitStackError()
112 report->addRange(RetE->getSourceRange()); in EmitStackError()
122 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
123 if (!RetE) in checkPreStmt()
125 RetE = RetE->IgnoreParens(); in checkPreStmt()
128 SVal V = C.getState()->getSVal(RetE, LCtx); in checkPreStmt()
154 if (const ExprWithCleanups *Cleanup = dyn_cast<ExprWithCleanups>(RetE)) in checkPreStmt()
155 RetE = Cleanup->getSubExpr(); in checkPreStmt()
156 if (isa<CXXConstructExpr>(RetE) && RetE->getType()->isRecordType()) in checkPreStmt()
[all …]
|
| D | ReturnPointerRangeChecker.cpp | 39 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
40 if (!RetE) in checkPreStmt()
43 SVal V = state->getSVal(RetE, C.getLocationContext()); in checkPreStmt()
85 report->addRange(RetE->getSourceRange()); in checkPreStmt()
|
| D | RetainCountChecker.cpp | 1355 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local
1356 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
1396 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local
1397 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
2915 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { in GetReturnType() argument
2916 QualType RetTy = RetE->getType(); in GetReturnType()
2920 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(RetE)) in GetReturnType()
3443 const Expr *RetE = S->getRetValue(); in checkPreStmt() local
3444 if (!RetE) in checkPreStmt()
3449 state->getSValAsScalarOrLoc(RetE, C.getLocationContext()).getAsLocSymbol(); in checkPreStmt()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | BugReporterVisitors.cpp | 256 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local
257 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial()
261 if (RetE->isGLValue()) { in visitNodeInitial()
263 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()
274 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial()
280 ReturnVisitor::addVisitorIfNecessary(N, RetE, BR, in visitNodeInitial()
286 bugreporter::trackNullOrUndefValue(N, RetE, BR, /*IsArg*/ false, in visitNodeInitial()
302 if (RetE->getType()->isObjCObjectPointerType()) in visitNodeInitial()
320 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
|
| /external/clang/lib/Sema/ |
| D | SemaLambda.cpp | 684 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local
687 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType(); in deduceClosureReturnType()
|