Searched refs:isSink (Results 1 – 6 of 6) sorted by relevance
128 assert(isSink() == IsSink); in ExplodedNode()173 Profile(ID, Location, State, isSink()); in Profile()185 bool isSink() const { return Succs.getFlag(); } in isSink() function404 assert (N && !static_cast<ExplodedNode*>(N)->isSink()); in ExplodedNodeSet()411 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N); in Add()
234 if ((*I)->isSink()) in hasNoSinksInFrontier()336 if (N && N->isSink())485 bool isSink = false);538 bool isSink = false);
219 assert (!V->isSink()); in addPredecessor()403 ExplodedNode *NewN = G->getNode(N->getLocation(), N->State, N->isSink(), in trim()
513 assert (!N->isSink()); in enqueueStmtNode()
2952 OrigN->isSink()); in popNextReportGraph()3339 if (errorNode->isSink()) { in FindReportInEquivalenceClass()3370 if (!Succ->isSink()) { in FindReportInEquivalenceClass()
1465 if (PredI->isSink()) in processBranch()