Home
last modified time | relevance | path

Searched refs:getBlockCounter (Results 1 – 3 of 3) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DWorkList.h52 BlockCounter getBlockCounter() const { return counter; } in getBlockCounter() function
81 BlockCounter getBlockCounter() const { return CurrentCounter; } in getBlockCounter() function
DCoreEngine.h195 return Eng.WList->getBlockCounter().getNumVisited( in blockCount()
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp231 WList->setBlockCounter(WU.getBlockCounter()); in ExecuteWorkList()
341 BlockCounter Counter = WList->getBlockCounter(); in HandleBlockEntrance()