// RUN: rm -rf %t // RUN: not %clang_cc1 -x objective-c++ -fmodules -fmodules-cache-path=%t -I %S/Inputs %s -std=c++11 -ast-dump -ast-dump-lookups | FileCheck %s --check-prefix=CHECK-GLOBAL // RUN: not %clang_cc1 -x objective-c++ -fmodules -fmodules-cache-path=%t -I %S/Inputs %s -std=c++11 -ast-dump -ast-dump-lookups -ast-dump-filter N | FileCheck %s --check-prefix=CHECK-NAMESPACE-N // RUN: %clang_cc1 -x objective-c++ -fmodules -fmodules-cache-path=%t -I %S/Inputs %s -verify -std=c++11 @import cxx_templates_a; @import cxx_templates_b; template<typename, char> struct Tmpl_T_C {}; template<typename, int, int> struct Tmpl_T_I_I {}; template<typename A, typename B, A> struct Tmpl_T_T_A {}; template<typename A, typename B, B> struct Tmpl_T_T_B {}; void g() { f(0); f<double>(1.0); f<int>(); f(); // expected-error {{no matching function}} // expected-note@Inputs/cxx-templates-b.h:3 {{couldn't infer template argument}} // expected-note@Inputs/cxx-templates-b.h:4 {{requires single argument}} N::f(0); N::f<double>(1.0); N::f<int>(); N::f(); // expected-error {{no matching function}} // expected-note@Inputs/cxx-templates-b.h:6 {{couldn't infer template argument}} // expected-note@Inputs/cxx-templates-b.h:7 {{requires single argument 't'}} template_param_kinds_1<0>(); // ok, from cxx-templates-a.h template_param_kinds_1<int>(); // ok, from cxx-templates-b.h template_param_kinds_2<Tmpl_T_C>(); // expected-error {{no matching function}} // expected-note@Inputs/cxx-templates-a.h:11 {{invalid explicitly-specified argument}} // expected-note@Inputs/cxx-templates-b.h:11 {{invalid explicitly-specified argument}} template_param_kinds_2<Tmpl_T_I_I>(); // expected-error {{ambiguous}} // expected-note@Inputs/cxx-templates-a.h:11 {{candidate}} // expected-note@Inputs/cxx-templates-b.h:11 {{candidate}} // FIXME: This should be valid, but we incorrectly match the template template // argument against both template template parameters. template_param_kinds_3<Tmpl_T_T_A>(); // expected-error {{ambiguous}} // expected-note@Inputs/cxx-templates-a.h:12 {{candidate}} // expected-note@Inputs/cxx-templates-b.h:12 {{candidate}} template_param_kinds_3<Tmpl_T_T_B>(); // expected-error {{ambiguous}} // expected-note@Inputs/cxx-templates-a.h:12 {{candidate}} // expected-note@Inputs/cxx-templates-b.h:12 {{candidate}} // Trigger the instantiation of a template in 'a' that uses a type defined in // 'common'. That type is not visible here. PerformDelayedLookup(defined_in_common); // Likewise, but via a default argument. PerformDelayedLookupInDefaultArgument(defined_in_common); // Trigger the instantiation of a template in 'b' that uses a type defined in // 'b_impl'. That type is not visible here. UseDefinedInBImpl<int>(); // Trigger the instantiation of a template in 'a' that uses a type defined in // 'b_impl', via a template defined in 'b'. Since the type is visible from // within 'b', the instantiation succeeds. UseDefinedInBImplIndirectly(defined_in_b_impl); // Trigger the instantiation of a template in 'a' that uses a type defined in // 'b_impl'. That type is not visible here, nor in 'a'. This fails; there is // no reason why DefinedInBImpl should be visible here. // expected-error@Inputs/cxx-templates-a.h:19 {{definition of 'DefinedInBImpl' must be imported}} // expected-note@Inputs/cxx-templates-b-impl.h:1 {{definition is here}} PerformDelayedLookup(defined_in_b_impl); // expected-note {{in instantiation of}} } RedeclaredAsFriend<int> raf1; RedeclareTemplateAsFriend<double> rtaf; RedeclaredAsFriend<double> raf2; @import cxx_templates_common; typedef SomeTemplate<int*> SomeTemplateIntPtr; typedef SomeTemplate<int&> SomeTemplateIntRef; SomeTemplate<char*> some_template_char_ptr; SomeTemplate<char&> some_template_char_ref; // FIXME: There should only be two 'f's here. // CHECK-GLOBAL: DeclarationName 'f' // CHECK-GLOBAL-NEXT: |-FunctionTemplate {{.*}} 'f' // CHECK-GLOBAL-NEXT: |-FunctionTemplate {{.*}} 'f' // CHECK-GLOBAL-NEXT: |-FunctionTemplate {{.*}} 'f' // CHECK-GLOBAL-NEXT: `-FunctionTemplate {{.*}} 'f' // CHECK-NAMESPACE-N: DeclarationName 'f' // CHECK-NAMESPACE-N-NEXT: |-FunctionTemplate {{.*}} 'f' // CHECK-NAMESPACE-N-NEXT: `-FunctionTemplate {{.*}} 'f'