clang  11.0.0git
Namespaces | Functions
LoopWidening.h File Reference
#include "clang/Analysis/CFG.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Include dependency graph for LoopWidening.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


 Dataflow Directional Tag Classes.


ProgramStateRef clang::ento::getWidenedLoopState (ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
 Get the states that result from widening the loop. More...