diff options
author | Helmut Grohne <helmut@subdivi.de> | 2009-07-28 14:29:07 +0200 |
---|---|---|
committer | Helmut Grohne <helmut@subdivi.de> | 2009-07-28 14:29:07 +0200 |
commit | 2495f27a0fc9ab1e927cf1d0dd3d786a71482882 (patch) | |
tree | 802197959651338d4e1b05a309edd59d3651a2d0 | |
parent | 6eed1dc7ca8ab52606ec1a04426f2b99e73238d4 (diff) |
added some splint comments
-rw-r--r-- | config.h | 2 | ||||
-rw-r--r-- | uzbl.c | 5 | ||||
-rw-r--r-- | uzbl.h | 2 |
3 files changed, 5 insertions, 4 deletions
@@ -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"}, @@ -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; } @@ -20,7 +20,7 @@ enum { }; const struct { - gchar *symbol_name; + /*@null@*/ gchar *symbol_name; guint symbol_token; } symbols[] = { {"KEYCMD", SYM_KEYCMD}, |