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  */