Home | History | Annotate | Download | only in Core

Lines Matching refs:NewNode

1116   ExplodedNode *NewNode = G.getNode(NewNodeLoc, NewNodeState, false, &IsNew);
1122 NewNode->addPredecessor(BeforeProcessingCall, G);
1125 Engine.enqueueStmtNode(NewNode, CalleeSF->getCallSiteBlock(),