summaryrefslogtreecommitdiffstats
path: root/tools/coccinelle/hash_compare_null_values_check.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'tools/coccinelle/hash_compare_null_values_check.cocci')
-rw-r--r--tools/coccinelle/hash_compare_null_values_check.cocci20
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/coccinelle/hash_compare_null_values_check.cocci b/tools/coccinelle/hash_compare_null_values_check.cocci
new file mode 100644
index 0000000..38649a2
--- /dev/null
+++ b/tools/coccinelle/hash_compare_null_values_check.cocci
@@ -0,0 +1,20 @@
+// There is no need to test for null values in the hash compare
+// function as that we are guaranteed to send in data in
+// the hash compare functions.
+@@
+identifier fn =~ "_hash_cmp";
+type T;
+identifier p1;
+identifier p2;
+@@
+
+?static
+T fn(...)
+{
+...
+- if (p1 == NULL && p2 == NULL)
+- return ...;
+- if (p1 == NULL || p2 == NULL)
+- return ...;
+...
+}