diff options
author | Andrei Karas <akaras@inbox.ru> | 2015-06-17 17:06:42 +0300 |
---|---|---|
committer | Andrei Karas <akaras@inbox.ru> | 2015-06-17 17:25:25 +0300 |
commit | f92d8d4c27a2c8602ac5ec888fc344d01a5da5cc (patch) | |
tree | 3a1cfb6c043dd7ee714f41418f2926d8db8ebf32 /src/analysis/analysis.cpp | |
parent | b2bcd7a94f4d44e5767b0d95881d331a567fa6f2 (diff) | |
download | paranucker-f92d8d4c27a2c8602ac5ec888fc344d01a5da5cc.tar.gz paranucker-f92d8d4c27a2c8602ac5ec888fc344d01a5da5cc.tar.bz2 paranucker-f92d8d4c27a2c8602ac5ec888fc344d01a5da5cc.tar.xz paranucker-f92d8d4c27a2c8602ac5ec888fc344d01a5da5cc.zip |
Extract null pointer reporting code into separate function.
Diffstat (limited to 'src/analysis/analysis.cpp')
-rw-r--r-- | src/analysis/analysis.cpp | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/analysis/analysis.cpp b/src/analysis/analysis.cpp index f3a9631..ca689e1 100644 --- a/src/analysis/analysis.cpp +++ b/src/analysis/analysis.cpp @@ -101,6 +101,20 @@ int findBackLocation(Node *node) return loc; } +void reportParmDeclNullPointer(Node *mainNode, + Node *node, + const WalkItem &wi) +{ + if (node && node->nodeType == PARM_DECL) + { + if (wi.checkNullVars.find(node->label) != wi.checkNullVars.end()) + { + Log::warn(findBackLocation(mainNode), + "Using variable without check for NULL"); + } + } +} + void analyseNode(Node *node, const WalkItem &wi, WalkItem &wo) { if (!node) |