Searched refs:isSink (Results 1 – 6 of 6) sorted by relevance
128 assert(isSink() == IsSink); in ExplodedNode()171 Profile(ID, Location, State, isSink()); in Profile()183 bool isSink() const { return Succs.getFlag(); } in isSink() function403 assert (N && !static_cast<ExplodedNode*>(N)->isSink()); in ExplodedNodeSet()410 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N); in Add()
229 if ((*I)->isSink()) in hasNoSinksInFrontier()331 if (N && N->isSink())480 bool isSink = false);533 bool isSink = false);
219 assert (!V->isSink()); in addPredecessor()398 ExplodedNode *NewN = G->getNode(N->getLocation(), N->State, N->isSink(), in trim()
530 assert (!N->isSink()); in enqueueStmtNode()
2931 OrigN->isSink()); in popNextReportGraph()3319 if (errorNode->isSink()) { in FindReportInEquivalenceClass()3350 if (!Succ->isSink()) { in FindReportInEquivalenceClass()
1556 if (PredI->isSink()) in processBranch()