summaryrefslogtreecommitdiff
path: root/src/analysis/analysis.cpp
diff options
context:
space:
mode:
authorAndrei Karas <akaras@inbox.ru>2015-06-17 17:06:42 +0300
committerAndrei Karas <akaras@inbox.ru>2015-06-17 17:25:25 +0300
commitf92d8d4c27a2c8602ac5ec888fc344d01a5da5cc (patch)
tree3a1cfb6c043dd7ee714f41418f2926d8db8ebf32 /src/analysis/analysis.cpp
parentb2bcd7a94f4d44e5767b0d95881d331a567fa6f2 (diff)
downloadparanucker-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.cpp14
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)