1 #include <stdio.h>
   2 #include <string.h>
   3 #include "check_debug.h"
   4 
   5 long long l;
   6 long long ul;
   7 int i;
   8 int ui;
   9 signed char c;
  10 char uc;
  11 
  12 int main(void)
  13 {
  14         int idx;
  15 
  16         if (c < 2)
  17                 return 1;
  18         if (uc < (unsigned int)2)
  19                 return 1;
  20         if (i < 2)
  21                 return 1;
  22         if (ui < (unsigned int)2)
  23                 return 1;
  24         if (l < 2)
  25                 return 1;
  26         if (ul < (unsigned int)2)
  27                 return 1;
  28 
  29         __smatch_implied(l);
  30         __smatch_implied(ul);
  31         __smatch_implied(i);
  32         __smatch_implied(ui);
  33         __smatch_implied(c);
  34         __smatch_implied(uc);
  35 
  36         return 0;
  37 }
  38 
  39 
  40 /*
  41  * check-name: smatch: casts #6
  42  * check-command: smatch -I.. sm_casts6.c
  43  *
  44  * check-output-start
  45 sm_casts6.c:29 main() implied: l = '2-s64max'
  46 sm_casts6.c:30 main() implied: ul = '2-s64max'
  47 sm_casts6.c:31 main() implied: i = '2-s32max'
  48 sm_casts6.c:32 main() implied: ui = 's32min-(-1),2-s32max'
  49 sm_casts6.c:33 main() implied: c = '2-127'
  50 sm_casts6.c:34 main() implied: uc = '(-128)-(-1),2-127'
  51  * check-output-end
  52  */