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