Searched refs:nodeBuilder (Results 1 – 2 of 2) sorted by relevance
2538 NodeBuilderWithSinks &nodeBuilder, in processCFGBlockEntrance() argument2544 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()2549 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); in processCFGBlockEntrance()2562 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance()2565 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); in processCFGBlockEntrance()2580 *nodeBuilder.getContext().getBlock()->ref_begin()); in processCFGBlockEntrance()2581 nodeBuilder.generateNode(WidenedState, Pred); in processCFGBlockEntrance()2589 nodeBuilder.generateSink(Pred->getState(), Pred, &tag); in processCFGBlockEntrance()
321 NodeBuilderWithSinks &nodeBuilder,