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

[Ted Kremenek]

Author: kremenek
Date: Fri Dec  4 00:47:41 2009
New Revision: 90551

URL: http://llvm.org/viewvc/llvm-project?rev=90551&view=rev
Log:
Revert r90546.

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=90551&r1=90550&r2=90551&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h Fri Dec  4 00:47:41 2009
@@ -126,7 +126,8 @@
   
   void addTransition(const GRState *state) {
     assert(state);
-    if (state != B.GetState(Pred))
+    if (state != getState() || 
+        (state && state != B.GetState(Pred)))
       GenerateNode(state, true);
     else
       Dst.Add(Pred);