aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/analyzer/bzero-1.c
blob: 894508611fefe43cc4534df897f5f0a12d4304c3 (plain)
1
2
3
4
5
6
7
8
9
10
11
#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" } */
}