diff options
-rw-r--r-- | lib.c | 2 | ||||
-rw-r--r-- | lib.h | 1 | ||||
-rw-r--r-- | parse.c | 7 | ||||
-rw-r--r-- | sparse.1 | 8 | ||||
-rw-r--r-- | validation/Wuniv-init-ko.c | 14 | ||||
-rw-r--r-- | validation/Wuniv-init-ok.c | 11 |
6 files changed, 43 insertions, 0 deletions
@@ -295,6 +295,7 @@ int Wtransparent_union = 0; int Wtypesign = 0; int Wundef = 0; int Wuninitialized = 1; +int Wuniversal_initializer = 1; int Wunknown_attribute = 0; int Wvla = 1; @@ -782,6 +783,7 @@ static const struct flag warnings[] = { { "typesign", &Wtypesign }, { "undef", &Wundef }, { "uninitialized", &Wuninitialized }, + { "universal-initializer", &Wuniversal_initializer }, { "unknown-attribute", &Wunknown_attribute }, { "vla", &Wvla }, }; @@ -184,6 +184,7 @@ extern int Wtransparent_union; extern int Wtypesign; extern int Wundef; extern int Wuninitialized; +extern int Wuniversal_initializer; extern int Wunknown_attribute; extern int Wvla; @@ -2750,6 +2750,13 @@ static struct token *initializer_list(struct expression_list **list, struct toke { struct expression *expr; + // '{ 0 }' is equivalent to '{ }' unless wanting all possible + // warnings about using '0' to initialize a null-pointer. + if (!Wuniversal_initializer) { + if (match_token_zero(token) && match_op(token->next, '}')) + token = token->next; + } + for (;;) { token = single_initializer(&expr, token); if (!expr) @@ -428,6 +428,14 @@ However, this behavior can lead to subtle errors. Sparse does not issue these warnings by default. . +.TP +.B \-Wuniversal\-initializer +Do not suppress warnings about 0 used to initialize a null-pointer +when using '{ 0 }' as initializer. + +Sparse issues these warnings by default. To turn them off, use +\fB\-Wno\-universal\-initializer\fR. +. .SH MISC OPTIONS .TP .B \-\-arch=\fIARCH\fR diff --git a/validation/Wuniv-init-ko.c b/validation/Wuniv-init-ko.c new file mode 100644 index 00000000..315c211a --- /dev/null +++ b/validation/Wuniv-init-ko.c @@ -0,0 +1,14 @@ +struct s { + void *ptr; +}; + + +static struct s s = { 0 }; + +/* + * check-name: univ-init-ko + * + * check-error-start +Wuniv-init-ko.c:6:23: warning: Using plain integer as NULL pointer + * check-error-end + */ diff --git a/validation/Wuniv-init-ok.c b/validation/Wuniv-init-ok.c new file mode 100644 index 00000000..c3964751 --- /dev/null +++ b/validation/Wuniv-init-ok.c @@ -0,0 +1,11 @@ +struct s { + void *ptr; +}; + + +static struct s s = { 0 }; + +/* + * check-name: univ-init-ok + * check-command: sparse -Wno-universal-initializer $file + */ |