Re: [Cocci] [RFC] scripts: Fix coccicheck failed

From: Julia Lawall
Date: Sun Oct 06 2019 - 01:28:31 EST




On Sun, 6 Oct 2019, Markus Elfring wrote:

> >> Would you like to take the change possibility into account
> >> that the coccicheck system configuration should be adapted instead?
> >> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/coccicheck?id=4ea655343ce4180fe9b2c7ec8cb8ef9884a47901#n257
> >
> > I prefer the one line change for now. If more issues arise one can see
> > what is more desirable at a larger scale.
>
> I got the impression that the script âadd_namespace.cocciâ should never
> be automatically called by the current default setting of the tool âcoccicheckâ
> also because it requires the input parameter âname spaceâ (SmPL identifier âvirtual.nsâ).
> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/scripts/coccinelle/misc/add_namespace.cocci?id=eb8305aecb958e8787e7d603c7765c1dcace3a2b
>
> Would you like to increase your software development attention for
> efficient system configuration on this issue?

No.

julia