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