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