[cfe-commits] r90546 - /cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h

[Zhongxing Xu]

Author: zhongxingxu
Date: Fri Dec  4 00:36:49 2009
New Revision: 90546

URL: http://llvm.org/viewvc/llvm-project?rev=90546&view=rev
Log:
the assertion says state is not NULL. When state is not NULL, getState() 
returns state. So simplify the predicate.

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h?rev=90546&r1=90545&r2=90546&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h Fri Dec  4 00:36:49 2009
@@ -126,8 +126,7 @@
   
   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);