Searched refs:NodeWithoutBinding (Results 1 – 1 of 1) sorted by relevance
1556 const ExplodedNode *NodeWithoutBinding = StoreSite->getFirstPred(); in VisitNode() local1558 NodeWithoutBinding && NodeWithoutBinding->getState()->getSVal(R) == V; in VisitNode()1559 NodeWithoutBinding = NodeWithoutBinding->getFirstPred()) { in VisitNode()1562 if (NodeWithoutBinding) { in VisitNode()1572 BRC.getStateManager().iterBindings(NodeWithoutBinding->getState(), FB); in VisitNode()