#include "analyzer-decls.h"

extern void bzero(void *s, __SIZE_TYPE__ n);

void test_1 (void)
{
  char tmp[1024];
  bzero (tmp, 1024);
  __analyzer_eval (tmp[0] == 0); /* { dg-warning "TRUE" } */
  __analyzer_eval (tmp[1023] == 0); /* { dg-warning "TRUE" } */
}