summaryrefslogtreecommitdiff
path: root/src/analysis/ref.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/analysis/ref.cpp')
-rw-r--r--src/analysis/ref.cpp18
1 files changed, 17 insertions, 1 deletions
diff --git a/src/analysis/ref.cpp b/src/analysis/ref.cpp
index 2391fa3..f2fcb21 100644
--- a/src/analysis/ref.cpp
+++ b/src/analysis/ref.cpp
@@ -24,6 +24,7 @@
#include "analysis/analysis.h"
#include "analysis/reports.h"
+#include "analysis/varitem.h"
#include "analysis/walkitem.h"
#include "nodes/expr/addr_expr.h"
@@ -68,10 +69,25 @@ void analyseArrayRef(ArrayRefNode *node,
if (node->args.empty() || checkCommand(FindArgs))
return;
+// if (isIn("cell", wi.knownNonNullVars))
+// Log::log("cell ok1\n");
+// else
+// Log::log("cell not ok1\n");
+
+// Log::log("array start\n");
FOR_EACH(it, node->args)
{
- reportParmDeclNullPointer(node, it, wi);
+ VarItem var = getVariableName(it);
+ if (!var.isNonNull && isNotIn(var.name, wo.knownNonNullVars))
+ reportParmDeclNullPointer(node, it, wi);
}
+
+// if (isIn("cell", wi.knownNonNullVars))
+// Log::log("cell ok1\n");
+// else
+// Log::log("cell not ok1\n");
+
+// Log::log("array end\n");
}
}