Searched refs:generateNodeImpl (Results 1 – 2 of 2) sorted by relevance
278 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,303 return generateNodeImpl( in generateNode()316 return generateNodeImpl(PP, State, Pred, true); in generateSink()
634 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl() function in NodeBuilder672 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred); in generateNode()