validation/sm_compare11.c

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