On Thu, Aug 22, 2019 at 02:46:03PM +0100, John Levon wrote: > On Thu, Aug 22, 2019 at 04:30:34PM +0300, Dan Carpenter wrote: > > The code to handle that is really ancient. You need to do: > > ./smatch --info test.c | tee warns.txt > > grep no_return_funcs warns.txt || echo FAIL > > ./smatch_scripts/gen_no_return_funcs.sh warns.txt -p=levon > > mv levon.no_return_funcs smatch_data/ > > > > Then pass -p=levon to smatch on the next run. > > OK, thanks. That doesn't match too well with the way we use smatch, but > this is much less of a big deal (I only needed to annotate this in a > couple of places). It should be the the DB, right? Would that work for you? It's sort of an awkward thing because I publish the list of no return functions used in the kernel, but I don't publish the DB. So I probably have to keep both methods... regards, dan carpenter
