Use a LazyCompoundVal to handle initialization with a string literal, rather than copying each character.

llvm-svn: 109734

1 files changed, 23 insertions, 0 deletions

diff --git a/clang/test/Analysis/array-struct.c b/clang/test/Analysis/array-struct.c
index 3e46a0a6223..ef9907bb579 100644
--- a/clang/test/Analysis/array-struct.c
+++ b/clang/test/Analysis/array-struct.c
@@ -178,3 +178,26 @@ void f18() {
   if (*q) { // no-warning
   }
 }
+
+int f19() {
+  char a[] = "abc";
+  char b[2] = "abc"; // expected-warning{{too long}}
+  char c[5] = "abc";
+
+  if (a[1] != 'b')
+    return 5; // expected-warning{{never executed}}
+  if (b[1] != 'b')
+    return 5; // expected-warning{{never executed}}
+  if (c[1] != 'b')
+    return 5; // expected-warning{{never executed}}
+
+  if (a[3] != 0)
+    return 5; // expected-warning{{never executed}}
+  if (c[3] != 0)
+    return 5; // expected-warning{{never executed}}
+
+  if (c[4] != 0)
+    return 5; // expected-warning{{never executed}}
+
+  return 0;
+}