clang/test/Modules/pr60036.cppm

   1 // Test case from https://github.com/llvm/llvm-project/issues/60036
   2 //
   3 // RUN: rm -rf %t
   4 // RUN: mkdir -p %t
   5 // RUN: split-file %s %t
   6 //
   7 // RUN: %clang_cc1 -std=c++20 %t/a.cppm -emit-module-interface -o %t/a.pcm
   8 // RUN: %clang_cc1 -std=c++20 %t/b.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/b.pcm
   9 // RUN: %clang_cc1 -std=c++20 %t/c.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/c.pcm
  10 // RUN: %clang_cc1 -std=c++20 %t/d.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/d.pcm
  11 // RUN: %clang_cc1 -std=c++20 %t/e.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/e.pcm
  12 // RUN: %clang_cc1 -std=c++20 %t/f.cppm -emit-module-interface -fprebuilt-module-path=%t -o %t/f.pcm
  13 // RUN: %clang_cc1 -std=c++20 %t/g.cppm -fprebuilt-module-path=%t -verify -fsyntax-only
  14 //
  15 // Tests that the behavior is fine with specifying module file with `-fmodule-file`.
  16 // RUN: %clang_cc1 -std=c++20 %t/a.cppm -emit-module-interface -o %t/a.pcm
  17 // RUN: %clang_cc1 -std=c++20 %t/b.cppm -emit-module-interface -fmodule-file=a=%t/a.pcm -o %t/b.pcm
  18 // RUN: %clang_cc1 -std=c++20 %t/c.cppm -emit-module-interface -fmodule-file=a=%t/a.pcm -o %t/c.pcm
  19 // RUN: %clang_cc1 -std=c++20 %t/d.cppm -emit-module-interface  -o %t/d.pcm
  20 // RUN: %clang_cc1 -std=c++20 %t/e.cppm -emit-module-interface -fmodule-file=a=%t/a.pcm -fmodule-file=b=%t/b.pcm \
  21 // RUN:         -fmodule-file=c=%t/c.pcm -fmodule-file=d=%t/d.pcm -o %t/e.pcm
  22 // RUN: %clang_cc1 -std=c++20 %t/f.cppm -emit-module-interface -fmodule-file=a=%t/a.pcm -fmodule-file=b=%t/b.pcm -fmodule-file=c=%t/c.pcm -fmodule-file=d=%t/d.pcm -o %t/f.pcm
  23 // RUN: %clang_cc1 -std=c++20 %t/g.cppm -fmodule-file=a=%t/a.pcm -fmodule-file=b=%t/b.pcm \
  24 // RUN:         -fmodule-file=c=%t/c.pcm -fmodule-file=d=%t/d.pcm -fmodule-file=e=%t/e.pcm \
  25 // RUN:         -fmodule-file=f=%t/f.pcm -verify -fsyntax-only
  26
  27 //--- a.cppm
  28 export module a;
  29
  30 export template<typename>
  31 struct a;
  32
  33 template<typename T>
  34 struct a<T &> {
  35         using type = char;
  36 };
  37
  38 //--- b.cppm
  39 export module b;
  40
  41 import a;
  42
  43 typename a<char &>::type;
  44
  45 //--- c.cppm
  46 export module c;
  47
  48 import a;
  49
  50 typename a<char &>::type;
  51
  52 //--- d.cppm
  53 export module d;
  54
  55 export template<typename>
  56 struct d {
  57         d() {}
  58         explicit d(int) requires(true) {}
  59         d(auto &&) {}
  60 };
  61
  62 //--- e.cppm
  63 export module e;
  64
  65 import d;
  66
  67 auto r = d<int>();
  68
  69 //--- f.cppm
  70 export module f;
  71
  72 import a;
  73 import b;
  74 import c;
  75 import d;
  76
  77 template<typename T>
  78 struct array {
  79         friend void fr(array<T> const &) {
  80         }
  81 };
  82
  83 array() -> array<typename a<char &>::type>;
  84
  85 struct wrap {
  86         d<int> m;
  87 };
  88
  89 template<typename T>
  90 int f1(T) {
  91         return 1;
  92 }
  93
  94 void f2() {
  95         d<int> view;
  96         int x = f1(view);
  97         typename a<decltype([x]{}) &>::type;
  98         wrap w;
  99 }
 100
 101 //--- g.cppm
 102 // expected-no-diagnostics
 103 export module g;
 104
 105 import e;
 106 import f;