[Cocci] "virtual rule patch not supported"

Julia Lawall julia.lawall at lip6.fr
Fri Mar 15 23:17:11 CET 2013


Maybe the kernel should just use report mode by default?

julia

On Fri, 15 Mar 2013, Brice Goglin wrote:

> Le 15/03/2013 15:49, Nicolas Palix a écrit :
> > Hi,
> >
> > On Wed, Mar 13, 2013 at 9:47 AM, Julia Lawall <julia.lawall at lip6.fr> wrote:
> >> On Mon, 11 Mar 2013, Brice Goglin wrote:
> >>
> >>> Hello,
> >>> I am running the kernel 3.9-rc2 coccicheck script on some of my module,
> >>> and I get the following message:
> >>>   virtual rule patch not supported
> >> I guess it doesn't crash?  It is possible that some semantic patch just
> >> doesn't support the patch option.  I don't remember if it is possible to
> >> specify several options, and to have them tried in order?  That could be a
> >> nice feature.  If not, I think that there is an option that tries all of
> >> the options in a fixed order.  Nicolas?
> >>
> > According to the cocci files, every coccicheck mode could not be proposed.
> > It is indeed some time impossible to propose a bug correction because
> > several options are available for a single bug report and the semantic
> > patch is not designed to choose one.
> >
> > The current basic modes are: patch, report, context, org
> > The 'chain' mode tries the following mode is order: patch || report ||
> > context || org.
> > Recently, the 'rep+ctxt' mode have been added for report and context modes.
> >
> > If you haven't specify the mode, it defaults to chain. The patch mode
> > is thus tried first.
> > If it fails, coccicheck falls back to the report mode.
> >
>
> In short, this warning is harmless ?
>
> Should it be disabled in the kernel by default ? Most people that uses
> coccicheck in the kernel don't know much about it, and they don't write
> the rules directly, so they may be afraid by the warning just like me.
>
> Brice
>
>


More information about the Cocci mailing list