[Cocci] [PATCH] Coccinelle: uslee_range: ensure delta not zero

2016-12-13 Thread Nicholas Mc Guire
usleep_range() min==max makes little sense at last for non-RT, so issue a warning if delta is 0. Signed-off-by: Nicholas Mc Guire --- As of 4.9.0 this finds about 20 cases - all of which look like the should be passing a range. Patch is against 4.9.0 (localversion-next is next-20161213) scri

Re: [Cocci] [PATCH] Coccinelle: uslee_range: ensure delta not zero

2016-12-13 Thread Julia Lawall
On Tue, 13 Dec 2016, Nicholas Mc Guire wrote: > usleep_range() min==max makes little sense at last for non-RT, so issue > a warning if delta is 0. > > Signed-off-by: Nicholas Mc Guire > --- > > As of 4.9.0 this finds about 20 cases - all of which look like the > should be passing a range. > > P

Re: [Cocci] [PATCH] Coccinelle: uslee_range: ensure delta not zero

2016-12-13 Thread Nicholas Mc Guire
On Tue, Dec 13, 2016 at 01:09:38PM +0100, Julia Lawall wrote: > > > On Tue, 13 Dec 2016, Nicholas Mc Guire wrote: > > > usleep_range() min==max makes little sense at last for non-RT, so issue > > a warning if delta is 0. > > > > Signed-off-by: Nicholas Mc Guire > > --- > > > > As of 4.9.0 this

Re: [Cocci] [PATCH] Coccinelle: uslee_range: ensure delta not zero

2016-12-13 Thread Julia Lawall
On Tue, 13 Dec 2016, Nicholas Mc Guire wrote: > On Tue, Dec 13, 2016 at 01:09:38PM +0100, Julia Lawall wrote: > > > > > > On Tue, 13 Dec 2016, Nicholas Mc Guire wrote: > > > > > usleep_range() min==max makes little sense at last for non-RT, so issue > > > a warning if delta is 0. > > > > > > Sig