diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-05 20:54:40 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-05 20:54:40 +0300 |
| commit | 1649cc7a70178e005727ddff60c9bb66f72a3c1f (patch) | |
| tree | 788a8b0c369ce4503c7b7b5715772df39bb783d8 /src | |
| parent | 22adecab3bd0a671413f7ba90a24bfb8fdcf2592 (diff) | |
| download | paranucker-1649cc7a70178e005727ddff60c9bb66f72a3c1f.tar.gz paranucker-1649cc7a70178e005727ddff60c9bb66f72a3c1f.tar.bz2 paranucker-1649cc7a70178e005727ddff60c9bb66f72a3c1f.tar.xz paranucker-1649cc7a70178e005727ddff60c9bb66f72a3c1f.zip | |
Add non null function arguments to knownVars and knownNonNullVars collections.
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/function.cpp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/analysis/function.cpp b/src/analysis/function.cpp index 2c22e61..e9de29a 100644 --- a/src/analysis/function.cpp +++ b/src/analysis/function.cpp @@ -126,8 +126,12 @@ void getPossibleNullParameters(FunctionDeclNode *node, WalkItem &wi) name->label.c_str()); } wi.needCheckNullVars.insert(name->label); - wi.knownVars.insert(name->label); } + else + { + wi.knownNonNullVars.insert(name->label); + } + wi.knownVars.insert(name->label); } if (checkCommand(FindArgs)) Log::log("\n"); |