124 lines · cpp
1// RUN: rm -rf %t2// 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 -DTEXTUAL3// 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-recovery4// 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 -DTEXTUAL5// 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-visibility6// 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_INCLUDE7// 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_28 9// Trigger import of definitions, but don't make them visible.10#include "empty.h"11#ifdef EARLY_INDIRECT_INCLUDE12#include "indirect.h"13// expected-warning@defs.h:28 3{{anonymous non-C-compatible type}}14// expected-note@defs.h:28 6{{type is}}15#endif16 17A pre_a;18// expected-error-re@-1 {{missing '#include "{{.*}}-defs.h"'; 'A' must be declared}}19// expected-note@defs.h:1 +{{here}}20extern class A pre_a2;21int pre_use_a = use_a(pre_a2); // expected-error 2{{'A' must be defined}} expected-error {{'use_a' must be declared}}22// expected-note@defs.h:2 +{{here}}23 24B::Inner2 pre_bi; // expected-error +{{must be declared}} expected-error +{{must be defined}}25// expected-note@defs.h:4 +{{here}}26// expected-note@defs.h:17 +{{here}}27void pre_bfi(B b) { // expected-error +{{must be declared}}28 b.f<int>();29}30 31C_Base<1> pre_cb1; // expected-error +{{must be declared}} expected-error +{{must be defined}}32// expected-note@defs.h:23 +{{here}}33C1 pre_c1; // expected-error +{{must be declared}}34// expected-note@defs.h:25 +{{here}}35C2 pre_c2; // expected-error +{{must be declared}}36// expected-note@defs.h:26 +{{here}}37 38D::X pre_dx; // expected-error +{{must be declared}} expected-error +{{must be defined}}39// expected-note@defs.h:28 +{{here}}40// expected-note@defs.h:29 +{{here}}41int pre_use_dx = use_dx(pre_dx); // ignored; pre_dx is invalid42 43int pre_e = E(0); // expected-error {{must be declared}}44// expected-note@defs.h:32 +{{here}}45 46int pre_ff = F<int>().f(); // expected-error +{{must be declared}}47int pre_fg = F<int>().g<int>(); // expected-error +{{must be declared}}48// expected-note@defs.h:34 +{{here}}49 50G::A pre_ga // expected-error +{{must be declared}}51 = G::a; // expected-error +{{must be declared}}52// expected-note@defs.h:50 +{{here}}53decltype(G::h) pre_gh = G::h; // expected-error +{{must be declared}} expected-error +{{must be defined}}54// expected-note@defs.h:51 +{{here}}55 56int pre_h = H(); // expected-error +{{must be declared}}57// expected-note@defs.h:56 +{{here}}58using pre_i = I<>; // expected-error +{{must be declared}} expected-error +{{default argument of 'I' must be defined}}59// expected-note@defs.h:57 +{{here}}60 61J<> pre_j; // expected-error {{'J' must be declared}}62// expected-error-re@-1 {{missing '#include "{{.*}}.h"'; default argument of 'J' must be defined before it is used}}63// expected-note@defs.h:58 +{{here}}64 65ScopedEnum pre_scopedenum; // expected-error {{must be declared}}66// expected-note@defs.h:105 0-1{{here}}67// expected-note@defs.h:106 0-1{{here}}68enum ScopedEnum : int;69ScopedEnum pre_scopedenum_declared; // ok70 71// Make definitions from second module visible.72#ifdef TEXTUAL73#include "import-and-redefine.h"74#elif defined IMPORT_USE_275#include "use-defs-2.h"76#else77#include "merged-defs.h"78#endif79 80A post_a;81int post_use_a = use_a(post_a);82B::Inner2 post_bi;83void post_bfi(B b) {84 b.f<int>();85}86C_Base<1> post_cb1;87C1 c1;88C2 c2;89D::X post_dx;90int post_use_dx = use_dx(post_dx);91int post_e = E(0);92int post_ff = F<char>().f();93int post_fg = F<char>().g<int>();94G::A post_ga = G::a;95decltype(G::h) post_gh = G::h;96int post_h = H();97using post_i = I<>;98J<> post_j;99template<typename T, int N, template<typename> class K> struct J;100J<> post_j2;101FriendDefArg::Y<int> friend_def_arg;102FriendDefArg::D<> friend_def_arg_d;103int post_anon_x_n = Anon::X().n;104 105MergeFunctionTemplateSpecializations::X<int>::Q<char> xiqc;106 107#ifdef TEXTUAL108#include "use-defs.h"109void use_static_inline() { StaticInline::g({}); }110#ifdef EARLY_INDIRECT_INCLUDE111// expected-warning@-2 {{ambiguous use of internal linkage declaration 'g' defined in multiple modules}}112// expected-note@defs.h:71 {{declared here in module 'redef'}}113// expected-note@defs.h:71 {{declared here in module 'stuff.use'}}114#endif115int use_anon_enum = G::g;116#ifdef EARLY_INDIRECT_INCLUDE117// expected-warning@-2 3{{ambiguous use of internal linkage declaration 'g' defined in multiple modules}}118// FIXME: These notes are produced, but -verify can't match them?119// FIXME-note@defs.h:51 3{{declared here in module 'redef'}}120// FIXME-note@defs.h:51 3{{declared here in module 'stuff.use'}}121#endif122int use_named_enum = G::i;123#endif124