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