[Cocci] "virtual rule patch not supported"

Brice Goglin Brice.Goglin at inria.fr
Fri Mar 15 19:06:26 CET 2013


Le 15/03/2013 16:14, Nicolas Palix a écrit :
> Alternatively, you could use 'make coccicheck MODE=report' as every
> cocci file currently provide at least this mode

Yes that works thanks.

> or we could swap patch and report for the chain mode.

[...]

> One may improve the handling of the chain mode, and skip unavailable
> modes instead of falling back to the next one in case of error...
>
> Do you volunteer ?
>

If it's just a matter of adding grep before run_cmd, the attached patch
seems to work.

But I don't have enough knowledge about all this to decide what's the
best thing to do among everything you said above.

Brice
 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: coccichain.patch
Type: text/x-patch
Size: 1854 bytes
Desc: not available
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20130315/a868b193/attachment-0001.bin>


More information about the Cocci mailing list