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