Revert r90546.

llvm-svn: 90551
This commit is contained in:
Ted Kremenek 2009-12-04 06:47:41 +00:00
parent 3de20c55e9
commit f1e2c829d5
1 changed files with 2 additions and 1 deletions

View 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);