HomeSort by relevance Sort by last modified time
    Searched refs:Frontier (Results 1 - 2 of 2) sorted by null

  /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
CoreEngine.h 204 /// frontier nodes (or destination set). This is the set of nodes which should
217 /// \brief The frontier set - a set of nodes which need to be propagated after
219 ExplodedNodeSet &Frontier;
229 for (iterator I = Frontier.begin(), E = Frontier.end(); I != E; ++I) {
247 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) {
248 Frontier.Add(SrcNode);
253 : C(Ctx), Finalized(F), HasGeneratedNodes(false), Frontier(DstSet) {
254 Frontier.insert(SrcSet);
281 return Frontier;
    [all...]
  /external/clang/lib/StaticAnalyzer/Core/
CoreEngine.cpp 455 // Enqueue the new frontier onto the worklist.
593 Frontier.erase(FromN);
599 Frontier.Add(N);
608 for (ExplodedNodeSet::iterator I = Frontier.begin(),
609 E = Frontier.end(); I != E; ++I )

Completed in 18 milliseconds