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

/freebsd-current/contrib/llvm-project/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(); local
41 if (!RetE)
43 SVal RetVal = C.getSVal(RetE);
64 RetE->getType()->isVoidType())
67 emitUndef(C, RetE);
75 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
81 const Expr *RetE, const Expr *TrackingE = nullptr) {
88 Report->addRange(RetE
80 emitBug(CheckerContext &C, const BugType &BT, StringRef Msg, const Expr *RetE, const Expr *TrackingE = nullptr) argument
98 checkReference(CheckerContext &C, const Expr *RetE, DefinedOrUnknownSVal RetVal) const argument
[all...]
H A DReturnPointerRangeChecker.cpp42 const Expr *RetE = RS->getRetValue(); local
43 if (!RetE)
47 if (RetE->getSourceRange().isInvalid())
50 SVal V = C.getSVal(RetE);
87 Report->addRange(RetE->getSourceRange());
116 {RetE, C.getSourceManager(), C.getLocationContext()});
119 bugreporter::trackExpressionValue(N, RetE, *Report);
H A DStackAddrEscapeChecker.cpp58 const Expr *RetE) const;
152 const Expr *RetE) const {
167 report->addRange(RetE->getSourceRange());
255 const Expr *RetE = RS->getRetValue(); local
256 if (!RetE)
258 RetE = RetE->IgnoreParens();
260 SVal V = C.getSVal(RetE);
274 if (const ExprWithCleanups *Cleanup = dyn_cast<ExprWithCleanups>(RetE))
275 RetE
[all...]
/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp393 static QualType GetReturnType(const Expr *RetE, ASTContext &Ctx) { argument
394 QualType RetTy = RetE->getType();
395 // If RetE is not a message expression just return its type.
396 // If RetE is a message expression, return its types if it is something
398 if (const ObjCMessageExpr *ME = dyn_cast<ObjCMessageExpr>(RetE))
978 const Expr *RetE = S->getRetValue(); local
979 if (!RetE)
985 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext())
/freebsd-current/contrib/llvm-project/clang/lib/Analysis/
H A DRetainSummaryManager.cpp990 if (std::optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, FD))
991 Template->setRetEffect(*RetE);
1017 if (std::optional<RetEffect> RetE = getRetEffectFromAnnotations(RetTy, MD))
1018 Template->setRetEffect(*RetE);
/freebsd-current/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngineCXX.cpp242 const Expr *RetE = RCC->getReturnStmt()->getRetValue(); local
243 assert(RetE && "Void returns should not have a construction context");
244 QualType ReturnTy = RetE->getType();
246 return SVB.conjureSymbolVal(&TopLevelSymRegionTag, RetE, SFC, RegionTy,
H A DBugReporterVisitors.cpp1048 const Expr *RetE = Ret->getRetValue(); local
1049 assert(RetE && "Tracking a return value for a void function");
1053 if (RetE->isGLValue()) {
1055 SVal RValue = State->getRawSVal(*LValue, RetE->getType());
1065 RetE = RetE->IgnoreParenCasts();
1068 getParentTracker().track(RetE, N, {TKind, EnableNullFPSuppression});
1086 if (RetE->getType()->isObjCObjectPointerType()) {
1121 if (const auto *DR = dyn_cast<DeclRefExpr>(RetE))
/freebsd-current/contrib/llvm-project/clang/lib/Sema/
H A DSemaLambda.cpp716 const Expr *RetE = RS->getRetValue(); local
719 (RetE ? RetE->getType() : Context.VoidTy).getUnqualifiedType();

Completed in 259 milliseconds