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