Teach CFG construction about destructors resulting from references to array types. Fixes crash in <rdar://problem/11671507>.

llvm-svn: 160424

1 files changed, 16 insertions, 0 deletions

diff --git a/clang/test/Analysis/cxx-for-range-cfg.cpp b/clang/test/Analysis/cxx-for-range-cfg.cpp
new file mode 100644
index 00000000000..e258c7a1e20
--- /dev/null
+++ b/clang/test/Analysis/cxx-for-range-cfg.cpp
@@ -0,0 +1,16 @@
+// RUN: %clang_cc1 -Wall -fsyntax-only %s -std=c++11 -verify
+
+// The rdar11671507_vector<int *>[]> would previously crash CFG construction
+// because of the temporary array of vectors.
+template <typename T>
+class rdar11671507_vector {
+public:
+  rdar11671507_vector();
+  ~rdar11671507_vector();
+  T *Base;
+  T *End;
+};
+
+void rdar11671507(rdar11671507_vector<int*> v, rdar11671507_vector<int*> w) {
+  for (auto &vec : (rdar11671507_vector<int *>[]){ v, w }) {} // expected-warning {{unused}}
+}