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