1 // RUN: rm -rf %t 2 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery -DTEXTUAL 3 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery 4 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery -fmodules-local-submodule-visibility -DTEXTUAL 5 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery -fmodules-local-submodule-visibility 6 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery -fmodules-local-submodule-visibility -DTEXTUAL -DEARLY_INDIRECT_INCLUDE -fno-modules-hide-internal-linkage 7 // RUN: %clang_cc1 -x c++ -std=c++11 -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -I %S/Inputs/submodules-merge-defs %s -verify -fno-modules-error-recovery -fmodules-local-submodule-visibility -fmodule-feature use_defs_twice -DIMPORT_USE_2 8 9 // Trigger import of definitions, but don't make them visible. 10 #include "empty.h" 11 #ifdef EARLY_INDIRECT_INCLUDE 12 #include "indirect.h" 13 #endif 14 15 A pre_a; // expected-error {{must use 'struct'}} 16 #ifdef IMPORT_USE_2 17 // expected-error-re@-2 {{must be imported from one of {{.*}}stuff.use{{.*}}stuff.use-2}} 18 #elif EARLY_INDIRECT_INCLUDE 19 // expected-error@-4 {{must be imported from module 'merged-defs'}} 20 #else 21 // expected-error@-6 {{must be imported from module 'stuff.use'}} 22 #endif 23 // [email protected]:1 +{{here}} 24 // [email protected]:2 +{{here}} 25 int pre_use_a = use_a(pre_a); // expected-error {{'A' must be imported}} expected-error {{'use_a' must be imported}} 26 27 B::Inner2 pre_bi; // expected-error +{{must be imported}} 28 // [email protected]:4 +{{here}} 29 // [email protected]:11 +{{here}} 30 void pre_bfi(B b) { // expected-error {{must use 'class'}} expected-error +{{must be imported}} 31 b.f<int>(); // expected-error +{{must be imported}} expected-error +{{}} 32 // [email protected]:12 +{{here}} 33 } 34 35 C_Base<1> pre_cb1; // expected-error +{{must be imported}} 36 // [email protected]:16 +{{here}} 37 C1 pre_c1; // expected-error +{{must be imported}} expected-error {{must use 'struct'}} 38 // [email protected]:18 +{{here}} 39 C2 pre_c2; // expected-error +{{must be imported}} expected-error {{must use 'struct'}} 40 // [email protected]:19 +{{here}} 41 42 D::X pre_dx; // expected-error +{{must be imported}} 43 // [email protected]:21 +{{here}} 44 // [email protected]:22 +{{here}} 45 // FIXME: We should warn that use_dx is being used without being imported. 46 int pre_use_dx = use_dx(pre_dx); 47 48 int pre_e = E(0); // expected-error {{must be imported}} 49 // [email protected]:25 +{{here}} 50 51 int pre_ff = F<int>().f(); // expected-error +{{must be imported}} 52 int pre_fg = F<int>().g<int>(); // expected-error +{{must be imported}} 53 // [email protected]:27 +{{here}} 54 55 G::A pre_ga // expected-error +{{must be imported}} 56 = G::a; // expected-error +{{must be imported}} 57 // [email protected]:42 +{{here}} 58 // [email protected]:43 +{{here}} 59 decltype(G::h) pre_gh = G::h; // expected-error +{{must be imported}} 60 // [email protected]:44 +{{here}} 61 62 J<> pre_j; // expected-error {{declaration of 'J' must be imported}} 63 #ifdef IMPORT_USE_2 64 // expected-error-re@-2 {{default argument of 'J' must be imported from one of {{.*}}stuff.use{{.*}}stuff.use-2}} 65 #elif EARLY_INDIRECT_INCLUDE 66 // expected-error@-4 {{default argument of 'J' must be imported from module 'merged-defs'}} 67 #else 68 // expected-error@-6 {{default argument of 'J' must be imported from module 'stuff.use'}} 69 #endif 70 // [email protected]:51 +{{here}} 71 72 ScopedEnum pre_scopedenum; // expected-error {{must be imported}} expected-error {{must use 'enum'}} 73 // [email protected]:99 {{here}} 74 enum ScopedEnum : int; 75 ScopedEnum pre_scopedenum_declared; // ok 76 77 // Make definitions from second module visible. 78 #ifdef TEXTUAL 79 #include "import-and-redefine.h" 80 #elif defined IMPORT_USE_2 81 #include "use-defs-2.h" 82 #else 83 #include "merged-defs.h" 84 #endif 85 86 A post_a; 87 int post_use_a = use_a(post_a); 88 B::Inner2 post_bi; 89 void post_bfi(B b) { 90 b.f<int>(); 91 } 92 C_Base<1> post_cb1; 93 C1 c1; 94 C2 c2; 95 D::X post_dx; 96 int post_use_dx = use_dx(post_dx); 97 int post_e = E(0); 98 int post_ff = F<char>().f(); 99 int post_fg = F<char>().g<int>(); 100 G::A post_ga = G::a; 101 decltype(G::h) post_gh = G::h; 102 J<> post_j; 103 template<typename T, int N, template<typename> class K> struct J; 104 J<> post_j2; 105 FriendDefArg::Y<int> friend_def_arg; 106 FriendDefArg::D<> friend_def_arg_d; 107 108 MergeFunctionTemplateSpecializations::X<int>::Q<char> xiqc; 109 110 #ifdef TEXTUAL 111 #include "use-defs.h" 112 void use_static_inline() { StaticInline::g({}); } 113 #endif 114