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