diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-21 23:23:35 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-21 23:23:35 +0300 |
| commit | 3a1e68689635cbc5bbd3748d164b0345dc52603e (patch) | |
| tree | 04d6a46ab039422f0f01bf0e51529383aa2da44b /src | |
| parent | 5a1fa36c066d6b44abf450b7f9e0e845032b5723 (diff) | |
| download | paranucker-3a1e68689635cbc5bbd3748d164b0345dc52603e.tar.gz paranucker-3a1e68689635cbc5bbd3748d164b0345dc52603e.tar.bz2 paranucker-3a1e68689635cbc5bbd3748d164b0345dc52603e.tar.xz paranucker-3a1e68689635cbc5bbd3748d164b0345dc52603e.zip | |
Track new pointer variables if variable not have initial value.
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/expression.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp index 9fcc11e..50ebf74 100644 --- a/src/analysis/expression.cpp +++ b/src/analysis/expression.cpp @@ -777,6 +777,12 @@ bool handleSetVarToFunction(const std::string &var, if (!isPointerArg(node1)) return handleSetVarToFunctionBack(var, node2, wo); + if (node2 == nullptr) + { // type *var; + addUnknownVar(wo, var); + return true; + } + if (node2 != CALL_EXPR) { if (node2 != COMPOUND_EXPR) |