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, z;
   9
  10         initialize(&aaa);
  11         initialize(&y);
  12         initialize(&z);
  13
  14         if (aaa[5] > 3)
  15                 return 0;
  16         aaa[0] = 42;
  17         __smatch_implied(aaa[0]);
  18         __smatch_implied(aaa[5]);
  19         aaa[y] = 10;
  20         __smatch_implied(aaa[5]);
  21         if (aaa[z] > 4)
  22                 return 0;
  23         __smatch_implied(aaa[z]);
  24         z = 3;
  25         __smatch_implied(aaa[z]);
  26
  27         return 0;
  28 }
  29
  30 /*
  31  * check-name: smatch chunk #2
  32  * check-command: smatch -I.. sm_chunk2.c
  33  *
  34  * check-output-start
  35 sm_chunk2.c:17 main() implied: aaa[0] = '42'
  36 sm_chunk2.c:18 main() implied: aaa[5] = '0-3'
  37 sm_chunk2.c:20 main() implied: aaa[5] = '0-u32max'
  38 sm_chunk2.c:23 main() implied: aaa[z] = '0-4'
  39 sm_chunk2.c:25 main() implied: aaa[z] = '0-u32max'
  40  * check-output-end
  41  */