clang  6.0.0svn
LoopWidening.h
Go to the documentation of this file.
1 //===--- LoopWidening.h - Widen loops ---------------------------*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 ///
10 /// This header contains the declarations of functions which are used to widen
11 /// loops which do not otherwise exit. The widening is done by invalidating
12 /// anything which might be modified by the body of the loop.
13 ///
14 //===----------------------------------------------------------------------===//
15 
16 #ifndef LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_LOOPWIDENING_H
17 #define LLVM_CLANG_STATICANALYZER_CORE_PATHSENSITIVE_LOOPWIDENING_H
18 
19 #include "clang/Analysis/CFG.h"
21 
22 namespace clang {
23 namespace ento {
24 
25 /// \brief Get the states that result from widening the loop.
26 ///
27 /// Widen the loop by invalidating anything that might be modified
28 /// by the loop body in any iteration.
30  const LocationContext *LCtx,
31  unsigned BlockCount, const Stmt *LoopStmt);
32 
33 } // end namespace ento
34 } // end namespace clang
35 
36 #endif
IntrusiveRefCntPtr< const ProgramState > ProgramStateRef
ProgramStateRef getWidenedLoopState(ProgramStateRef PrevState, const LocationContext *LCtx, unsigned BlockCount, const Stmt *LoopStmt)
Get the states that result from widening the loop.
Dataflow Directional Tag Classes.