summaryrefslogtreecommitdiffstats
path: root/test/Analysis/region-only-test.c
blob: fdc740488a2cda2eab24d88cb014d90f4746e348 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// RUN: clang-cc -analyze -checker-simple -analyzer-store=region -verify %s

// Region store must be enabled for tests in this file.

// Exercise creating ElementRegion with symbolic super region.
void foo(int* p) {
  int *x;
  int a;
  if (p[0] == 1)
    x = &a;
  if (p[0] == 1)
    *x; // no-warning
}
OpenPOWER on IntegriCloud