[cfe-commits] r167199 - /cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
Jordan Rose
jordan_rose at apple.com
Wed Oct 31 21:42:16 PDT 2012
Wondering if 0 is perhaps more appropriate than a cast, but either way, thanks, Takumi.
On Oct 31, 2012, at 18:47 , NAKAMURA Takumi <geek4civic at gmail.com> wrote:
> Author: chapuni
> Date: Wed Oct 31 20:47:02 2012
> New Revision: 167199
>
> URL: http://llvm.org/viewvc/llvm-project?rev=167199&view=rev
> Log:
> clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h: Appease msvc.
>
> Modified:
> cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
>
> Modified: cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
> URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h?rev=167199&r1=167198&r2=167199&view=diff
> ==============================================================================
> --- cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h (original)
> +++ cfe/trunk/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h Wed Oct 31 20:47:02 2012
> @@ -81,7 +81,7 @@
> // 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 @@
> // 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);
>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
More information about the cfe-commits
mailing list