diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-09-15 12:13:16 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-09-15 12:13:16 -0700 |
| commit | 652fe5979cc747b1b83d0e979c4e80494e3432ea (patch) | |
| tree | 0efebb1644cf4f342ad0ad448c66963ff15ab793 | |
| parent | 2224d744eaf11b36ccb25c9f89186ace21f60768 (diff) | |
| download | sparse-dev-652fe5979cc747b1b83d0e979c4e80494e3432ea.tar.gz | |
Add test-suite annotations to init-char-array.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
| -rw-r--r-- | validation/init-char-array.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/validation/init-char-array.c b/validation/init-char-array.c index 556d5150..5ede9bdc 100644 --- a/validation/init-char-array.c +++ b/validation/init-char-array.c @@ -13,3 +13,6 @@ static void f(void) char w[1/(sizeof(t) == 10)]; } +/* + * check-name: char array initializers + */ |