Home
last modified time | relevance | path

Searched refs:isSink (Results 1 – 7 of 7) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h128 assert(isSink() == IsSink); in ExplodedNode()
171 Profile(ID, Location, State, isSink()); in Profile()
183 bool isSink() const { return Succs.getFlag(); } in isSink() function
403 assert (N && !static_cast<ExplodedNode*>(N)->isSink()); in ExplodedNodeSet()
410 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N); in Add()
DCoreEngine.h229 if ((*I)->isSink()) in hasNoSinksInFrontier()
331 if (N && N->isSink())
480 bool isSink = false);
533 bool isSink = false);
/external/clang/lib/StaticAnalyzer/Core/
DExplodedGraph.cpp219 assert (!V->isSink()); in addPredecessor()
398 ExplodedNode *NewN = G->getNode(N->getLocation(), N->State, N->isSink(), in trim()
DCoreEngine.cpp530 assert (!N->isSink()); in enqueueStmtNode()
DBugReporter.cpp2926 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()
DExprEngine.cpp1602 if (PredI->isSink()) in processBranch()
/external/clang/lib/StaticAnalyzer/Checkers/
DNullabilityChecker.cpp372 if (!N->isSink()) in checkPreconditionViolation()
382 if (!N->isSink()) in checkPreconditionViolation()