On 13/05/2016 14:32, Gerd Hoffmann wrote: > @@ -1442,14 +1474,19 @@ static void gd_grab_pointer(VirtualConsole *vc, const > char *reason) > static void gd_ungrab_pointer(GtkDisplayState *s) > { > VirtualConsole *vc = s->ptr_owner; > + GdkDisplay *display = gtk_widget_get_display(vc->gfx.drawing_area); > > if (vc == NULL) { > return; > }
Unnecessary vc == NULL check, or possible NULL pointer dereference in the assignment to display? (Spotted by Coverity). Thanks, Paolo > s->ptr_owner = NULL; > > - GdkDisplay *display = gtk_widget_get_display(vc->gfx.drawing_area);