Searched refs:takeNodes (Results 1 – 5 of 5) sorted by relevance
866 Bldr.takeNodes(Pred); in Visit()876 Bldr.takeNodes(Pred); in Visit()929 Bldr.takeNodes(Pred); in Visit()939 Bldr.takeNodes(Pred); in Visit()987 Bldr.takeNodes(Pred); in Visit()1015 Bldr.takeNodes(Pred); in Visit()1021 Bldr.takeNodes(Pred); in Visit()1027 Bldr.takeNodes(Pred); in Visit()1033 Bldr.takeNodes(Pred); in Visit()1040 Bldr.takeNodes(Pred); in Visit()[all …]
59 Bldr.takeNodes(Pred); in performTrivialCopy()524 Bldr.takeNodes(NewN); in VisitCXXNewExpr()
538 B.takeNodes(UpdatedN); in VisitDeclStmt()806 Bldr.takeNodes(*I); in VisitUnaryOperator()1006 Bldr.takeNodes(*I); in VisitIncrementDecrementOperator()
447 Bldr.takeNodes(Pred); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
301 void takeNodes(const ExplodedNodeSet &S) { in takeNodes() function305 void takeNodes(ExplodedNode *N) { Frontier.erase(N); } in takeNodes() function360 EnclosingBldr->takeNodes(SrcNode); in NodeBuilder()370 EnclosingBldr->takeNodes(*I); in NodeBuilder()417 takeNodes(SrcNode); in BranchNodeBuilder()425 takeNodes(SrcSet); in BranchNodeBuilder()