Home
last modified time | relevance | path

Searched refs:CurrV (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp1906 const RefVal &CurrV = *CurrT; in VisitNode() local
1979 if (CurrV.getObjKind() == RetEffect::CF) { in VisitNode()
1983 assert (CurrV.getObjKind() == RetEffect::ObjC); in VisitNode()
1987 if (CurrV.isOwned()) { in VisitNode()
1991 assert(CurrV.getObjKind() == RetEffect::CF); in VisitNode()
1997 assert (CurrV.isNotOwned()); in VisitNode()
2052 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
2055 if (CurrV.getKind() == RefVal::Released) { in VisitNode()
2056 assert(CurrV.getCombinedCounts() == 0); in VisitNode()
2073 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
[all …]