clang/test/Modules/redefinition-merges.cppm

   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"