clang  6.0.0svn
Namespaces | Functions
LoopWidening.cpp File Reference
#include "clang/StaticAnalyzer/Core/PathSensitive/LoopWidening.h"
Include dependency graph for LoopWidening.cpp:

Go to the source code of this file.

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 clang::ento
 

Functions

static const ExprgetLoopCondition (const Stmt *LoopStmt)
 Return the loops condition Stmt or NULL if LoopStmt is not a loop. More...
 
ProgramStateRef clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
 Get the states that result from widening the loop. More...
 

Function Documentation

◆ getLoopCondition()

static const Expr* getLoopCondition ( const Stmt LoopStmt)
static

Return the loops condition Stmt or NULL if LoopStmt is not a loop.

Definition at line 23 of file LoopWidening.cpp.

References clang::Stmt::getStmtClass().

Referenced by clang::ento::getWidenedLoopState().