clang/test/Modules/cxx20-10-1-ex2.cpp

   1
   2 // RUN: rm -rf %t
   3 // RUN: mkdir -p %t
   4 // RUN: split-file %s %t
   5
   6 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/std10-1-ex2-tu1.cpp \
   7 // RUN:  -o %t/B_Y.pcm
   8 //
   9 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/std10-1-ex2-tu2.cpp \
  10 // RUN:     -fmodule-file=B:Y=%t/B_Y.pcm -o %t/B.pcm
  11 //
  12 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/std10-1-ex2-tu3.cpp \
  13 // RUN:     -o %t/B_X1.pcm -verify
  14 //
  15 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/std10-1-ex2-tu4.cpp \
  16 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/B_X2.pcm
  17 //
  18 // RUN: %clang_cc1 -std=c++20 -emit-obj %t/std10-1-ex2-tu5.cpp \
  19 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/b_tu5.o
  20 //
  21 // RUN: %clang_cc1 -std=c++20 -S %t/std10-1-ex2-tu6.cpp \
  22 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/b_tu6.s -verify
  23 //
  24 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/std10-1-ex2-tu7.cpp \
  25 // RUN:     -fmodule-file=B:X2=%t/B_X2.pcm -fmodule-file=B=%t/B.pcm \
  26 // RUN:     -fmodule-file=B:Y=%t/B_Y.pcm   -o %t/B_X3.pcm -verify
  27
  28 // Test again with reduced BMI.
  29 // RUN: rm %t/B_X2.pcm %t/B.pcm %t/B_Y.pcm
  30 // RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface %t/std10-1-ex2-tu1.cpp \
  31 // RUN:  -o %t/B_Y.pcm
  32 //
  33 // RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface %t/std10-1-ex2-tu2.cpp \
  34 // RUN:     -fmodule-file=B:Y=%t/B_Y.pcm -o %t/B.pcm
  35 //
  36 // RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface %t/std10-1-ex2-tu3.cpp \
  37 // RUN:     -o %t/B_X1.pcm -verify
  38 //
  39 // RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface %t/std10-1-ex2-tu4.cpp \
  40 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/B_X2.pcm
  41 //
  42 // RUN: %clang_cc1 -std=c++20 -emit-obj %t/std10-1-ex2-tu5.cpp \
  43 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/b_tu5.o
  44 //
  45 // RUN: %clang_cc1 -std=c++20 -S %t/std10-1-ex2-tu6.cpp \
  46 // RUN:     -fmodule-file=B=%t/B.pcm -fmodule-file=B:Y=%t/B_Y.pcm  -o %t/b_tu6.s -verify
  47 //
  48 // RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface %t/std10-1-ex2-tu7.cpp \
  49 // RUN:     -fmodule-file=B:X2=%t/B_X2.pcm -fmodule-file=B=%t/B.pcm \
  50 // RUN:     -fmodule-file=B:Y=%t/B_Y.pcm   -o %t/B_X3.pcm -verify
  51
  52 //--- std10-1-ex2-tu1.cpp
  53 module B:Y;
  54 int y();
  55 // expected-no-diagnostics
  56
  57 //--- std10-1-ex2-tu2.cpp
  58 export module B;
  59 import :Y;
  60 int n = y();
  61 // expected-no-diagnostics
  62
  63 //--- std10-1-ex2-tu3.cpp
  64 module B:X1; // does not implicitly import B
  65 int &a = n;  // expected-error {{use of undeclared identifier }}
  66
  67 //--- std10-1-ex2-tu4.cpp
  68 module B:X2; // does not implicitly import B
  69 import B;
  70 int &b = n; // OK
  71 // expected-no-diagnostics
  72
  73 //--- std10-1-ex2-tu5.cpp
  74 module B;   // implicitly imports B
  75 int &c = n; // OK
  76 // expected-no-diagnostics
  77
  78 //--- std10-1-ex2-tu6.cpp
  79 import B;
  80 // error, n is module-local and this is not a module.
  81 int &c = n; // expected-error {{declaration of 'n' must be imported}}
  82             // expected-note@* {{declaration here is not visible}}
  83
  84 //--- std10-1-ex2-tu7.cpp
  85 // expected-no-diagnostics
  86 module B:X3; // does not implicitly import B
  87 import :X2; // X2 is an implementation unit import B.
  88 // According to [module.import]p7:
  89 //   Additionally, when a module-import-declaration in a module unit of some
  90 //   module M imports another module unit U of M, it also imports all
  91 //   translation units imported by non-exported module-import-declarations in
  92 //   the module unit purview of U.
  93 //
  94 // So B is imported in B:X3 due to B:X2 imported B. So n is visible here.
  95 int &c = n;