Add warning in analyser for node POINTER_PLUS_EXPR.

1 files changed, 20 insertions, 0 deletions

diff --git a/src/analysis/expression.cpp b/src/analysis/expression.cpp
index 114208c..81deae1 100644
--- a/src/analysis/expression.cpp
+++ b/src/analysis/expression.cpp
@@ -27,6 +27,7 @@
 
 #include "nodes/expr/indirect_ref.h"
 #include "nodes/expr/modify_expr.h"
+#include "nodes/expr/pointerplus_expr.h"
 
 #include <set>
 
@@ -62,4 +63,23 @@ WalkItem analyseModifyExpr(ModifyExprNode *node, WalkItem wi)
     return wi;
 }
 
+WalkItem analysePointerPlusExpr(PointerPlusExprNode *node, WalkItem wi)
+{
+    // need atleast one arg for check
+    if (node->args.empty() || command == FindArgs)
+        return wi;
+
+    Node *arg = node->args[0];
+    if (arg->nodeType == PARM_DECL)
+    {
+        if (wi.checkNullVars.find(arg->label) != wi.checkNullVars.end())
+        {
+            Log::warn(findBackLocation(node),
+                "Using variable without check for NULL");
+        }
+    }
+
+    return wi;
+}
+
 }