taint-generic.c revision 9b0970f2c7fdc070b18e113f0bbd96e7f77b4f54 
1// RUN: %clang_cc1  -analyze -analyzer-checker=experimental.security.taint,experimental.security.ArrayBoundV2 -verify %s
2
3int scanf(const char *restrict format, ...);
4int getchar(void);
5
6#define BUFSIZE 10
7
8int Buffer[BUFSIZE];
9void bufferFoo1(void)
10{
11  int n;
12  scanf("%d", &n);
13  Buffer[n] = 1; // expected-warning {{Out of bound memory access }}
14}
15