diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-02 18:02:46 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-02 18:02:46 +0300 |
| commit | 0c6aa5322c99a5a17d4ae3b33a60913117499276 (patch) | |
| tree | 3c6a8b6767587dda91b1d7f928901cc7153d6e4e /src | |
| parent | 0c1d5e1d8f31c5738457e641b389489fa3beca8d (diff) | |
| download | paranucker-0c6aa5322c99a5a17d4ae3b33a60913117499276.tar.gz paranucker-0c6aa5322c99a5a17d4ae3b33a60913117499276.tar.bz2 paranucker-0c6aa5322c99a5a17d4ae3b33a60913117499276.tar.xz paranucker-0c6aa5322c99a5a17d4ae3b33a60913117499276.zip | |
If add new variable into linked vars, add it also to knownVars set.
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/collections.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/analysis/collections.cpp b/src/analysis/collections.cpp index 3c11481..d5a6be6 100644 --- a/src/analysis/collections.cpp +++ b/src/analysis/collections.cpp @@ -147,6 +147,7 @@ void addLinkedVar(WalkItem &wi, wi.knownNonNullVars.insert(var); wi.knownNullVars.erase(var); } + wi.knownVars.insert(var); // found parent as already linked var. need change parent to real parent if (isIn(parent, wi.linkedReverseVars)) |