diff options
-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); |