Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Checkers/
DRetainCountChecker.cpp1883 const RefVal &CurrV = *CurrT; in VisitNode() local
1956 if (CurrV.getObjKind() == RetEffect::CF) { in VisitNode()
1960 assert (CurrV.getObjKind() == RetEffect::ObjC); in VisitNode()
1964 if (CurrV.isOwned()) { in VisitNode()
1968 assert(CurrV.getObjKind() == RetEffect::CF); in VisitNode()
1974 assert (CurrV.isNotOwned()); in VisitNode()
2029 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
2032 if (CurrV.getKind() == RefVal::Released) { in VisitNode()
2033 assert(CurrV.getCombinedCounts() == 0); in VisitNode()
2050 assert(!PrevV.hasSameState(CurrV) && "The state should have changed."); in VisitNode()
[all …]