xref: /illumos-gate/usr/src/tools/smatch/src/validation/badtype4.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 void a(void)
2 {
3 	switch(x) {
4 	case 1:
5 		break;
6 	}
7 }
8 /*
9  * check-name: switch(bad_type) {...} segfault
10  *
11  * check-error-start
12 badtype4.c:3:16: error: undefined identifier 'x'
13 badtype4.c:4:14: error: incompatible types for 'case' statement
14  * check-error-end
15  */
16