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  }