From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Fri, 4 Dec 2009 06:36:49 +0000 (+0000)
Subject: the assertion says state is not NULL. When state is not NULL, getState()
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1d60710c593c82e6c4a9a5c1e96e24fbb3a61592;p=clang

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 b380f1bf02..3238672e51 100644
--- 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);