Searched refs:elementV (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineObjC.cpp | 76 SVal elementV; in VisitObjCForCollectionStmt() local
81 elementV = state->getLValue(elemD, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
84 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
88 evalLocation(dstLocation, S, elem, Pred, state, elementV, nullptr, false); in VisitObjCForCollectionStmt()
107 if (Optional<loc::MemRegionVal> MV = elementV.getAs<loc::MemRegionVal>()) in VisitObjCForCollectionStmt()
118 hasElems = hasElems->bindLoc(elementV, V); in VisitObjCForCollectionStmt()
122 noElems = noElems->bindLoc(elementV, nilV); in VisitObjCForCollectionStmt()
|