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