1 #include "check_debug.h"
   2 
   3 int main(int x)
   4 {
   5         x = __smatch_type_rl(int, "s32min-s32max[$2 + 4]", 5);
   6         __smatch_implied(x);
   7 
   8         return 0;
   9 }
  10 /*
  11  * check-name: smatch parse value
  12  * check-command: smatch -I.. sm_val_parse1.c
  13  *
  14  * check-output-start
  15 sm_val_parse1.c:6 main() implied: x = '9'
  16  * check-output-end
  17  */