| // RUN: rm -rf %t |
| // RUN: mkdir %t |
| // RUN: split-file %s %t |
| // |
| // We need '-fmodules-local-submodule-visibility' to properly test merging when building a module from multiple |
| // headers inside the same TU. C++20 mode would imply this flag, but we need it to set it explicitly for C++14. |
| // |
| // RUN: %clang_cc1 -xc++ -std=c++14 -fmodules -fmodules-local-submodule-visibility -fmodule-name=library \ |
| // RUN: -emit-module %t/modules.map \ |
| // RUN: -o %t/module.pcm |
| // |
| // |
| // RUN: %clang_cc1 -xc++ -std=c++14 -fmodules -fmodules-local-submodule-visibility -fmodule-file=%t/module.pcm \ |
| // RUN: -fmodule-map-file=%t/modules.map \ |
| // RUN: -fsyntax-only -verify %t/use.cpp |
| // |
| //--- use.cpp |
| |
| #include "var1.h" |
| #include "var2.h" |
| |
| auto foo = zero<Int>; |
| auto bar = zero<int*>; |
| auto baz = zero<int>; |
| |
| template <class T> constexpr T zero = 0; // expected-error {{redefinition}} expected-note@* {{previous}} |
| template <> constexpr Int zero<Int> = {0}; // expected-error {{redefinition}} expected-note@* {{previous}} |
| template <class T> constexpr T* zero<T*> = nullptr; // expected-error {{redefinition}} expected-note@* {{previous}} |
| |
| template <> constexpr int** zero<int**> = nullptr; // ok, new specialization. |
| template <class T> constexpr T** zero<T**> = nullptr; // ok, new partial specilization. |
| |
| //--- modules.map |
| module "library" { |
| export * |
| module "var1" { |
| export * |
| header "var1.h" |
| } |
| module "var2" { |
| export * |
| header "var2.h" |
| } |
| } |
| |
| //--- var1.h |
| #ifndef VAR1_H |
| #define VAR1_H |
| |
| template <class T> constexpr T zero = 0; |
| struct Int { |
| int value; |
| }; |
| template <> constexpr int zero<Int> = {0}; |
| template <class T> constexpr T* zero<T*> = nullptr; |
| |
| #endif // VAR1_H |
| |
| //--- var2.h |
| #ifndef VAR2_H |
| #define VAR2_H |
| |
| template <class T> constexpr T zero = 0; |
| struct Int { |
| int value; |
| }; |
| template <> constexpr int zero<Int> = {0}; |
| template <class T> constexpr T* zero<T*> = nullptr; |
| |
| #endif // VAR2_H |