Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Jens Axboe
On 06/04/2014 10:59 AM, Julia Lawall wrote: > > > On Wed, 4 Jun 2014, Jens Axboe wrote: > >> On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
On Wed, 4 Jun 2014, Jens Axboe wrote: > On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: > >> Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may > >> return a larger number than the maximum position argument if that position > >> is not a multiple of

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Jens Axboe
On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: >> Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may >> return a larger number than the maximum position argument if that position >> is not a multiple of BITS_PER_LONG. >> >> The semantic match that finds this

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
On Wed, 4 Jun 2014, scame...@beardog.cce.hp.com wrote: > > Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may > > return a larger number than the maximum position argument if that position > > is not a multiple of BITS_PER_LONG. > > > > The semantic match that finds this

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread scameron
> Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may > return a larger number than the maximum position argument if that position > is not a multiple of BITS_PER_LONG. > > The semantic match that finds this problem is as follows: > (http://coccinelle.lip6.fr/) > > // > @@

[PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
From: Julia Lawall Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) //

[PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
From: Julia Lawall julia.law...@lip6.fr Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The semantic match that finds this problem is as follows:

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread scameron
Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // smpl @@

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
On Wed, 4 Jun 2014, scame...@beardog.cce.hp.com wrote: Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The semantic match that finds this problem is

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Jens Axboe
On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The semantic match that finds this problem is as

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Julia Lawall
On Wed, 4 Jun 2014, Jens Axboe wrote: On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position is not a multiple of BITS_PER_LONG. The

Re: [PATCH 7/10] cciss: use safer test on the result of find_first_zero_bit

2014-06-04 Thread Jens Axboe
On 06/04/2014 10:59 AM, Julia Lawall wrote: On Wed, 4 Jun 2014, Jens Axboe wrote: On 06/04/2014 08:51 AM, scame...@beardog.cce.hp.com wrote: Find_first_zero_bit considers BITS_PER_LONG bits at a time, and thus may return a larger number than the maximum position argument if that position