diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-28 15:50:54 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-28 15:50:54 +0300 |
commit | 51b8da0ae10161612c368bd76a8d611b89f04e67 (patch) | |
tree | dcbfa88f60256d55f8279e9b46a6d95d85502510 /src/analysis/analysis.cpp | |
parent | dee5cf7bc6a5e1ffc813c81caac1f711b9d6093e (diff) | |
download | paranucker-51b8da0ae10161612c368bd76a8d611b89f04e67.tar.gz paranucker-51b8da0ae10161612c368bd76a8d611b89f04e67.tar.bz2 paranucker-51b8da0ae10161612c368bd76a8d611b89f04e67.tar.xz paranucker-51b8da0ae10161612c368bd76a8d611b89f04e67.zip |
Add warning for more than one checks for non null variables.
Diffstat (limited to 'src/analysis/analysis.cpp')
-rw-r--r-- | src/analysis/analysis.cpp | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/analysis/analysis.cpp b/src/analysis/analysis.cpp index bb6b93e..45abe97 100644 --- a/src/analysis/analysis.cpp +++ b/src/analysis/analysis.cpp @@ -217,6 +217,15 @@ bool checkForReport(Node *node, wi.checkNullVars.find(node->label) != wi.checkNullVars.end(); } +// report about useless check for null pointer +void reportUselessCheck(Node *node, + const std::string &var) +{ + Log::warn(findBackLocation(node), + "Useless variable check '%s'. It already was checked before", + var); +} + // report about null pointer if need for node void reportParmDeclNullPointer(Node *mainNode, Node *node, |