Re: [Cocci] detecting false positive sparse with coccinelle

2019-04-30 Thread Julia Lawall
On Tue, 30 Apr 2019, Nicholas Mc Guire wrote: > On Mon, Apr 29, 2019 at 12:26:49PM -0400, Julia Lawall wrote: > > > > > > On Mon, 29 Apr 2019, Nicholas Mc Guire wrote: > > > > > > > > Hi ! > > > > > > I'm trying to detect false positive sparse messages by taking > > > the pattern and scanning

Re: [Cocci] detecting false positive sparse with coccinelle

2019-04-29 Thread Nicholas Mc Guire
On Mon, Apr 29, 2019 at 12:26:49PM -0400, Julia Lawall wrote: > > > On Mon, 29 Apr 2019, Nicholas Mc Guire wrote: > > > > > Hi ! > > > > I'm trying to detect false positive sparse messages by taking > > the pattern and scanning with coccinelle for it so that the > > fix could be generated. Ba

Re: [Cocci] detecting false positive sparse with coccinelle

2019-04-29 Thread Julia Lawall
On Mon, 29 Apr 2019, Nicholas Mc Guire wrote: > > Hi ! > > I'm trying to detect false positive sparse messages by taking > the pattern and scanning with coccinelle for it so that the > fix could be generated. Basically the identification seems > to be working (a type-check on var is stil mi

Re: [Cocci] Detecting false positive sparse with Coccinelle

2019-04-29 Thread Markus Elfring
> … - the problem though is that I'm unable > to insert the (__force __be16) cast in the patch rule as > coccinelle is refusing hose lines. … It seems that I can not help directly with this concern. But a few other implementation details in your approach caught also my development attention once m

[Cocci] detecting false positive sparse with coccinelle

2019-04-28 Thread Nicholas Mc Guire
Hi ! I'm trying to detect false positive sparse messages by taking the pattern and scanning with coccinelle for it so that the fix could be generated. Basically the identification seems to be working (a type-check on var is stil missing - but thats a different issue) - the problem though is