Re: [Cocci] [RFC PATCH] coccinelle: check for integer overflow in binary search

2019-09-05 Thread Julia Lawall
On Thu, 5 Sep 2019, Denis Efremov wrote: > > > On 05.09.2019 09:20, Julia Lawall wrote: > > > > > > On Thu, 5 Sep 2019, Denis Efremov wrote: > > > >> This is an RFC. I will resend the patch after feedback. Currently > >> I'm preparing big patchset with bsearch warnings fixed. The rule will >

[Cocci] [RFC PATCH] coccinelle: check for integer overflow in binary search

2019-09-04 Thread Denis Efremov
This is an RFC. I will resend the patch after feedback. Currently I'm preparing big patchset with bsearch warnings fixed. The rule will be a part of this patchset if it will be considered good enough for checking. There is a known integer overflow error [1] in the binary search algorithm. Google