1 #include "check_debug.h"
   2 
   3 int returns_less(int x)
   4 {
   5         int y;
   6 
   7         if (x > 10)
   8                 y = 10;
   9         else
  10                 y = x;
  11 
  12         __smatch_compare(x, y);
  13         return y;
  14 }
  15 
  16 /*
  17  * check-name: smatch compare #6
  18  * check-command: smatch -I.. sm_compare6.c
  19  *
  20  * check-output-start
  21 sm_compare6.c:12 returns_less() x >= y
  22  * check-output-end
  23  */