Searched refs:getOriginalNode (Results 1 – 3 of 3) sorted by relevance
62 getOriginalNode(const ExplodedNode *N) = 0;
315 const ExplodedNode *getOriginalNode(const ExplodedNode *N) override { in getOriginalNode() function in __anon9d1265590111::NodeMapClosure
1945 const ExplodedNode *OrigNode = BRC.getNodeResolver().getOriginalNode(N); in VisitNode()