]> granicus.if.org Git - clang/commitdiff
Revert r90546.
authorTed Kremenek <kremenek@apple.com>
Fri, 4 Dec 2009 06:47:41 +0000 (06:47 +0000)
committerTed Kremenek <kremenek@apple.com>
Fri, 4 Dec 2009 06:47:41 +0000 (06:47 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90551 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/Checker.h

index 3238672e514823a006e9045361fc22c635bb50ce..b380f1bf02fdf6acff7f7ab79dd141c5841ceefb 100644 (file)
@@ -126,7 +126,8 @@ public:
   
   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);