1 #include "check_debug.h"
2 
3 int main(unsigned int x, unsigned int y)
4 {
5 	switch (x) {
6 	case 0 ... 9:
7 		__smatch_implied(x);
8 		break;
9 	default:
10 		__smatch_implied(x);
11 	}
12 }
13 
14 /*
15  * check-name: smatch range #5
16  * check-command: smatch -I.. sm_range5.c
17  *
18  * check-output-start
19 sm_range5.c:7 main() implied: x = '0-9'
20 sm_range5.c:10 main() implied: x = '10-u32max'
21  * check-output-end
22  */
23