Searched refs:RetE (Results 1 – 6 of 6) sorted by relevance
| /freebsd-10-stable/contrib/llvm/tools/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 | 38 const Expr *RetE = RS->getRetValue(); in checkPreStmt() local
39 if (!RetE) in checkPreStmt()
42 SVal V = state->getSVal(RetE, C.getLocationContext()); in checkPreStmt()
84 report->addRange(RetE->getSourceRange()); in checkPreStmt()
|
| D | RetainCountChecker.cpp | 1258 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD)) in updateSummaryFromAnnotations() local
1259 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
1289 if (Optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD)) in updateSummaryFromAnnotations() local
1290 Template->setRetEffect(*RetE); in updateSummaryFromAnnotations()
2713 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { in GetReturnType() argument
2714 QualType RetTy = RetE->getType(); in GetReturnType()
2718 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(RetE)) in GetReturnType()
3179 const Expr *RetE = S->getRetValue(); in checkPreStmt() local
3180 if (!RetE) in checkPreStmt()
3185 state->getSValAsScalarOrLoc(RetE, C.getLocationContext()).getAsLocSymbol(); in checkPreStmt()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| D | BugReporterVisitors.cpp | 260 const Expr *RetE = Ret->getRetValue(); in visitNodeInitial() local
261 assert(RetE && "Tracking a return value for a void function"); in visitNodeInitial()
265 if (RetE->isGLValue()) { in visitNodeInitial()
267 SVal RValue = State->getRawSVal(*LValue, RetE->getType()); in visitNodeInitial()
278 RetE = RetE->IgnoreParenCasts(); in visitNodeInitial()
284 ReturnVisitor::addVisitorIfNecessary(N, RetE, BR, in visitNodeInitial()
290 bugreporter::trackNullOrUndefValue(N, RetE, BR, /*IsArg*/ false, in visitNodeInitial()
306 if (RetE->getType()->isObjCObjectPointerType()) in visitNodeInitial()
324 if (const DeclRefExpr *DR = dyn_cast<DeclRefExpr>(RetE)) in visitNodeInitial()
|
| /freebsd-10-stable/contrib/llvm/tools/clang/lib/Sema/ |
| D | SemaLambda.cpp | 596 const Expr *RetE = RS->getRetValue(); in deduceClosureReturnType() local
598 QualType ReturnType = (RetE ? RetE->getType() : Context.VoidTy); in deduceClosureReturnType()
|