From 20fbdb347cf6324e6e8d3f4aa1d0b1ab02f70e8d Mon Sep 17 00:00:00 2001
From: Richard Smith <richard-llvm@metafoo.co.uk>
Date: Wed, 12 Sep 2018 02:13:46 +0000
Subject: Fix tracking of merged definitions when the merge target is also
 merged into something else.

llvm-svn: 342017
---
 .../merge-template-pattern-visibility-2.cpp        | 34 ++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 clang/test/Modules/merge-template-pattern-visibility-2.cpp

(limited to 'clang/test/Modules/merge-template-pattern-visibility-2.cpp')

diff --git a/clang/test/Modules/merge-template-pattern-visibility-2.cpp b/clang/test/Modules/merge-template-pattern-visibility-2.cpp
new file mode 100644
index 00000000000..14577f146e9
--- /dev/null
+++ b/clang/test/Modules/merge-template-pattern-visibility-2.cpp
@@ -0,0 +1,34 @@
+// RUN: %clang_cc1 -fmodules -fmodules-local-submodule-visibility %s -verify -Werror=undefined-inline
+
+#pragma clang module build A1
+module A1 { export * }
+#pragma clang module contents
+#pragma clang module begin A1
+template<typename T> class A {};
+template<typename T> inline bool f(const A<T>&) { return T::error; }
+#pragma clang module end
+#pragma clang module endbuild
+
+#pragma clang module build A2
+module A2 { export * }
+#pragma clang module contents
+#pragma clang module begin A2
+#pragma clang module load A1
+template<typename T> class A {};
+template<typename T> inline bool f(const A<T>&) { return T::error; }
+#pragma clang module end
+#pragma clang module endbuild
+
+#pragma clang module build A3
+module A3 { export * }
+#pragma clang module contents
+#pragma clang module begin A3
+template<typename T> class A {};
+template<typename T> inline bool f(const A<T>&) { return T::error; }
+#pragma clang module end
+#pragma clang module endbuild
+
+#pragma clang module load A3
+#pragma clang module import A2
+// expected-error@* {{cannot be used prior to}}
+bool y(A<int> o) { return f(o); } // expected-note {{instantiation of}}
-- 
cgit v1.2.3