region store: make Retrieve() can retrieve embedded array correctly. Also

simplify the retrieve logic.

llvm-svn: 70651

1 files changed, 11 insertions, 0 deletions

diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c
index 7e5e6243c6a..0ce6afcc0c0 100644
--- a/clang/test/Analysis/array-struct.c
+++ b/clang/test/Analysis/array-struct.c
@@ -119,3 +119,14 @@ void f13(double timeout) {
   if (a.e.d == 10)
     a.e.d = 4;
 }
+
+struct s3 {
+  int a[2];
+};
+
+static struct s3 opt;
+
+// Test if the embedded array is retrieved correctly.
+void f14() {
+  struct s3 my_opt = opt;
+}