Searched refs:generateNodeImpl (Results 1 – 2 of 2) sorted by relevance
269 ExplodedNode *generateNodeImpl(const ProgramPoint &PP,294 return generateNodeImpl( in generateNode()307 return generateNodeImpl(PP, State, Pred, true); in generateSink()
622 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl() function in NodeBuilder660 ExplodedNode *Succ = generateNodeImpl(Loc, State, NodePred); in generateNode()