clang
10.0.0git
|
#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"
Go to the source code of this file.
Namespaces | |
clang | |
Dataflow Directional Tag Classes. | |
clang::ento | |
Functions | |
bool | clang::ento::isUnrolledState (ProgramStateRef State) |
Returns if the given State indicates that is inside a completely unrolled loop. More... | |
ProgramStateRef | clang::ento::updateLoopStack (const Stmt *LoopStmt, ASTContext &ASTCtx, ExplodedNode *Pred, unsigned maxVisitOnPath) |
Updates the stack of loops contained by the ProgramState. More... | |
ProgramStateRef | clang::ento::processLoopEnd (const Stmt *LoopStmt, ProgramStateRef State) |
Updates the given ProgramState. More... | |