lkml.org 
[lkml]   [2017]   [Oct]   [29]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] Coccinelle: use false positive annotation


On Mon, 30 Oct 2017, Masahiro Yamada wrote:

> Hi Julia,
>
>
> 2017-10-29 8:43 GMT+09:00 Julia Lawall <Julia.Lawall@lip6.fr>:
> > /// is to describe the semantic patch, while //# indicates reasons
> > for false positives.
> >
> > Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
> >
> > ---
> > scripts/coccinelle/misc/ifcol.cocci | 6 +++---
> > 1 file changed, 3 insertions(+), 3 deletions(-)
> >
> > diff --git a/scripts/coccinelle/misc/ifcol.cocci b/scripts/coccinelle/misc/ifcol.cocci
> > index d0d00ef..30b248b 100644
> > --- a/scripts/coccinelle/misc/ifcol.cocci
> > +++ b/scripts/coccinelle/misc/ifcol.cocci
> > @@ -3,9 +3,9 @@
> > /// Sometimes, code after an if that is indented is actually intended to be
> > /// part of the if branch.
> > ///
> > -/// This has a high rate of false positives, because Coccinelle's column
> > -/// calculation does not distinguish between spaces and tabs, so code that
> > -/// is not visually aligned may be considered to be in the same column.
> > +//# This has a high rate of false positives, because Coccinelle's column
> > +//# calculation does not distinguish between spaces and tabs, so code that
> > +//# is not visually aligned may be considered to be in the same column.
> > ///
>
> Just a nit.
>
> The last /// should be turned into //
> if you want to avoid two blank lines in a series
> after the semantic patch information.
>
> (I can fix it locally if you agree with it and I am supposed to pick up this.)

Thanks for detecting the problem. It would be great if you could pick it
up, since I haven't heard confirmation from Michal that he will start this
again. The change seems fine. Thanks for your help.

julia

>
>
>
> > // Confidence: Low
> > // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.
> >
>
>
>
> --
> Best Regards
> Masahiro Yamada
>

\
 
 \ /
  Last update: 2017-10-30 04:52    [W:0.142 / U:0.092 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site