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);
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
