1  #include "analyzer-decls.h"
       2  
       3  extern void bzero(void *s, __SIZE_TYPE__ n);
       4  
       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  }