From e28acb46e0080bc973cfdec5690dc3b81def243b Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Sat, 25 Jul 2009 22:43:27 +0200
Subject: fix declaration for initialize()

---
 uzbl.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'uzbl.h')

diff --git a/uzbl.h b/uzbl.h
index 8ba5232..d798258 100644
--- a/uzbl.h
+++ b/uzbl.h
@@ -392,7 +392,7 @@ void
 exec_paramcmd(const Action* act, const guint i);
 
 void
-initialize ();
+initialize (int argc, char *argv[]);
 
 GtkWidget*
 create_browser ();
-- 
cgit v1.2.3


From 2495f27a0fc9ab1e927cf1d0dd3d786a71482882 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <helmut@subdivi.de>
Date: Tue, 28 Jul 2009 14:29:07 +0200
Subject: added some splint comments

---
 config.h | 2 +-
 uzbl.c   | 5 +++--
 uzbl.h   | 2 +-
 3 files changed, 5 insertions(+), 4 deletions(-)

(limited to 'uzbl.h')

diff --git a/config.h b/config.h
index c6e3f35..5c9835f 100644
--- a/config.h
+++ b/config.h
@@ -1,5 +1,5 @@
 const struct {
-    char *command;
+    /*@null@*/ char *command;
 } default_config[] = {
 { "set reset_command_mode = 1"},
 { "set status_format = <span background=\"darkblue\" foreground=\"white\"> \\@MODE </span> <span background=\"red\" foreground=\"white\">\\@[\\@keycmd]\\@</span> (\\@LOAD_PROGRESS%)  <b>\\@[\\@TITLE]\\@</b>  - Uzbl browser"},
diff --git a/uzbl.c b/uzbl.c
index afcdb6b..95dafcf 100644
--- a/uzbl.c
+++ b/uzbl.c
@@ -91,7 +91,7 @@ typedef const struct {
     enum ptr_type type;
     int dump;
     int writeable;
-    void (*func)(void);
+    /*@null@*/ void (*func)(void);
 } uzbl_cmdprop;
 
 /* abbreviations to help keep the table's width humane */
@@ -181,7 +181,7 @@ const struct {
 
 
 const struct {
-    char *key;
+    /*@null@*/ char *key;
     guint mask;
 } modkeys[] = {
     { "SHIFT",   GDK_SHIFT_MASK   }, // shift
@@ -230,6 +230,7 @@ get_exp_type(const gchar *s) {
     else
         return EXP_SIMPLE_VAR;
 
+    /*@notreached@*/
 return EXP_ERR;
 }
 
diff --git a/uzbl.h b/uzbl.h
index d798258..76d88b3 100644
--- a/uzbl.h
+++ b/uzbl.h
@@ -20,7 +20,7 @@ enum {
 };
 
 const struct {
-    gchar *symbol_name;
+    /*@null@*/ gchar *symbol_name;
     guint symbol_token;
 } symbols[] = {
     {"KEYCMD",               SYM_KEYCMD},
-- 
cgit v1.2.3