validation/sm_chunk2.c

   1 #include "check_debug.h"
   2
   3 void initialize(void *p);
   4
   5 int main(int x)
   6 {
   7         unsigned int aaa[10];
   8         int y;
   9
  10         initialize(&aaa);
  11         initialize(&y);
  12
  13         if (aaa[5] > 3)
  14                 return 0;
  15         aaa[0] = 42;
  16         __smatch_implied(aaa[0]);
  17         __smatch_implied(aaa[5]);
  18         aaa[y] = 10;
  19         __smatch_implied(aaa[5]);
  20         if (aaa[y] > 4)
  21                 return 0;
  22         __smatch_implied(aaa[y]);
  23         y = 3;
  24         __smatch_implied(aaa[y]);
  25
  26         return 0;
  27 }
  28
  29 /*
  30  * check-name: smatch chunk #2
  31  * check-command: smatch -I.. sm_chunk2.c
  32  *
  33  * check-output-start
  34 sm_chunk2.c:16 main() implied: aaa[0] = '42'
  35 sm_chunk2.c:17 main() implied: aaa[5] = '0-3'
  36 sm_chunk2.c:19 main() implied: aaa[5] = '0-u32max'
  37 sm_chunk2.c:22 main() implied: aaa[y] = '0-4'
  38 sm_chunk2.c:24 main() implied: aaa[y] = '0-u32max'
  39  * check-output-end
  40  */