aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNAKAMURA Takumi <geek4civic@gmail.com>2012-11-01 01:47:02 +0000
committerNAKAMURA Takumi <geek4civic@gmail.com>2012-11-01 01:47:02 +0000
commit3cdd84318a3ae43fa31da849f1a6d3eeb8a39d2d (patch)
treee65d97f97e5c028f840f398b6bedc738fab28700
parentbaf764092c76d74fb1528cfd62540ae7dc01efbd (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.h4
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);