diff options
| -rw-r--r-- | clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h index 9bb4d72e915..54c943e5314 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/LoopUnrolling.h @@ -22,6 +22,8 @@ namespace clang { namespace ento { +class AnalysisManager; + ProgramStateRef markLoopAsUnrolled(const Stmt *Term, ProgramStateRef State, const FunctionDecl *FD); bool isUnrolledLoopBlock(const CFGBlock *Block, ExplodedNode *Pred, |
