1 #include "check_debug.h" 2 main(unsigned int x,unsigned int y)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 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