aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation
diff options
authorAl Viro <viro@zeniv.linux.org.uk>2006-09-30 06:47:04 -0400
committerAl Viro <viro@zeniv.linux.org.uk>2006-09-30 06:47:04 -0400
commit304b6f7746b700fd1c553b3552b51d7d97bee206 (patch)
treec2a3b0b25b863429caaf17b9c1b0a00465cb9df3 /validation
parent27ff96a96c95d0171f3215458dd5a2ebc4bfafbf (diff)
downloadsparse-dev-304b6f7746b700fd1c553b3552b51d7d97bee206.tar.gz
[PATCH] fix for switch(bad_type) {...} segfault
fixed, testcase added Signed-off-by: Al Viro <viro@zeniv.linux.org.uk>
Diffstat (limited to 'validation')
-rw-r--r--validation/badtype4.c7
1 files changed, 7 insertions, 0 deletions
diff --git a/validation/badtype4.c b/validation/badtype4.c
new file mode 100644
index 00000000..4f0c494b
--- /dev/null
+++ b/validation/badtype4.c
@@ -0,0 +1,7 @@
+void a(void)
+{
+ switch(x) {
+ case 1:
+ break;
+ }
+}