1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
// 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
|
