From 5f7a3a7adab11a5260ab8952540287a8e8771251 Mon Sep 17 00:00:00 2001
From: Michael Drake <tlsa@netsurf-browser.org>
Date: Thu, 11 Oct 2012 14:07:22 +0100
Subject: Widget can't be NULL.

---
 framebuffer/fbtk/fbtk.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'framebuffer')

diff --git a/framebuffer/fbtk/fbtk.c b/framebuffer/fbtk/fbtk.c
index 4356bb235..817d6f522 100644
--- a/framebuffer/fbtk/fbtk.c
+++ b/framebuffer/fbtk/fbtk.c
@@ -19,6 +19,7 @@
  */
 
 #include <sys/types.h>
+#include <assert.h>
 #include <stdint.h>
 #include <string.h>
 #include <stdbool.h>
@@ -83,6 +84,8 @@ fbtk_request_redraw(fbtk_widget_t *widget)
 	fbtk_widget_t *cwidget;
 	fbtk_widget_t *pwidget;
 
+	assert(widget != NULL);
+
 	/* if widget not mapped do not try to redraw it */
 	pwidget = widget;
 	while (pwidget != NULL) {
-- 
cgit v1.2.3