Home
last modified time | relevance | path

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

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExplodedGraph.h128 assert(isSink() == IsSink); in ExplodedNode()
173 Profile(ID, Location, State, isSink()); in Profile()
185 bool isSink() const { return Succs.getFlag(); } in isSink() function
404 assert (N && !static_cast<ExplodedNode*>(N)->isSink()); in ExplodedNodeSet()
411 if (N && !static_cast<ExplodedNode*>(N)->isSink()) Impl.insert(N); in Add()
DCoreEngine.h234 if ((*I)->isSink()) in hasNoSinksInFrontier()
336 if (N && N->isSink())
485 bool isSink = false);
538 bool isSink = false);
/external/clang/lib/StaticAnalyzer/Core/
DExplodedGraph.cpp219 assert (!V->isSink()); in addPredecessor()
403 ExplodedNode *NewN = G->getNode(N->getLocation(), N->State, N->isSink(), in trim()
DCoreEngine.cpp513 assert (!N->isSink()); in enqueueStmtNode()
DBugReporter.cpp2952 OrigN->isSink()); in popNextReportGraph()
3339 if (errorNode->isSink()) { in FindReportInEquivalenceClass()
3370 if (!Succ->isSink()) { in FindReportInEquivalenceClass()
DExprEngine.cpp1465 if (PredI->isSink()) in processBranch()