On Fri, May 29, 2020 at 12:48:29PM +0300, Dan Carpenter wrote: > Hello Paul E. McKenney, > > This is a semi-automatic email about new static checker warnings. > > The patch 54c0ed208976: "refperf: Dynamically allocate > experiment-summary output buffer" from May 25, 2020, leads to the > following Smatch complaint: > > kernel/rcu/refperf.c:395 main_func() > error: we previously assumed 'buf' could be null (see line 352) > > kernel/rcu/refperf.c > 351 buf = kzalloc(64 + nruns * 32, GFP_KERNEL); > 352 if (!result_avg || !buf) { > ^^^^ > Check for NULL Makes sense. Looks like Paul already fixed it so should be good. Thanks!