1 #include "analyzer-decls.h" 2 3 extern void bzero(void *s, __SIZE_TYPE__ n); 4 test_1(void)5 void test_1 (void) 6 { 7 char tmp[1024]; 8 bzero (tmp, 1024); 9 __analyzer_eval (tmp[0] == 0); /* { dg-warning "TRUE" } */ 10 __analyzer_eval (tmp[1023] == 0); /* { dg-warning "TRUE" } */ 11 } 12