Messages in this thread | | | Date | Thu, 7 Jan 2016 15:37:13 +0100 | From | Michal Marek <> | Subject | Re: [PATCH v7] coccinelle: tests: unsigned value cannot be lesser than zero |
| |
On Thu, Jan 07, 2016 at 12:35:34PM +0100, Julia Lawall wrote: > > On Thu, 7 Jan 2016, Andrzej Hajda wrote: > > > Unsigned expressions cannot be lesser than zero. Presence of comparisons > > 'unsigned (<|<=|>|>=) 0' often indicates a bug, usually wrong type of variable. > > The patch beside finding such comparisons tries to eliminate false positives, > > mainly by bypassing range checks. > > > > gcc can detect such comparisons also using -Wtype-limits switch, but it warns > > also in correct cases, making too much noise. > > > > Signed-off-by: Andrzej Hajda <a.hajda@samsung.com> > > Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Thanks to both of you, applied to kbuild.git#misc now.
Michal
| |