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
}
|