blob: fdc740488a2cda2eab24d88cb014d90f4746e348 (
plain) (
blame)
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
}
|