diff options
| author | Andrei Karas <akaras@inbox.ru> | 2015-06-22 17:31:24 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2015-06-22 17:31:24 +0300 |
| commit | cea1bf35ade4362d0a9e46980b1fdba44764ff61 (patch) | |
| tree | f927a9a0272acc53e35b05133c62ba05f0405807 /src/analysis/analysis.h | |
| parent | 3aa8413b91ca6838f3b58abcafeb4d545d05117e (diff) | |
| download | paranucker-cea1bf35ade4362d0a9e46980b1fdba44764ff61.tar.gz paranucker-cea1bf35ade4362d0a9e46980b1fdba44764ff61.tar.bz2 paranucker-cea1bf35ade4362d0a9e46980b1fdba44764ff61.tar.xz paranucker-cea1bf35ade4362d0a9e46980b1fdba44764ff61.zip | |
Add support for related checks for "linked" variables.
Example:
void func(int *ptr1)
{
int *ptr2 = ptr1;
if (!ptr1)
return;
*ptr2 = 10;
}
here will be no warning.
Diffstat (limited to 'src/analysis/analysis.h')
| -rw-r--r-- | src/analysis/analysis.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/analysis/analysis.h b/src/analysis/analysis.h index fe4bf67..fe3d295 100644 --- a/src/analysis/analysis.h +++ b/src/analysis/analysis.h @@ -45,6 +45,10 @@ namespace Analysis bool checkForReport(Node *node, const WalkItem &wi); + void addLinkedVar(WalkItem &wi, + const std::string &parent, + const std::string &var); + void removeCheckNullVars(WalkItem &wi); void removeCheckNullVarsSet(WalkItem &wi, |