Re: [PATCH] drm: Clear e after kfree in drm_mode_page_flip_ioctl

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Mar 30, 2017 at 10:26:24AM -0400, Harry Wentland wrote:
> Reviewed-by: Harry Wentland <harry.wentland@xxxxxxx>

Thanks for the quick review, pushed to drm-misc.
-Daniel

> 
> On 2017-03-30 09:32 AM, Daniel Vetter wrote:
> > With the explicit retry loop static analyzers get confused by the
> > control flow and believe that e could be accessed after kfree. That's
> > not possible, but it's non-obvious, so let's clear it to NULL.
> > 
> > We already cleared e = NULL at the top of the function, so this is all
> > in line.
> > 
> > Cc: Julia Lawall <julia.lawall@xxxxxxx>
> > Reported-by: Julia Lawall <julia.lawall@xxxxxxx>
> > Fixes: 29dc0d1de182 ("drm: Roll out acquire context for the page_flip ioctl")
> > Cc: Harry Wentland <harry.wentland@xxxxxxx>
> > Cc: Daniel Vetter <daniel.vetter@xxxxxxxxx>
> > Cc: Jani Nikula <jani.nikula@xxxxxxxxxxxxxxx>
> > Cc: Sean Paul <seanpaul@xxxxxxxxxxxx>
> > Signed-off-by: Daniel Vetter <daniel.vetter@xxxxxxxxx>
> > ---
> >   drivers/gpu/drm/drm_plane.c | 1 +
> >   1 file changed, 1 insertion(+)
> > 
> > diff --git a/drivers/gpu/drm/drm_plane.c b/drivers/gpu/drm/drm_plane.c
> > index ec62221d64a9..3a6de27bafed 100644
> > --- a/drivers/gpu/drm/drm_plane.c
> > +++ b/drivers/gpu/drm/drm_plane.c
> > @@ -922,6 +922,7 @@ int drm_mode_page_flip_ioctl(struct drm_device *dev,
> >   		ret = drm_event_reserve_init(dev, file_priv, &e->base, &e->event.base);
> >   		if (ret) {
> >   			kfree(e);
> > +			e = NULL;
> >   			goto out;
> >   		}
> >   	}
> 

-- 
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
_______________________________________________
dri-devel mailing list
dri-devel@xxxxxxxxxxxxxxxxxxxxx
https://lists.freedesktop.org/mailman/listinfo/dri-devel




[Index of Archives]     [Linux DRI Users]     [Linux Intel Graphics]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [XFree86]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Linux Kernel]     [Linux SCSI]     [XFree86]
  Powered by Linux