validation/sm_val_parse1.c

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