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);

Reply via email to