On Fri, Feb 17, 2017 at 09:18:25AM +0100, Steffen Klassert wrote:
> Hi Dan.
>
> On Thu, Feb 16, 2017 at 11:11:27PM +0300, Dan Carpenter wrote:
> > Hello Steffen Klassert,
> >
> > The patch 25393d3fc055: "net: Prepare gro for packet consuming gro
> > callbacks" from Feb 15, 2017, leads to the following Smatch
> > warning:
> >
> > net/core/dev.c:4522 dev_gro_receive()
> > error: 'pp' dereferencing possible ERR_PTR()
> >
> > net/core/dev.c
> > 4510 if (&ptype->list == head)
> > 4511 goto normal;
> > 4512
> > 4513 if (IS_ERR(pp) && PTR_ERR(pp) == -EINPROGRESS) {
> >
> >
> > Smatch sees this and assumes that it's possible for "pp" to be an error
> > pointer that's not -EINPROGRESS.
>
> pp can be either a vaild pointer, NULL or -EINPROGRESS,
> nothing else. So I guess this is ok.
Could you change it to:
if (PTR_ERR(pp) == -EINPROGRESS) {
That would silence the warning and make the code more clear I think.
regards,
dan carpenter
--
To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
