diff options
| author | Al Viro <viro@zeniv.linux.org.uk> | 2006-05-09 09:05:42 -0400 |
|---|---|---|
| committer | Al Viro <viro@zeniv.linux.org.uk> | 2006-05-09 09:05:42 -0400 |
| commit | 970157685aabf9b8845319180c539ea58ed86539 (patch) | |
| tree | bd9e9718819f2be26314c0c5f98ac90648ad5456 /validation | |
| parent | 2cf1f4bba7302d1682fb6c9e4d2b79f88b32df92 (diff) | |
| download | sparse-dev-970157685aabf9b8845319180c539ea58ed86539.tar.gz | |
[PATCH] count_array_initializer() needs to know the type of element
char *s[] = {"123456789"}; gives a single-element array
char p[] = {"123456789"}; gives a ten-element one
Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/init-char-array.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/validation/init-char-array.c b/validation/init-char-array.c new file mode 100644 index 00000000..390f29d4 --- /dev/null +++ b/validation/init-char-array.c @@ -0,0 +1,15 @@ +/* + * for array of char {<string>} gets special treatment in initializer. + */ +char *s[] = {"aaaaaaaaa"}; +char t[][10] = {"aaaaaaaaa"}; +char u[] = {"aaaaaaaaa"}; +char v[] = "aaaaaaaaa"; +void f(void) +{ + char x[1/(sizeof(s) == sizeof(char*))]; + char y[1/(sizeof(u) == 10)]; + char z[1/(sizeof(v) == 10)]; + char w[1/(sizeof(t) == 10)]; +} + |