Re: [PATCH 5/7] coccinelle: kfree_mismatch: drop vmalloc_exec

[Julia Lawall]

On Mon, 24 Aug 2026, Sang-Heon Jeon wrote:

> vmalloc_exec() was removed by commit 7a0e27b2a0ce ("mm: remove
> vmalloc_exec").
>
> So drop it from the rules.
>
> No functional change.

Applied.

>
> Signed-off-by: Sang-Heon Jeon <ekffu200098@xxxxxxxxx>
> ---
>  scripts/coccinelle/api/kfree_mismatch.cocci | 12 ++++++------
>  1 file changed, 6 insertions(+), 6 deletions(-)
>
> diff --git a/scripts/coccinelle/api/kfree_mismatch.cocci b/scripts/coccinelle/api/kfree_mismatch.cocci
> index d46a9b3eb7b3..bc90d0c071ac 100644
> --- a/scripts/coccinelle/api/kfree_mismatch.cocci
> +++ b/scripts/coccinelle/api/kfree_mismatch.cocci
> @@ -29,7 +29,7 @@ position kok, vok;
>    } else {
>      ...
>      E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
> -          vzalloc_node\|vmalloc_exec\|vmalloc_32\|
> +          vzalloc_node\|vmalloc_32\|
>            vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|
>            __vmalloc_node\)(...)@vok
>      ...
> @@ -42,7 +42,7 @@ position kok, vok;
>    if (E == NULL) {
>      ...
>      E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
> -          vzalloc_node\|vmalloc_exec\|vmalloc_32\|
> +          vzalloc_node\|vmalloc_32\|
>            vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|
>            __vmalloc_node\)(...)@vok
>      ...
> @@ -68,7 +68,7 @@ position f != free.fok;
>  * E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
>  *       kzalloc_node\|kmalloc_array\|kmalloc_array_node\|
>  *       kcalloc_node\)(...)@a
> -  ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
> +  ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
>        when != is_vmalloc_addr(E)
>        when any
>  * \(vfree\|vfree_atomic\|kvfree\)(E)@f
> @@ -82,7 +82,7 @@ position f != free.fok;
>    E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
>          kzalloc_node\|kmalloc_array\|kmalloc_array_node\|
>          kcalloc_node\)(...)@a
> -  ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
> +  ... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|__vmalloc_node_range\|__vmalloc_node\)(...); ... }
>        when != is_vmalloc_addr(E)
>        when any
>  - \(vfree\|vfree_atomic\|kvfree\)(E)@f
> @@ -95,7 +95,7 @@ position f != free.fok;
>  @@
>
>  * E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
> -*       vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|
> +*       vmalloc_32\|vmalloc_32_user\|__vmalloc\|
>  *       __vmalloc_node_range\|__vmalloc_node\)(...)@a
>    ... when != is_vmalloc_addr(E)
>        when any
> @@ -108,7 +108,7 @@ position f != free.fok;
>  @@
>
>    E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
> -        vmalloc_exec\|vmalloc_32\|vmalloc_32_user\|__vmalloc\|
> +        vmalloc_32\|vmalloc_32_user\|__vmalloc\|
>          __vmalloc_node_range\|__vmalloc_node\)(...)@a
>    ... when != is_vmalloc_addr(E)
>        when any
> --
> 2.43.0
>
>