summaryrefslogtreecommitdiffstats
path: root/clang/lib/GR/SimpleConstraintManager.h
diff options
context:
space:
mode:
Diffstat (limited to 'clang/lib/GR/SimpleConstraintManager.h')
-rw-r--r--clang/lib/GR/SimpleConstraintManager.h10
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
OpenPOWER on IntegriCloud