diff options
| author | Josh Triplett <josh@freedesktop.org> | 2007-09-15 00:59:58 -0700 |
|---|---|---|
| committer | Josh Triplett <josh@freedesktop.org> | 2007-09-15 00:59:58 -0700 |
| commit | 80e1b320d8644fe31b0f31d1ed705706e8e6af36 (patch) | |
| tree | 1f3550f909a746a02d98d05f3c01b292fdc33230 /validation | |
| parent | 559ae36944df98c2e13e4060d0a2309b24887acf (diff) | |
| download | sparse-dev-80e1b320d8644fe31b0f31d1ed705706e8e6af36.tar.gz | |
Add test-suite annotations to badtype4.c
Signed-off-by: Josh Triplett <josh@freedesktop.org>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/badtype4.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/validation/badtype4.c b/validation/badtype4.c index 4f0c494b..978c5bdb 100644 --- a/validation/badtype4.c +++ b/validation/badtype4.c @@ -5,3 +5,11 @@ void a(void) break; } } +/* + * check-name: switch(bad_type) {...} segfault + * + * check-error-start +badtype4.c:3:9: error: undefined identifier 'x' +badtype4.c:4:7: error: incompatible types for 'case' statement + * check-error-end + */ |