1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int a, b, c; options_write(void)4*1f5207b7SJohn Levonstatic int options_write(void) 5*1f5207b7SJohn Levon { 6*1f5207b7SJohn Levon if (c <= b) 7*1f5207b7SJohn Levon return; 8*1f5207b7SJohn Levon if (a >= b) 9*1f5207b7SJohn Levon return; 10*1f5207b7SJohn Levon __smatch_compare(a, c); 11*1f5207b7SJohn Levon } 12*1f5207b7SJohn Levon 13*1f5207b7SJohn Levon /* 14*1f5207b7SJohn Levon * check-name: smatch compare #10 15*1f5207b7SJohn Levon * check-command: smatch -I.. sm_compare10.c 16*1f5207b7SJohn Levon * 17*1f5207b7SJohn Levon * check-output-start 18*1f5207b7SJohn Levon sm_compare10.c:10 options_write() a < c 19*1f5207b7SJohn Levon * check-output-end 20*1f5207b7SJohn Levon */ 21