blob: 701da72f82ea31aed247b3981f86922ade38e01b [file] [log] [blame]
// RUN: clang -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
}