Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp1907 const RefVal &CurrV = *CurrT; in VisitNode() local
1980 if (CurrV.getObjKind() == RetEffect::CF) { in VisitNode()
1984 assert (CurrV.getObjKind() == RetEffect::ObjC); in VisitNode()
1988 if (CurrV.isOwned()) { in VisitNode()
1992 assert(CurrV.getObjKind() == RetEffect::CF); in VisitNode()
1998 assert (CurrV.isNotOwned()); in VisitNode()
2053 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
2056 if (CurrV.getKind() == RefVal::Released) { in VisitNode()
2057 assert(CurrV.getCombinedCounts() == 0); in VisitNode()
2074 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
[all …]