validation/sm_compare16.c

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