Re: [PATCH]Silancing a false positive: "may be used uninitialized"

From: Simon Horman
Date: Sun Dec 20 2009 - 16:14:43 EST


On Sun, Dec 20, 2009 at 12:43:19PM +0200, Marin Mitov wrote:
> On Sunday 20 December 2009 11:56:44 am Simon Horman wrote:
> > On Sun, Dec 20, 2009 at 09:03:27AM +0200, Marin Mitov wrote:
> > > Hello all,
> > >
> > > Silancing a false positive:
> > > warning: 'width' may be used uninitialized in this function
> > > drivers/gpu/drm/drm_edid.c
> >
> > Is it guaranteed that the switch will always see a value covered by the
> > four cases it has?
>
> Yes it is. The value is masked (& 0xc0) so all the possible values are
> (0x00, 0x40, 0x80, 0xc0) covered by the switch. That's why it is false positive.

Of course, silly me.

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/