clang/test/Modules/pr61065_2.cppm

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4 //
   5 // RUN: %clang_cc1 -std=c++20 %t/a.cppm -emit-module-interface -o %t/a.pcm
   6 // RUN: %clang_cc1 -std=c++20 %t/b.cppm -emit-module-interface -o %t/b.pcm \
   7 // RUN:     -fprebuilt-module-path=%t
   8 // RUN: %clang_cc1 -std=c++20 %t/c.cppm -emit-module-interface -o %t/c.pcm \
   9 // RUN:     -fprebuilt-module-path=%t
  10 // RUN: %clang_cc1 -std=c++20 %t/d.cppm -emit-module-interface -o %t/d.pcm \
  11 // RUN:     -fprebuilt-module-path=%t
  12 // RUN: %clang_cc1 -std=c++20 %t/e.cpp -fsyntax-only -verify -fprebuilt-module-path=%t
  13
  14 //--- a.cppm
  15 export module a;
  16
  17 struct WithCtor {
  18   WithCtor();
  19 };
  20
  21 export template <typename T>
  22 struct Getter {
  23   union {
  24     WithCtor container;
  25   };
  26 };
  27
  28 //--- b.cppm
  29 export module b;
  30
  31 import a;
  32
  33 export template <typename T>
  34 class AnySpan {
  35  public:
  36   AnySpan();
  37   AnySpan(Getter<T> getter)
  38       : getter_(getter) {}
  39
  40  private:
  41   Getter<T> getter_;
  42 };
  43
  44 //--- c.cppm
  45 export module c;
  46 import b;
  47
  48 export inline void RegisterInt322(
  49    AnySpan<const int> sibling_field_nums) {
  50   sibling_field_nums = sibling_field_nums;
  51 }
  52
  53 //--- d.cppm
  54 // expected-no-diagnostics
  55 export module d;
  56 import c;
  57 import b;
  58
  59 export inline void RegisterInt32(
  60    AnySpan<const int> sibling_field_nums = {}) {
  61   sibling_field_nums = sibling_field_nums;
  62 }
  63
  64 //--- e.cpp
  65 import d;
  66 import b;
  67
  68 // expected-no-diagnostics
  69 void foo(AnySpan<const int> s) {
  70   s = AnySpan<const int>(s);
  71 }