Home
last modified time | relevance | path

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

/external/clang/lib/StaticAnalyzer/Core/
DLoopWidening.cpp23 static const Expr *getLoopCondition(const Stmt *LoopStmt) { in getLoopCondition() argument
24 switch (LoopStmt->getStmtClass()) { in getLoopCondition()
28 return cast<ForStmt>(LoopStmt)->getCond(); in getLoopCondition()
30 return cast<WhileStmt>(LoopStmt)->getCond(); in getLoopCondition()
32 return cast<DoStmt>(LoopStmt)->getCond(); in getLoopCondition()
41 unsigned BlockCount, const Stmt *LoopStmt) { in getWidenedLoopState() argument
43 assert(isa<ForStmt>(LoopStmt) || isa<WhileStmt>(LoopStmt) || in getWidenedLoopState()
44 isa<DoStmt>(LoopStmt)); in getWidenedLoopState()
62 return PrevState->invalidateRegions(Regions, getLoopCondition(LoopStmt), in getWidenedLoopState()
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DLoopWidening.h31 unsigned BlockCount, const Stmt *LoopStmt);