Home
last modified time | relevance | path

Searched refs:markVisitedBasicBlock (Results 1 – 2 of 2) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DFunctionSummary.h94 void markVisitedBasicBlock(unsigned ID, const Decl* D, unsigned TotalIDs) { in markVisitedBasicBlock() function
/external/clang/lib/StaticAnalyzer/Core/
DCoreEngine.cpp180 FunctionSummaries->markVisitedBasicBlock(Entry->getBlockID(), in ExecuteWorkList()
303 FunctionSummaries->markVisitedBasicBlock(Blk->getBlockID(), in HandleBlockEdge()