Em Sat, 14 Apr 2018 03:18:20 +0200 "Jasmin J." <jas...@anw.at> escreveu:
> Hello Mauro/Hans! > > > There is already an upstream patch for hidding it: > The patch from https://patchwork.kernel.org/patch/10334353 will not > apply at the smatch tree. > > Attached is an updated version for smatch. Then you're probably not using the right version (or Dan applied some other stuff yesterday). Yesterday, I added both trees I'm using here at: https://git.linuxtv.org/mchehab/sparse.git/ https://git.linuxtv.org/mchehab/smatch.git/ My sparse tree has just one extra patch over upstream. That's needed after a change at max()/min() macros upstream. At smatch, my tree has 4 extra patches: https://git.linuxtv.org/mchehab/smatch.git/ They basically do: 1) rise the execution time/memory usage of sparse; 2) mask errors like "missing break", as gcc checks it already; 3) the same patch for sparse is needed on smatch; 4) disable this warning: drivers/media/platform/sti/bdisp/bdisp-debug.c:594 bdisp_dbg_perf() debug: sval_binop_signed: invalid divide LLONG_MIN/-1 with is produced every time do_div64() & friends are called. IMHO, all 4 patches are disabling false-positive only warnings, although the 4th patch might have something useful, if fixed to properly handle the 64-bit compat macros. Thanks, Mauro
