validation/sm_compare14.c

   1 #include <stdio.h>
   2 #include <string.h>
   3 #include "check_debug.h"
   4
   5 int cmp_x(int x, int y)
   6 {
   7         if (x < y)
   8                 return -1;
   9         if (x == y)
  10                 return 0;
  11         return 1;
  12 }
  13
  14 int x, y;
  15 int test(void)
  16 {
  17         if (cmp_x(x, 4) < 0) {
  18                 __smatch_implied(x);
  19         } else
  20                 __smatch_implied(x);
  21 }
  22 /*
  23  * check-name: smatch compare #14
  24  * check-command: smatch -I.. sm_compare14.c
  25  *
  26  * check-output-start
  27 sm_compare14.c:18 test() implied: x = 's32min-3'
  28 sm_compare14.c:20 test() implied: x = '4-s32max'
  29  * check-output-end
  30  */