Searched refs:takeNodes (Results 1 – 5 of 5) sorted by relevance
855 Bldr.takeNodes(Pred); in Visit()865 Bldr.takeNodes(Pred); in Visit()919 Bldr.takeNodes(Pred); in Visit()929 Bldr.takeNodes(Pred); in Visit()977 Bldr.takeNodes(Pred); in Visit()1005 Bldr.takeNodes(Pred); in Visit()1011 Bldr.takeNodes(Pred); in Visit()1017 Bldr.takeNodes(Pred); in Visit()1023 Bldr.takeNodes(Pred); in Visit()1030 Bldr.takeNodes(Pred); in Visit()[all …]
59 Bldr.takeNodes(Pred); in performTrivialCopy()524 Bldr.takeNodes(NewN); in VisitCXXNewExpr()
527 B.takeNodes(UpdatedN); in VisitDeclStmt()795 Bldr.takeNodes(*I); in VisitUnaryOperator()995 Bldr.takeNodes(*I); in VisitIncrementDecrementOperator()
460 Bldr.takeNodes(Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
298 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function302 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function357 EnclosingBldr->takeNodes(SrcNode); in NodeBuilder()367 EnclosingBldr->takeNodes(*I); in NodeBuilder()414 takeNodes(SrcNode); in BranchNodeBuilder()422 takeNodes(SrcSet); in BranchNodeBuilder()