diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-07-23 02:10:58 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-07-23 02:10:58 +0300 |
| commit | c8774654eebc90f1cd1a4e7bcec6252fd89db1d8 (patch) | |
| tree | 4fccff651deb743daa108a667ff483014deecb09 /src | |
| parent | feba614e7412bdc2d6d186d232e90510d77e96d6 (diff) | |
| download | paranucker-c8774654eebc90f1cd1a4e7bcec6252fd89db1d8.tar.gz paranucker-c8774654eebc90f1cd1a4e7bcec6252fd89db1d8.tar.bz2 paranucker-c8774654eebc90f1cd1a4e7bcec6252fd89db1d8.tar.xz paranucker-c8774654eebc90f1cd1a4e7bcec6252fd89db1d8.zip | |
Add this pointer as known non null var in methods.
Diffstat (limited to 'src')
| -rw-r--r-- | src/analysis/function.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/analysis/function.cpp b/src/analysis/function.cpp index 8bb9566..8b6b2fa 100644 --- a/src/analysis/function.cpp +++ b/src/analysis/function.cpp @@ -138,7 +138,11 @@ void getPossibleNullParameters(FunctionDeclNode *node, WalkItem &wi) continue; const ParmDeclNode *const name = node->args[f]; if (f == 0 && name->label == "this") + { + wi.knownVars.insert(name->label); + wi.knownNonNullVars.insert(name->label); continue; + } if (isNotIn(f + 1, nonNull)) { if (checkCommand(FindArgs)) |