diff options
author | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2012-11-13 05:07:23 +0000 |
---|---|---|
committer | Argyrios Kyrtzidis <akyrtzi@gmail.com> | 2012-11-13 05:07:23 +0000 |
commit | 8682b93b3491facc9a42eb87b78bb9d8c18a0739 (patch) | |
tree | 2510346bd1133da1a698e10c9b829bd897e19357 /test/PCH | |
parent | cbf5f60996fa2bd0ecd779b1472dc5cbad3ca464 (diff) | |
download | clang-8682b93b3491facc9a42eb87b78bb9d8c18a0739.tar.gz |
Copy the decls returned by DeclContext::lookup_result to a
new container so we can safely iterate over them.
The container holding the lookup decls can under certain conditions
be changed while iterating (e.g. because of deserialization).
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@167816 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/PCH')
-rw-r--r-- | test/PCH/crash-12631281.cpp | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/PCH/crash-12631281.cpp b/test/PCH/crash-12631281.cpp new file mode 100644 index 0000000000..f309bcaacc --- /dev/null +++ b/test/PCH/crash-12631281.cpp @@ -0,0 +1,40 @@ +// RUN: %clang_cc1 -std=c++11 %s -emit-pch -o %t.pch +// RUN: %clang_cc1 -fsyntax-only -std=c++11 %s -include-pch %t.pch -verify +// expected-no-diagnostics + +// rdar://12631281 +// This reduced test case exposed a use-after-free memory bug, which was reliable +// reproduced only on guarded malloc (and probably valgrind). + +#ifndef HEADER +#define HEADER + +template < class _T2> struct is_convertible; +template <> struct is_convertible<int> { typedef int type; }; + +template <class _T1, class _T2> struct pair { + typedef _T1 first_type; + typedef _T2 second_type; + template <class _U1, class _U2, class = typename is_convertible< first_type>::type> + pair(_U1&& , _U2&& ); // expected-note {{candidate}} +}; + +template <class _ForwardIterator> +pair<_ForwardIterator, _ForwardIterator> __equal_range(_ForwardIterator) { + return pair<_ForwardIterator, _ForwardIterator>(0, 0); // expected-error {{no matching constructor}} +} + +template <class _ForwardIterator> +pair<_ForwardIterator, _ForwardIterator> equal_range( _ForwardIterator a) { + return __equal_range(a); // expected-note {{instantiation}} +} + +class A { + pair<int, int> range() { + return equal_range(0); // expected-note {{instantiation}} + } +}; + +#else + +#endif |