1  #include "analyzer-decls.h"
       2  
       3  int iarr[16];
       4  
       5  void test_1 (int i, int j)
       6  {
       7    int init_el_8 = iarr[8];
       8    __analyzer_eval (init_el_8 == iarr[8]); /* { dg-warning "TRUE" } */
       9  
      10    iarr[i] = j;
      11    __analyzer_eval (init_el_8 == iarr[8]); /* { dg-warning "UNKNOWN" } */
      12  }