Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@72166 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/test/Analysis/array-struct.c b/test/Analysis/array-struct.c
index e602d5f..c0e1d8b 100644
--- a/test/Analysis/array-struct.c
+++ b/test/Analysis/array-struct.c
@@ -15,6 +15,7 @@
int data;
} STYPE;
+void g(char *p);
void g1(struct s* p);
// Array to pointer conversion. Array in the struct field.
@@ -62,6 +63,8 @@
void f6() {
char *p;
p = __builtin_alloca(10);
+ g(p);
+ char c = *p;
p[1] = 'a';
// Test if RegionStore::EvalBinOp converts the alloca region to element
// region.
@@ -98,7 +101,7 @@
// Retrieve the default value of element/field region.
void f11() {
struct s a;
- g(&a);
+ g1(&a);
if (a.data == 0) // no-warning
a.data = 1;
}