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