diff options
| -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 + */ |