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