Re: coccinelle: also catch kzfree() issues

From	Julia Lawall <julia.lawall@lip6.fr>
Newsgroups	linux.kernel
Subject	Re: coccinelle: also catch kzfree() issues
Date	2016-02-16 21:20 +0100
Message-ID	<r2Ugi-4i7-13@gated-at.bofh.it> (permalink)
References	<r2Rs6-2q8-19@gated-at.bofh.it> <r2Rs6-2q8-25@gated-at.bofh.it> <r2Rs6-2q8-23@gated-at.bofh.it> <r2U6C-4e2-15@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw


On Tue, 16 Feb 2016, SF Markus Elfring wrote:

> >>  @free@
> >> +identifier kfree =~ "kz?free";
> >
> > Thanks for the suggestions.  However, the regular expression is not such a
> > good idea.
>
> How much is such a SmPL constraint still usable then?
>
>
> > Coccinelle doesn't make any optimizations based on regulat expressions.
>
> Where can your software optimise the source code search?

When the name appears explicitly in the matching code, Coccinelle will
parse and process only files that contain that name.

julia

>
>
> > It would be better to put a disjunction with kfree and kzfree explicitly,
> > as in the other cases.
>
> What are the circumstances for corresponding benefits?
>
> Regards,
> Markus
>

Thread

Re: [PATCH 1/3] coccinelle: also catch kzfree() issues Julia Lawall <julia.lawall@lip6.fr> - 2016-02-16 18:20 +0100
  Re: coccinelle: also catch kzfree() issues SF Markus Elfring <elfring@users.sourceforge.net> - 2016-02-16 21:10 +0100
    Re: coccinelle: also catch kzfree() issues Julia Lawall <julia.lawall@lip6.fr> - 2016-02-16 21:20 +0100
      Re: coccinelle: also catch kzfree() issues SF Markus Elfring <elfring@users.sourceforge.net> - 2016-02-16 21:30 +0100
  [PATCHv1 1/3] coccinelle: also catch kzfree() issues Yann Droneaud <ydroneaud@opteya.com> - 2016-02-22 15:10 +0100
    Re: [PATCHv1 1/3] coccinelle: also catch kzfree() issues Julia Lawall <julia.lawall@lip6.fr> - 2016-02-22 15:30 +0100
      Re: [PATCHv1 1/3] coccinelle: also catch kzfree() issues Yann Droneaud <ydroneaud@opteya.com> - 2016-02-22 16:30 +0100

csiph-web