gcc/testsuite/c-c++-common/analyzer/symbolic-4.c

   1 #include <string.h>
   2 #include "analyzer-decls.h"
   3
   4 void test_1 (int i, int j, int k)
   5 {
   6   int iarr[16];
   7   iarr[i] = j;
   8   __analyzer_eval (iarr[i] == j); /* { dg-warning "TRUE" } */
   9   __analyzer_eval (iarr[k] == j); /* { dg-warning "UNKNOWN" } */
  10
  11   memset (iarr, 0, sizeof (iarr));
  12   __analyzer_eval (iarr[0] == 0); /* { dg-warning "TRUE" } */
  13   __analyzer_eval (iarr[i] == 0); /* { dg-warning "TRUE" } */
  14   __analyzer_eval (iarr[i] == j); /* { dg-warning "UNKNOWN" } */
  15
  16   iarr[i] = j;
  17   __analyzer_eval (iarr[i] == j); /* { dg-warning "TRUE" } */
  18   __analyzer_eval (iarr[0] == 0); /* { dg-warning "UNKNOWN" } */
  19   __analyzer_eval (iarr[i] == 0); /* { dg-warning "UNKNOWN" } */
  20 }