Re: [PATCH] Coccinelle: use false positive annotation

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-30 12:52 GMT+09:00 Julia Lawall : > > > > > > On Mon, 30 Oct 2017, Masahiro Yamada wrote: > > > >> Hi Julia, > >> > >> > >> 2017-10-29 8:43 GMT+09:00 Julia Lawall : > >> > /// is to describe the

Re: [PATCH] Coccinelle: use false positive annotation

2017-11-08 Thread Julia Lawall
On Tue, 7 Nov 2017, Masahiro Yamada wrote: > 2017-10-30 12:52 GMT+09:00 Julia Lawall : > > > > > > On Mon, 30 Oct 2017, Masahiro Yamada wrote: > > > >> Hi Julia, > >> > >> > >> 2017-10-29 8:43 GMT+09:00 Julia Lawall : > >> > /// is to describe the semantic patch, while //# indicates reasons >

Re: [PATCH] Coccinelle: use false positive annotation

2017-11-06 Thread Masahiro Yamada
2017-10-30 12:52 GMT+09:00 Julia Lawall : > > > On Mon, 30 Oct 2017, Masahiro Yamada wrote: > >> Hi Julia, >> >> >> 2017-10-29 8:43 GMT+09:00 Julia Lawall : >> > /// is to describe the semantic patch, while //# indicates reasons >> > for false positives.

Re: [PATCH] Coccinelle: use false positive annotation

2017-11-06 Thread Masahiro Yamada
2017-10-30 12:52 GMT+09:00 Julia Lawall : > > > On Mon, 30 Oct 2017, Masahiro Yamada wrote: > >> Hi Julia, >> >> >> 2017-10-29 8:43 GMT+09:00 Julia Lawall : >> > /// is to describe the semantic patch, while //# indicates reasons >> > for false positives. >> > >> > Signed-off-by: Julia Lawall >> >

Re: [PATCH] Coccinelle: use false positive annotation

2017-10-29 Thread Julia Lawall
On Mon, 30 Oct 2017, Masahiro Yamada wrote: > Hi Julia, > > > 2017-10-29 8:43 GMT+09:00 Julia Lawall : > > /// is to describe the semantic patch, while //# indicates reasons > > for false positives. > > > > Signed-off-by: Julia Lawall > > > > --- > >

Re: [PATCH] Coccinelle: use false positive annotation

2017-10-29 Thread Julia Lawall
On Mon, 30 Oct 2017, Masahiro Yamada wrote: > Hi Julia, > > > 2017-10-29 8:43 GMT+09:00 Julia Lawall : > > /// is to describe the semantic patch, while //# indicates reasons > > for false positives. > > > > Signed-off-by: Julia Lawall > > > > --- > > scripts/coccinelle/misc/ifcol.cocci |6

Re: [PATCH] Coccinelle: use false positive annotation

2017-10-29 Thread Masahiro Yamada
Hi Julia, 2017-10-29 8:43 GMT+09:00 Julia Lawall : > /// is to describe the semantic patch, while //# indicates reasons > for false positives. > > Signed-off-by: Julia Lawall > > --- > scripts/coccinelle/misc/ifcol.cocci |6 +++--- > 1 file

Re: [PATCH] Coccinelle: use false positive annotation

2017-10-29 Thread Masahiro Yamada
Hi Julia, 2017-10-29 8:43 GMT+09:00 Julia Lawall : > /// is to describe the semantic patch, while //# indicates reasons > for false positives. > > Signed-off-by: Julia Lawall > > --- > scripts/coccinelle/misc/ifcol.cocci |6 +++--- > 1 file changed, 3 insertions(+), 3 deletions(-) > > diff

[PATCH] Coccinelle: use false positive annotation

2017-10-28 Thread Julia Lawall
/// is to describe the semantic patch, while //# indicates reasons for false positives. Signed-off-by: Julia Lawall --- scripts/coccinelle/misc/ifcol.cocci |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/coccinelle/misc/ifcol.cocci

[PATCH] Coccinelle: use false positive annotation

2017-10-28 Thread Julia Lawall
/// is to describe the semantic patch, while //# indicates reasons for false positives. Signed-off-by: Julia Lawall --- scripts/coccinelle/misc/ifcol.cocci |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/coccinelle/misc/ifcol.cocci