From 45d6379135504814ab723b57f0eb8be23393a51d Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sat, 27 Apr 2024 09:24:22 +0200
Subject: Adding upstream version 1:9.16.44.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 cocci/null-the-pointer-early.disabled | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 cocci/null-the-pointer-early.disabled

(limited to 'cocci/null-the-pointer-early.disabled')

diff --git a/cocci/null-the-pointer-early.disabled b/cocci/null-the-pointer-early.disabled
new file mode 100644
index 0000000..46fdffc
--- /dev/null
+++ b/cocci/null-the-pointer-early.disabled
@@ -0,0 +1,21 @@
+@@
+type T;
+T **PP;
+T *P;
+@@
+
+  P = *PP;
++ *PP = NULL;
+  ...
+- *PP = NULL;
+
+@@
+type T;
+identifier PP;
+identifier P;
+@@
+
+  T *P = *PP;
++ *PP = NULL;
+  ...
+- *PP = NULL;
-- 
cgit v1.2.3