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