added some splint comments

diff --git a/config.h b/config.h
index c6e3f35..5c9835f 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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},