diff options
author | Julia Lawall <Julia.Lawall@inria.fr> | 2022-07-16 15:28:10 +0200 |
---|---|---|
committer | Julia Lawall <Julia.Lawall@inria.fr> | 2022-08-07 21:30:24 +0200 |
commit | 18c06cf868bc4e37b9766a91be02453c38f89745 (patch) | |
tree | f220aa074f54109cfb2752d963e300ba5f5e01e4 /scripts/coccinelle | |
parent | scripts/coccinelle/free: add NULL test before dev_{put, hold} functions (diff) | |
download | linux-18c06cf868bc4e37b9766a91be02453c38f89745.tar.xz linux-18c06cf868bc4e37b9766a91be02453c38f89745.zip |
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/coccinelle')
-rw-r--r-- | scripts/coccinelle/free/ifnulldev_put.cocci | 1 |
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 |