Searched refs:isSink (Results 1 – 7 of 7) 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()
2926 OrigN->isSink()); in popNextReportGraph()3226 assert((E->isSink() || E->getLocation().getTag()) && in emitReport()3316 if (errorNode->isSink()) { in FindReportInEquivalenceClass()3347 if (!Succ->isSink()) { in FindReportInEquivalenceClass()
1602 if (PredI->isSink()) in processBranch()
372 if (!N->isSink()) in checkPreconditionViolation()382 if (!N->isSink()) in checkPreconditionViolation()