[cfe-commits] r90546 - /cfe/trunk/include/clang/Analysis/PathSensitive/Checker.h
Zhongxing Xu
xuzhongxing at gmail.com
Thu Dec 3 22:36:49 PST 2009
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);
More information about the cfe-commits
mailing list