diff options
author | Gerd Hoffmann <kraxel@redhat.com> | 2016-05-20 11:49:08 +0200 |
---|---|---|
committer | Gerd Hoffmann <kraxel@redhat.com> | 2016-06-03 08:23:26 +0200 |
commit | 41cc5239f3fdb992f9dc76e22161179fdb50026c (patch) | |
tree | c106999dd31e9432ff8ecae73601e3400fd402fc | |
parent | daafc661cc1a1de5a2e8ea0a7c0f396b827ebc3b (diff) |
gtk: fix unchecked vc dereference
Spotted by Coverity.
Cc: Paolo Bonzini <pbonzini@redhat.com>
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Message-id: 1463737748-1062-1-git-send-email-kraxel@redhat.com
-rw-r--r-- | ui/gtk.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1477,13 +1477,14 @@ 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); + GdkDisplay *display; if (vc == NULL) { return; } s->ptr_owner = NULL; + display = gtk_widget_get_display(vc->gfx.drawing_area); #if GTK_CHECK_VERSION(3, 20, 0) gd_grab_update(vc, vc->s->kbd_owner == vc, false); gdk_device_warp(gd_get_pointer(display), |