summaryrefslogtreecommitdiffstats
path: root/test/Analysis/no-outofbounds-basicstore.c
blob: 9a0b35906d7cf056f57e3be1ae2ad23c9ec1f637 (plain)
1
2
3
4
5
6
7
// RUN: clang-cc -checker-cfref -analyze -analyzer-store=basic -verify %s

void f() {
  long x = 0;
  char *y = (char*) &x;
  char c = y[0] + y[1] + y[2]; // no-warning
}
OpenPOWER on IntegriCloud