aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/region-only-test.c
blob: 64d3fcd57b2a167fb4612acb0037334d41ebed8f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
// RUN: clang-cc -analyze -checker-cfref -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
}