Searched refs:NodePred (Results 1 – 1 of 1) sorted by relevance
617 ExplodedNode *NodePred) { in generateNode() argument623 NodePred->getLocationContext()); in generateNode()624 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred); in generateNode()