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 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 15A pre_a; 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// expected-note@defs.h:1 +{{here}} 24extern class A pre_a2; 25int pre_use_a = use_a(pre_a2); // expected-error 2{{'A' must be imported}} expected-error {{'use_a' must be imported}} 26// expected-note@defs.h:2 +{{here}} 27 28B::Inner2 pre_bi; // expected-error +{{must be imported}} 29// expected-note@defs.h:4 +{{here}} 30// expected-note@defs.h:17 +{{here}} 31void pre_bfi(B b) { // expected-error +{{must be imported}} 32 b.f<int>(); // expected-error +{{}} 33} 34 35C_Base<1> pre_cb1; // expected-error +{{must be imported}} 36// expected-note@defs.h:23 +{{here}} 37C1 pre_c1; // expected-error +{{must be imported}} 38// expected-note@defs.h:25 +{{here}} 39C2 pre_c2; // expected-error +{{must be imported}} 40// expected-note@defs.h:26 +{{here}} 41 42D::X pre_dx; // expected-error +{{must be imported}} 43// expected-note@defs.h:28 +{{here}} 44// expected-note@defs.h:29 +{{here}} 45int pre_use_dx = use_dx(pre_dx); // ignored; pre_dx is invalid 46 47int pre_e = E(0); // expected-error {{must be imported}} 48// expected-note@defs.h:32 +{{here}} 49 50int pre_ff = F<int>().f(); // expected-error +{{must be imported}} 51int pre_fg = F<int>().g<int>(); // expected-error +{{must be imported}} expected-error 2{{expected}} 52// expected-note@defs.h:34 +{{here}} 53 54G::A pre_ga // expected-error +{{must be imported}} 55 = G::a; // expected-error +{{must be imported}} 56// expected-note@defs.h:49 +{{here}} 57// expected-note@defs.h:50 +{{here}} 58decltype(G::h) pre_gh = G::h; // expected-error +{{must be imported}} 59// expected-note@defs.h:51 +{{here}} 60 61J<> pre_j; // expected-error {{declaration of 'J' must be imported}} 62#ifdef IMPORT_USE_2 63// expected-error-re@-2 {{default argument of 'J' must be imported from one of {{.*}}stuff.use{{.*}}stuff.use-2}} 64#elif EARLY_INDIRECT_INCLUDE 65// expected-error@-4 {{default argument of 'J' must be imported from module 'merged-defs'}} 66#else 67// expected-error@-6 {{default argument of 'J' must be imported from module 'stuff.use'}} 68#endif 69// expected-note@defs.h:58 +{{here}} 70 71ScopedEnum pre_scopedenum; // expected-error {{must be imported}} 72// expected-note@defs.h:105 0-1{{here}} 73// expected-note@defs.h:106 0-1{{here}} 74enum ScopedEnum : int; 75ScopedEnum 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 86A post_a; 87int post_use_a = use_a(post_a); 88B::Inner2 post_bi; 89void post_bfi(B b) { 90 b.f<int>(); 91} 92C_Base<1> post_cb1; 93C1 c1; 94C2 c2; 95D::X post_dx; 96int post_use_dx = use_dx(post_dx); 97int post_e = E(0); 98int post_ff = F<char>().f(); 99int post_fg = F<char>().g<int>(); 100G::A post_ga = G::a; 101decltype(G::h) post_gh = G::h; 102J<> post_j; 103template<typename T, int N, template<typename> class K> struct J; 104J<> post_j2; 105FriendDefArg::Y<int> friend_def_arg; 106FriendDefArg::D<> friend_def_arg_d; 107int post_anon_x_n = Anon::X().n; 108 109MergeFunctionTemplateSpecializations::X<int>::Q<char> xiqc; 110 111#ifdef TEXTUAL 112#include "use-defs.h" 113void use_static_inline() { StaticInline::g({}); } 114#ifdef EARLY_INDIRECT_INCLUDE 115// expected-warning@-2 {{ambiguous use of internal linkage declaration 'g' defined in multiple modules}} 116// expected-note@defs.h:71 {{declared here in module 'redef'}} 117// expected-note@defs.h:71 {{declared here in module 'stuff.use'}} 118#endif 119int use_anon_enum = G::g; 120#ifdef EARLY_INDIRECT_INCLUDE 121// expected-warning@-2 3{{ambiguous use of internal linkage declaration 'g' defined in multiple modules}} 122// FIXME: These notes are produced, but -verify can't match them? 123// FIXME-note@defs.h:51 3{{declared here in module 'redef'}} 124// FIXME-note@defs.h:51 3{{declared here in module 'stuff.use'}} 125#endif 126int use_named_enum = G::i; 127#endif 128