diff options
author | NAKAMURA Takumi <geek4civic@gmail.com> | 2012-11-01 01:47:02 +0000 |
---|---|---|
committer | NAKAMURA Takumi <geek4civic@gmail.com> | 2012-11-01 01:47:02 +0000 |
commit | 3cdd84318a3ae43fa31da849f1a6d3eeb8a39d2d (patch) | |
tree | e65d97f97e5c028f840f398b6bedc738fab28700 | |
parent | baf764092c76d74fb1528cfd62540ae7dc01efbd (diff) |
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h: Appease msvc.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167199 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h index 34779e875c..4a78849024 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h @@ -81,7 +81,7 @@ public: // FIXME: This is fairly expensive and should be disabled even in // Release+Asserts builds. assert(assume(State, Cond, false) && "System is over constrained."); - return ProgramStatePair(NULL, State); + return ProgramStatePair((ProgramStateRef)NULL, State); } ProgramStateRef StFalse = assume(State, Cond, false); @@ -89,7 +89,7 @@ public: // We are careful to return the original state, /not/ StTrue, // because we want to avoid having callers generate a new node // in the ExplodedGraph. - return ProgramStatePair(State, NULL); + return ProgramStatePair(State, (ProgramStateRef)NULL); } return ProgramStatePair(StTrue, StFalse); |