On Mon, Nov 16, 2020 at 12:16:18PM +0100, Stefano Garzarella wrote:
> On Mon, Nov 16, 2020 at 01:47:02PM +0300, Dan Carpenter wrote:
> > On Mon, Nov 16, 2020 at 10:12:26AM +0100, Stefano Garzarella wrote:
> > > Hi Dan,
> > >
> > > On Mon, Nov 16, 2020 at 12:06:33PM +0300, Dan Carpenter wrote:
> > > > Hi Stefano,
> > > >
> > > > url:
https://github.com/0day-ci/linux/commits/Stefano-Garzarella/vdpa-generali...
> > > > base:
> > > >
https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
> > > > 585e5b17b92dead8a3aca4e3c9876fbca5f7e0ba
> > > > config: x86_64-randconfig-m001-20201114 (attached as .config)
> > > > compiler: gcc-9 (Debian 9.3.0-15) 9.3.0
> > > >
> > > > If you fix the issue, kindly add following tag as appropriate
> > > > Reported-by: kernel test robot <lkp(a)intel.com>
> > > > Reported-by: Dan Carpenter <dan.carpenter(a)oracle.com>
> > > >
> > > > smatch warnings:
> > > > drivers/vdpa/vdpa_sim/vdpa_sim.c:242 vdpasim_create() error:
uninitialized symbol 'dev'.
> > >
> > > thanks for the report!
> > > 'kernel test robot' already sent me the same warning, and I'm
surprised that
> > > my gcc 10.2.1 didn't report anything to me.
> >
> > These were disabled in commit 78a5255ffb6a ("Stop the ad-hoc games with
> > -Wno-maybe-initialized"). You'd have to build with W=1
> >
>
> Thanks for pointed that out!
>
> > >
> > > I'll fix in the next version.
> >
> > Which static checker was the kbuild test bot using? I have spent some
> > ten minutes searching for the report but I haven't been able to find it.
>
> This is the report that I received:
>
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org/thread/W3XHO...
>
> Note: the search box in
lists.01.org is not working well...
This is going to be frustrating because the W=1 warnings will come first
then the Smatch warnings. The reason that the Smatch warnings exist is
because GCC doesn't catch everthing... So they both are required, but
most warnings are going to be duplicative.
Also I think people assume I'm going to look at the warning and then
check whether it exists in their latest devel tree. But actually I just
look at the warning email and forward it on.
Anyway, if you don't want duplicate static checker warnings, don't
introduce bugs. I'm really good at ignoring complaints about
duplicates.
It's fine for me to have duplicate static checker warnings.
I thanked you and only said that I had received the same warning and I
was surprised that my compiler hadn't reported anything to me, as it was
a real bug.
Stefano