1#include "check_debug.h"
2
3int 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
19sm_range5.c:7 main() implied: x = '0-9'
20sm_range5.c:10 main() implied: x = '10-u32max'
21 * check-output-end
22 */
23