Home
last modified time | relevance | path

Searched refs:BlockCount (Results 1 – 10 of 10) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DLoopWidening.cpp41 unsigned BlockCount, const Stmt *LoopStmt) { in getWidenedLoopState() argument
63 BlockCount, LCtx, true, nullptr, nullptr, in getWidenedLoopState()
DCallEvent.cpp156 ProgramStateRef CallEvent::invalidateRegions(unsigned BlockCount, in invalidateRegions() argument
191 BlockCount, getLocationContext(), in invalidateRegions()
DExprEngine.cpp1409 unsigned int BlockCount = nodeBuilder.getContext().blockCount(); in processCFGBlockEntrance() local
1410 if (BlockCount == AMgr.options.maxBlockVisitOnPath - 1 && in processCFGBlockEntrance()
1419 getWidenedLoopState(Pred->getState(), LCtx, BlockCount, Term); in processCFGBlockEntrance()
1425 if (BlockCount >= AMgr.options.maxBlockVisitOnPath) { in processCFGBlockEntrance()
DMemRegion.cpp396 BlockDataRegion::ProfileRegion(ID, BC, LC, BlockCount, getSuperRegion()); in Profile()
/external/llvm/lib/IR/
DGCOV.cpp156 uint32_t BlockCount; in readGCNO() local
157 if (!Buff.readInt(BlockCount)) in readGCNO()
159 for (uint32_t i = 0, e = BlockCount; i != e; ++i) { in readGCNO()
174 if (BlockNo >= BlockCount) { in readGCNO()
203 if (BlockNo >= BlockCount) { in readGCNO()
608 uint64_t BlockCount = Block->getCount(); in print() local
609 LineCount = LineCount > BlockCount ? LineCount : BlockCount; in print()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DLoopWidening.h31 unsigned BlockCount, const Stmt *LoopStmt);
DProgramState.h261 unsigned BlockCount, const LocationContext *LCtx,
268 unsigned BlockCount, const LocationContext *LCtx,
432 const Expr *E, unsigned BlockCount,
DMemRegion.h635 unsigned BlockCount; variable
642 BlockCount(count), in BlockDataRegion()
DCallEvent.h316 ProgramStateRef invalidateRegions(unsigned BlockCount,
/external/clang/lib/CodeGen/
DCodeGenPGO.cpp303 uint64_t BlockCount = setCount(PGO.getRegionCount(S)); in VisitLabelStmt() local
304 CountMap[S] = BlockCount; in VisitLabelStmt()