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 | 1e5eac6dfee1281d7ba59a073fee1e60792081f8 (patch) | |
| tree | e630b803962f6999d1d1344e3d0813e0efe85587 | |
| parent | 9892a4b7947c2f25deea0dd8caba13ebd59bc9e2 (diff) | |
| download | bcm5719-llvm-1e5eac6dfee1281d7ba59a073fee1e60792081f8.tar.gz bcm5719-llvm-1e5eac6dfee1281d7ba59a073fee1e60792081f8.zip | |
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h: Appease msvc.
llvm-svn: 167199
| -rw-r--r-- | clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h index 34779e875c0..4a78849024a 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h +++ b/clang/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); |

