1 #include "analyzer-decls.h"
2 
3 int iarr[16];
4 
test_1(int i,int j)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 }
13