1 #include "check_debug.h" 2 3 void func(void) 4 { 5 long a = __smatch_rl("1-10+"); 6 long b = __smatch_rl("0,+"); 7 long c = __smatch_rl("10,23,45-+"); 8 9 __smatch_implied(a); 10 __smatch_implied(b); 11 __smatch_implied(c); 12 } 13 14 /* 15 * check-name: smatch range #6 16 * check-command: smatch -I.. sm_range6.c 17 * 18 * check-output-start 19 sm_range6.c:9 func() implied: a = '1-s64max' 20 sm_range6.c:10 func() implied: b = '0-s64max' 21 sm_range6.c:11 func() implied: c = '10,23,45-s64max' 22 * check-output-end 23 */ 24