Home
last modified time | relevance | path

Searched refs:getWorkList (Results 1 – 4 of 4) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngineCallAndReturn.cpp65 Engine.getWorkList()->enqueue(Node); in processCallEnter()
350 Engine.getWorkList()->enqueue(*PSI, calleeCtx->getCallSiteBlock(), in processCallExit()
454 Engine.getWorkList()->enqueue(N); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DExprEngine.h304 bool hasEmptyWorkList() const { return !Engine.getWorkList()->hasWork(); } in hasEmptyWorkList()
DCoreEngine.h153 WorkList *getWorkList() const { return WList.get(); } in getWorkList() function
/external/clang/lib/StaticAnalyzer/Checkers/
DIdempotentOperationChecker.cpp603 if (CE.getWorkList()->visitItemsInWorkList(visitWL)) in pathWasCompletelyAnalyzed()