reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1917 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); 1922 ExplodedNode *UpdatedNode = nodeBuilder.generateNode(NewState, Pred); 1935 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); 1938 const Stmt *Term = nodeBuilder.getContext().getBlock()->getTerminatorStmt(); 1946 nodeBuilder.generateNode(WidenedState, Pred); 1954 nodeBuilder.generateSink(Pred->getState(), Pred, &tag);