global-overflow.cc revision fad8a073a90bd518cc48e269edae7e68470624b7 
1#include <string.h>
2int main(int argc, char **argv) {
3  static char XXX[10];
4  static char YYY[10];
5  static char ZZZ[10];
6  memset(XXX, 0, 10);
7  memset(YYY, 0, 10);
8  memset(ZZZ, 0, 10);
9  int res = YYY[argc * 10];  // BOOOM
10  // CHECK: {{READ of size 1 at 0x.* thread T0}}
11  // CHECK: {{    #0 0x.* in main .*global-overflow.cc:9}}
12  // CHECK: {{0x.* is located 0 bytes to the right of global variable .*YYY.* of size 10}}
13  res += XXX[argc] + ZZZ[argc];
14  return res;
15}
16