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 | |
| parent | bbd5c96850d9de535a83a3a3842dec2169cb31d1 (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.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 |