Messages in this thread | | | Date | Thu, 30 Jul 2020 22:15:26 +0200 (CEST) | From | Julia Lawall <> | Subject | Re: [PATCH v4] coccinelle: api: add kvfree script |
| |
Actually, the message looks fine. Sorry for the noise about that.
However there is a problem in the kfree case:
> +@kfree depends on !patch@ > +expression E; > +position v != choice.vok; > +position p; > +@@ > + > +* E = \(vmalloc@v\|vzalloc@v\|vmalloc_user@v\|vmalloc_node@v\|vzalloc_node@v\| > + vmalloc_exec@v\|vmalloc_32@v\|vmalloc_32_user@v\|__vmalloc@v\| > + __vmalloc_node_range@v\|__vmalloc_node@v\)(...) > + ... when != !is_vmalloc_addr(E) > + when any > +* \(kfree\|kzfree\|kvfree\)(E)
p is not used. The last line should be (E)@p.
julia
| |