[clang] 201c105 - [NFC] [C++20] [Modules] Adopt a test case from MSVC

[Chuanqi Xu via cfe-commits]

Author: Chuanqi Xu
Date: 2023-08-09T11:14:43+08:00
New Revision: 201c10537a3c1ad4a86b840834c204575d10d589

URL: https://github.com/llvm/llvm-project/commit/201c10537a3c1ad4a86b840834c204575d10d589
DIFF: https://github.com/llvm/llvm-project/commit/201c10537a3c1ad4a86b840834c204575d10d589.diff

LOG: [NFC] [C++20] [Modules] Adopt a test case from MSVC

Add a test case from MSVC
(https://developercommunity.visualstudio.com/t/c20-modules-unresolved-external-symbol/10049210)
to cover more tests.

Added: 
    clang/test/Modules/seperated-member-function-definition-for-template-class.cppm

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/clang/test/Modules/seperated-member-function-definition-for-template-class.cppm b/clang/test/Modules/seperated-member-function-definition-for-template-class.cppm
new file mode 100644
index 00000000000000..e32da39d9df1af
--- /dev/null
+++ b/clang/test/Modules/seperated-member-function-definition-for-template-class.cppm
@@ -0,0 +1,52 @@
+// This comes from the issue report of MSVC
+// (https://developercommunity.visualstudio.com/t/c20-modules-unresolved-external-symbol/10049210).
+//
+// RUN: rm -rf %t
+// RUN: mkdir %t
+// RUN: split-file %s %t
+//
+// RUN: %clang_cc1 -std=c++20 %t/base.cppm -emit-module-interface -o %t/package-base.pcm
+// RUN: %clang_cc1 -std=c++20 %t/child.cppm -emit-module-interface -o %t/package-child.pcm \
+// RUN:     -fprebuilt-module-path=%t
+// RUN: %clang_cc1 -std=c++20 %t/package.cppm -emit-module-interface -o %t/package.pcm \
+// RUN:     -fprebuilt-module-path=%t
+// RUN: %clang_cc1 -std=c++20 %t/use.cpp -fsyntax-only -verify -fprebuilt-module-path=%t
+
+//--- base.cppm
+export module package:base;
+
+export struct child;
+
+export
+template<class> struct base
+{
+	child getChild();
+};
+
+
+//--- child.cppm
+export module package:child;
+
+import :base;
+
+export struct child : base<void> {};
+
+template<class T>
+child base<T>::getChild() { return {}; }
+
+//--- package.cppm
+export module package;
+
+export import :base;
+export import :child;
+
+//--- use.cpp
+// expected-no-diagnostics
+import package;
+
+int use()
+{
+	base<void>{}.getChild();
+	base<int>{}.getChild();
+	return 0;
+}