From f1e2c829d502d6772e60d31dd9d705cd33805587 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 4 Dec 2009 06:47:41 +0000 Subject: [PATCH] Revert r90546. llvm-svn: 90551 --- clang/include/clang/Analysis/PathSensitive/Checker.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/clang/include/clang/Analysis/PathSensitive/Checker.h b/clang/include/clang/Analysis/PathSensitive/Checker.h index 3238672e5148..b380f1bf02fd 100644 --- a/clang/include/clang/Analysis/PathSensitive/Checker.h +++ b/clang/include/clang/Analysis/PathSensitive/Checker.h @@ -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);