git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@90551 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Ted Kremenek 2009-12-04 06:47:41 +00:00
Родитель dd27a2d390
Коммит 6dea404751
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

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