diff options
Diffstat (limited to 'clang/lib/GR/SimpleConstraintManager.h')
| -rw-r--r-- | clang/lib/GR/SimpleConstraintManager.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/clang/lib/GR/SimpleConstraintManager.h b/clang/lib/GR/SimpleConstraintManager.h index 45742ebd7d0..442f0ca9f7c 100644 --- a/clang/lib/GR/SimpleConstraintManager.h +++ b/clang/lib/GR/SimpleConstraintManager.h @@ -11,14 +11,16 @@ // //===----------------------------------------------------------------------===// -#ifndef LLVM_CLANG_ANALYSIS_SIMPLE_CONSTRAINT_MANAGER_H -#define LLVM_CLANG_ANALYSIS_SIMPLE_CONSTRAINT_MANAGER_H +#ifndef LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H +#define LLVM_CLANG_GR_SIMPLE_CONSTRAINT_MANAGER_H #include "clang/GR/PathSensitive/ConstraintManager.h" #include "clang/GR/PathSensitive/GRState.h" namespace clang { +namespace GR { + class SimpleConstraintManager : public ConstraintManager { GRSubEngine &SU; public: @@ -84,6 +86,8 @@ protected: const GRState *assumeAux(const GRState *state, NonLoc Cond, bool Assumption); }; -} // end clang namespace +} // end GR namespace + +} // end clang namespace #endif |

