clang/test/Modules/cxx20-import-diagnostics-a.cpp

   1 // RUN: rm -rf %t
   2 // RUN: mkdir -p %t
   3 // RUN: split-file %s %t
   4
   5 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu1.cpp \
   6 // RUN:  -o %t/B.pcm
   7
   8 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu2.cpp \
   9 // RUN:  -o %t/C.pcm
  10
  11 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu3.cpp \
  12 // RUN:  -fmodule-file=B=%t/B.pcm -fmodule-file=C=%t/C.pcm -o %t/AOK1.pcm
  13
  14 // RUN: %clang_cc1 -std=c++20 -S %t/import-diags-tu4.cpp \
  15 // RUN:  -fmodule-file=AOK1=%t/AOK1.pcm -fmodule-file=B=%t/B.pcm \
  16 // RUN:  -fmodule-file=C=%t/C.pcm -o %t/tu_3.s -verify
  17
  18 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu5.cpp \
  19 // RUN:  -fmodule-file=B=%t/B.pcm -fmodule-file=C=%t/C.pcm -o %t/BC.pcm -verify
  20
  21 // RUN: %clang_cc1 -std=c++20 -S %t/import-diags-tu6.cpp \
  22 // RUN:  -fmodule-file=B=%t/B.pcm -fmodule-file=C=%t/C.pcm -o %t/tu_5.s -verify
  23
  24 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu7.cpp \
  25 // RUN:  -fmodule-file=B=%t/B.pcm -o %t/D.pcm -verify
  26
  27 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu8.cpp \
  28 // RUN:  -fmodule-file=B=%t/B.pcm -o %t/D.pcm -verify
  29
  30 // RUN: %clang_cc1 -std=c++20 -S %t/import-diags-tu9.cpp \
  31 // RUN:  -fmodule-file=B=%t/B.pcm -o %t/tu_8.s -verify
  32
  33 // RUN: %clang_cc1 -std=c++20 -emit-module-interface %t/import-diags-tu10.cpp \
  34 // RUN:  -o %t/B.pcm -verify
  35
  36 // RUN: %clang_cc1 -std=c++20 -emit-obj %t/import-diags-tu11.cpp \
  37 // RUN:  -fmodule-file=C=%t/C.pcm  -o %t/impl.o
  38
  39 // Test diagnostics for incorrect module import sequences.
  40
  41 //--- import-diags-tu1.cpp
  42
  43 export module B;
  44
  45 int foo ();
  46
  47 // expected-no-diagnostics
  48
  49 //--- import-diags-tu2.cpp
  50
  51 export module C;
  52
  53 int bar ();
  54
  55 // expected-no-diagnostics
  56
  57 //--- import-diags-tu3.cpp
  58
  59 export module AOK1;
  60
  61 import B;
  62 export import C;
  63
  64 export int theAnswer ();
  65
  66 // expected-no-diagnostics
  67
  68 //--- import-diags-tu4.cpp
  69
  70 module;
  71
  72 module AOK1;
  73
  74 export import C; // expected-error {{export declaration can only be used within a module purview}}
  75
  76 int theAnswer () { return 42; }
  77
  78 //--- import-diags-tu5.cpp
  79
  80 export module BC;
  81
  82 export import B;
  83
  84 int foo () { return 10; }
  85
  86 import C; // expected-error {{imports must immediately follow the module declaration}}
  87
  88 //--- import-diags-tu6.cpp
  89
  90 module B; // implicitly imports B.
  91
  92 int foo () { return 10; }
  93
  94 import C; // expected-error {{imports must immediately follow the module declaration}}
  95
  96 //--- import-diags-tu7.cpp
  97
  98 module;
  99 // We can only have preprocessor directives here, which permits
 100 // header units (include-translated or not) and named modules.
 101 import B;
 102 export module D;
 103
 104 int delta ();
 105 // expected-no-diagnostics
 106
 107 //--- import-diags-tu8.cpp
 108
 109 export module D;
 110
 111 int delta ();
 112
 113 module :private;
 114
 115 import B; // expected-error {{imports must immediately follow the module declaration}}
 116
 117 //--- import-diags-tu9.cpp
 118
 119 module B;
 120
 121 import B; // expected-error {{import of module 'B' appears within its own implementation}}
 122
 123 //--- import-diags-tu10.cpp
 124
 125 export module B;
 126
 127 import B; // expected-error {{import of module 'B' appears within its own interface}}
 128
 129 //--- import-diags-tu11.cpp
 130
 131 int x;
 132
 133 import C;
 134
 135 int baz() { return 6174; }
 136
 137 // expected-no-diagnostics