diff options
Diffstat (limited to 'cocci/null-the-pointer-early.disabled')
| -rw-r--r-- | cocci/null-the-pointer-early.disabled | 21 |
1 files changed, 21 insertions, 0 deletions
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; |