21 Jul
2022
21 Jul
'22
10:47 a.m.
On Thu, Jul 21, 2022 at 12:30:32PM +0200, Christophe JAILLET wrote:
You could add find_last_bit(), find_next_zero_bit_le() and find_next_bit_le().
Thanks!
regards, dan carpenter
A reduced version of mine was:
@@ expression e1, e2; statement S; @@ (
- e1 = find_first_bit(...);
|
- e1 = find_last_bit(...);
| [... snip ...] ) ... if (e1 > e2) S
(and it takes only a few seconds to scan the whole kernel :) )
Nice!
I wasn't going to be before but now I have to re-write my generic check to be even more *powerful* than before! The new check doesn't rely on known values for the limit, but uses comparison data instead.
(Still takes overnight to run so I might end up sorely dissappointed and defeated tomorrow morning)
regards, dan carpenter