summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorJulia Lawall <Julia.Lawall@inria.fr>2022-07-16 15:28:10 +0200
committerJulia Lawall <Julia.Lawall@inria.fr>2022-08-07 21:30:24 +0200
commit18c06cf868bc4e37b9766a91be02453c38f89745 (patch)
treef220aa074f54109cfb2752d963e300ba5f5e01e4 /scripts
parentbbd5c96850d9de535a83a3a3842dec2169cb31d1 (diff)
coccinelle: free: add version constraint
The various functions contain a NULL check starting in v5.15. Signed-off-by: Julia Lawall <Julia.Lawall@inria.fr>
Diffstat (limited to 'scripts')
-rw-r--r--scripts/coccinelle/free/ifnulldev_put.cocci1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/coccinelle/free/ifnulldev_put.cocci b/scripts/coccinelle/free/ifnulldev_put.cocci
index 7ff36e6212ba..2bd2e8fae485 100644
--- a/scripts/coccinelle/free/ifnulldev_put.cocci
+++ b/scripts/coccinelle/free/ifnulldev_put.cocci
@@ -7,6 +7,7 @@
// Copyright: (C) 2022 Ziyang Xuan.
// Comments: -
// Options: --no-includes --include-headers
+// Version min: 5.15
virtual patch
virtual org