1 #include "check_debug.h" 2 3 int frob(); 4 5 int xxx; 6 static int options_write(void) 7 { 8 int a = -1; 9 int found = 0; 10 11 if (xxx < 0) 12 return; 13 while (frob()) { 14 if (++a == xxx) { 15 found = 1; 16 break; 17 } 18 } 19 if (!found) 20 __smatch_compare(a, xxx); 21 } 22 23 /* 24 * check-name: smatch compare #17 25 * check-command: smatch -I.. sm_compare17.c 26 * 27 * check-output-start 28 sm_compare17.c:20 options_write() a < xxx 29 * check-output-end 30 */ 31