Searched refs:takeNodes (Results 1 – 5 of 5) sorted by relevance
687 Bldr.takeNodes(Pred); in Visit()736 Bldr.takeNodes(Pred); in Visit()746 Bldr.takeNodes(Pred); in Visit()794 Bldr.takeNodes(Pred); in Visit()821 Bldr.takeNodes(Pred); in Visit()827 Bldr.takeNodes(Pred); in Visit()833 Bldr.takeNodes(Pred); in Visit()839 Bldr.takeNodes(Pred); in Visit()847 Bldr.takeNodes(Pred); in Visit()861 Bldr.takeNodes(Pred); in Visit()[all …]
59 Bldr.takeNodes(Pred); in performTrivialCopy()419 Bldr.takeNodes(NewN); in VisitCXXNewExpr()
492 B.takeNodes(UpdatedN); in VisitDeclStmt()744 Bldr.takeNodes(Pred); in VisitUnaryOperator()941 Bldr.takeNodes(*I); in VisitIncrementDecrementOperator()
459 Bldr.takeNodes(Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
303 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function307 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function361 EnclosingBldr->takeNodes(SrcNode); in NodeBuilder()370 EnclosingBldr->takeNodes(*I); in NodeBuilder()417 takeNodes(SrcNode); in BranchNodeBuilder()425 takeNodes(SrcSet); in BranchNodeBuilder()