Mercurial > hg > CbC > CbC_llvm

comparison clang/test/Modules/redefinition-merges.cppm @ 236:c4bab56944e8 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 16
author kono
date Wed, 09 Nov 2022 17:45:10 +0900
parents
children
comparison
equal deleted inserted replaced
232:70dce7da266c 236:c4bab56944e8
1 // Tests that redefinitions in different TUs could be merged correctly and the
2 // redefinitions in the same TUs could be merged diagnosticed correctly.
3 //
4 // RUN: rm -rf %t
5 // RUN: mkdir %t
6 // RUN: split-file %s %t
7 //
8 // RUN: %clang_cc1 -std=c++20 -I%t %t/normal.cpp -verify -fsyntax-only
9 // RUN: %clang_cc1 -std=c++20 -I%t %t/M1.cppm -verify -fsyntax-only
10 // RUN: %clang_cc1 -std=c++20 -I%t %t/M2.cppm -verify -fsyntax-only
11 // RUN: %clang_cc1 -std=c++20 -I%t %t/M3.cppm -verify -fsyntax-only
12 // RUN: %clang_cc1 -std=c++20 -I%t %t/M.cppm -emit-module-interface -o %t/M.pcm
13 // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use1.cpp -verify -fsyntax-only
14 // RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use2.cpp -verify -fsyntax-only
15 //
16 //--- foo.h
17 #ifndef FOO
18 #define FOO
19 inline void func() {}
20 template <typename T>
21 T templ_func(T t) { return t; }
22 struct S {};
23 template <class C>
24 struct T { C c; };
25 inline int v = 43;
26 #endif
27
28 // If we copy foo.h directly, there are other warnings.
29 //--- redef.h
30 #ifndef REDEF
31 #define REDEF
32 inline void func() {}
33 template <typename T>
34 T templ_func(T t) { return t; }
35 struct S {};
36 template <class C>
37 struct T { C c; };
38 inline int v = 43;
39 #endif
40
41 //--- normal.cpp
42 #include "foo.h"
43 #include "redef.h"
44
45 // expected-error@* {{redefinition of 'func'}}
46 // expected-error@* {{redefinition of 'templ_func'}}
47 // expected-error@* {{redefinition of 'S'}}
48 // expected-error@* {{redefinition of 'T'}}
49 // expected-error@* {{redefinition of 'v'}}
50 // expected-note@* 1+{{previous definition is here}}
51
52 //--- M1.cppm
53 // These declarations are in the same TU. The compiler should complain.
54 module;
55 #include "foo.h"
56 #include "redef.h"
57 export module M1;
58
59 // expected-error@* {{redefinition of 'func'}}
60 // expected-error@* {{redefinition of 'templ_func'}}
61 // expected-error@* {{redefinition of 'S'}}
62 // expected-error@* {{redefinition of 'T'}}
63 // expected-error@* {{redefinition of 'v'}}
64 // expected-note@* 1+{{previous definition is here}}
65
66 //--- M2.cppm
67 // These declarations are in the same TU and the redefinitions are in the named modules.
68 // The compiler should complain.
69 module;
70 #include "foo.h"
71 export module M2;
72 #include "redef.h"
73
74 // FIXME: The diagnostic message looks not so good.
75 //
76 // expected-error@* {{declaration of 'func' in module M2 follows declaration in the global module}}
77 // expected-error@* {{declaration of 'templ_func' in module M2 follows declaration in the global module}}
78 // expected-error@* {{redefinition of 'S'}}
79 // expected-error@* {{redefinition of 'T'}}
80 // expected-error@* {{declaration of 'v' in module M2 follows declaration in the global module}}
81 // expected-note@* 1+{{previous definition is here}}
82 // expected-note@* 1+{{previous declaration is here}}
83
84 //--- M3.cppm
85 // These declarations are in the same TU. The compiler should complain.
86 export module M3;
87 #include "foo.h"
88 #include "redef.h"
89
90 // expected-error@* {{redefinition of 'func'}}
91 // expected-error@* {{redefinition of 'templ_func'}}
92 // expected-error@* {{redefinition of 'S'}}
93 // expected-error@* {{redefinition of 'T'}}
94 // expected-error@* {{redefinition of 'v'}}
95 // expected-note@* 1+{{previous definition is here}}
96
97 //--- M.cppm
98 module;
99 #include "foo.h"
100 export module M;
101 export using ::func;
102 export using ::templ_func;
103 export using ::S;
104 export using ::T;
105 export using ::v;
106
107 //--- Use1.cpp
108 // These declarations are not in the same TU. The compiler shouldn't complain.
109 // expected-no-diagnostics
110 #include "foo.h"
111 import M;
112
113 //--- Use2.cpp
114 // These declarations are not in the same TU. The compiler shouldn't complain.
115 // expected-no-diagnostics
116 import M;
117 #include "foo.h"