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