On Tue, Jan 08, 2019 at 10:20:38PM +0000, Martin Kelly wrote: > On 1/8/19 12:38 PM, Dan Carpenter wrote: > > Hello Martin Kelly, > > > > The patch 55dda0abcf9d: "tools: iio: iio_generic_buffer: allow > > continuous looping" from May 17, 2018, leads to the following static > > checker warning: > > > > ./tools/iio/iio_generic_buffer.c:640 main() > > warn: unsigned 'num_loops' is never less than zero. > > > > Thanks for catching this. How can I repro this so that I can make sure > the static analyzer is happy once I fix it? > It's a Smatch warning. In this case you would just do: ~/path/to/smatch/smatch tools/iio/iio_generic_buffer.c regards, dan carpenter
