reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
117 SVal collectionV = state->getSVal(collection, Pred->getLocationContext()); 123 elementV = state->getLValue(elemD, Pred->getLocationContext()); 125 elementV = state->getSVal(elem, Pred->getLocationContext()); 128 bool isContainerNull = state->isNull(collectionV).isConstrainedTrue(); 131 evalLocation(dstLocation, S, elem, Pred, state, elementV, false);