[kbuild-all] Re: [kbuild] [kees:kspp/uninit/macro 9/10] drivers/virtio/virtio_ring.c:1197 virtqueue_add_packed() error: uninitialized symbol 'prev'.

On Fri, Jun 05, 2020 at 01:38:20PM +0300, kernel test robot wrote: Well, I think the issue is mainly with the compilers/checkers. Using uninitialized_var() means we can't ever get them correctly analyzed, so we have to remove them. The best way to silence them is to explicitly initialize them, and that's really up to the individual code use. The auto-init code does force-initialize them, though the value is different between the GCC plugin and Clang (currently). I expect to switch the kernel to always zero with Clang, but there is some debate about feature naming, etc[1]. Right -- but better it be a deterministic failure than something under the influence of stale stack contents. Regardless, I'll see if I can get this explicitly initialized to avoid the new smatch warnings. Thanks for the report! :) -Kees [1] https://lists.llvm.org/pipermail/cfe-dev/2020-April/065221.html -- Kees Cook