Searched refs:CurrSt (Results 1 – 1 of 1) sorted by relevance
| /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 171 findArgIdxOfSymbol(ProgramStateRef CurrSt, const LocationContext *LCtx, in findArgIdxOfSymbol() argument
210 static void generateDiagnosticsForCallLike(ProgramStateRef CurrSt, in generateDiagnosticsForCallLike() argument
219 SVal X = CurrSt->getSValAsScalarOrLoc(CE->getCallee(), LCtx); in generateDiagnosticsForCallLike()
238 cast<ObjCMessageExpr>(S), CurrSt, LCtx, {nullptr, 0}); in generateDiagnosticsForCallLike()
254 auto Idx = findArgIdxOfSymbol(CurrSt, LCtx, Sym, CE); in generateDiagnosticsForCallLike()
298 if (CurrSt->isNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
300 } else if (CurrSt->isNonNull(RV).isConstrainedTrue()) { in generateDiagnosticsForCallLike()
478 ProgramStateRef CurrSt = N->getState(); in VisitNode() local
481 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
534 generateDiagnosticsForCallLike(CurrSt, LCtx, CurrV, Sym, S, os); in VisitNode()
[all …]
|