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  */