the assertion says state is not NULL. When state is not NULL, getState()

returns state. So simplify the predicate.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90546 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/include/clang/Analysis/PathSensitive/Checker.h b/include/clang/Analysis/PathSensitive/Checker.h
index b380f1bf02fdf6acff7f7ab79dd141c5841ceefb..3238672e514823a006e9045361fc22c635bb50ce 100644 (file)
--- a/include/clang/Analysis/PathSensitive/Checker.h
+++ b/include/clang/Analysis/PathSensitive/Checker.h
@@ -126,8 +126,7 @@ public:
   
   void addTransition(const GRState *state) {
     assert(state);
-    if (state != getState() || 
-        (state && state != B.GetState(Pred)))
+    if (state != B.GetState(Pred))
       GenerateNode(state, true);
     else
       Dst.Add(Pred);