forked from OSchip/llvm-project
171 lines
7.8 KiB
C++
171 lines
7.8 KiB
C++
// RUN: rm -rf %t
|
|
// RUN: not %clang_cc1 -x objective-c++ -fmodules -fno-modules-error-recovery -fmodules-cache-path=%t -I %S/Inputs %s -std=c++11 -ast-dump-lookups | FileCheck %s --check-prefix=CHECK-GLOBAL
|
|
// RUN: not %clang_cc1 -x objective-c++ -fmodules -fno-modules-error-recovery -fmodules-cache-path=%t -I %S/Inputs %s -std=c++11 -ast-dump-lookups -ast-dump-filter N | FileCheck %s --check-prefix=CHECK-NAMESPACE-N
|
|
// RUN: not %clang_cc1 -x objective-c++ -fmodules -fno-modules-error-recovery -fmodules-cache-path=%t -I %S/Inputs %s -std=c++11 -ast-dump | FileCheck %s --check-prefix=CHECK-DUMP
|
|
// RUN: %clang_cc1 -x objective-c++ -fmodules -fno-modules-error-recovery -fmodules-cache-path=%t -I %S/Inputs %s -verify -std=c++11
|
|
|
|
@import cxx_templates_a;
|
|
@import cxx_templates_b;
|
|
@import cxx_templates_c;
|
|
@import cxx_templates_common;
|
|
|
|
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 {};
|
|
|
|
template<int> struct UseInt {};
|
|
|
|
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}}
|
|
|
|
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.
|
|
//
|
|
// We turn off error recovery for modules in this test (so we don't get an
|
|
// implicit import of cxx_templates_b_impl), and that results in us producing
|
|
// a big spew of errors 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}}
|
|
// expected-error@Inputs/cxx-templates-a.h:19 +{{}}
|
|
// expected-error@Inputs/cxx-templates-a.h:20 +{{}}
|
|
PerformDelayedLookup(defined_in_b_impl); // expected-note {{in instantiation of}}
|
|
|
|
merge_templates_a = merge_templates_b; // ok, same type
|
|
|
|
using T = decltype(enum_a_from_a);
|
|
using T = decltype(enum_b_from_b);
|
|
T e = true ? enum_a_from_a : enum_b_from_b;
|
|
|
|
UseRedeclaredEnum<int>(UseInt<1>());
|
|
// FIXME: Reintroduce this once we merge function template specializations.
|
|
//static_assert(UseRedeclaredEnumA == UseRedeclaredEnumB, "");
|
|
//static_assert(UseRedeclaredEnumA == UseRedeclaredEnum<int>, "");
|
|
//static_assert(UseRedeclaredEnumB == UseRedeclaredEnum<int>, "");
|
|
static_assert(enum_c_from_a == enum_c_from_b, "");
|
|
CommonTemplate<int> cti;
|
|
CommonTemplate<int>::E eee = CommonTemplate<int>::c;
|
|
|
|
TemplateInstantiationVisibility<char[1]> tiv1;
|
|
TemplateInstantiationVisibility<char[2]> tiv2;
|
|
TemplateInstantiationVisibility<char[3]> tiv3; // expected-error {{must be imported from module 'cxx_templates_b_impl'}}
|
|
// expected-note@cxx-templates-b-impl.h:10 {{previous definition is here}}
|
|
TemplateInstantiationVisibility<char[4]> tiv4;
|
|
|
|
int &p = WithPartialSpecializationUse().f();
|
|
int &q = WithExplicitSpecializationUse().inner_template<int>();
|
|
int *r = PartiallyInstantiatePartialSpec<int*>::bar();
|
|
|
|
(void)&WithImplicitSpecialMembers<int>::n;
|
|
}
|
|
|
|
static_assert(Outer<int>::Inner<int>::f() == 1, "");
|
|
static_assert(Outer<int>::Inner<int>::g() == 2, "");
|
|
|
|
static_assert(MergeTemplateDefinitions<int>::f() == 1, "");
|
|
static_assert(MergeTemplateDefinitions<int>::g() == 2, "");
|
|
|
|
RedeclaredAsFriend<int> raf1;
|
|
RedeclareTemplateAsFriend<double> rtaf;
|
|
RedeclaredAsFriend<double> raf2;
|
|
|
|
MergeSpecializations<int*>::partially_specialized_in_a spec_in_a_1;
|
|
MergeSpecializations<int&>::partially_specialized_in_b spec_in_b_1;
|
|
MergeSpecializations<int[]>::partially_specialized_in_c spec_in_c_1;
|
|
MergeSpecializations<char>::explicitly_specialized_in_a spec_in_a_2;
|
|
MergeSpecializations<double>::explicitly_specialized_in_b spec_in_b_2;
|
|
MergeSpecializations<bool>::explicitly_specialized_in_c spec_in_c_2;
|
|
|
|
@import cxx_templates_common;
|
|
|
|
typedef SomeTemplate<int*> SomeTemplateIntPtr;
|
|
typedef SomeTemplate<int&> SomeTemplateIntRef;
|
|
SomeTemplate<char*> some_template_char_ptr;
|
|
SomeTemplate<char&> some_template_char_ref;
|
|
|
|
void testImplicitSpecialMembers(SomeTemplate<char[1]> &a,
|
|
const SomeTemplate<char[1]> &b,
|
|
SomeTemplate<char[2]> &c,
|
|
const SomeTemplate<char[2]> &d) {
|
|
a = b;
|
|
c = d;
|
|
}
|
|
|
|
bool testFriendInClassTemplate(Std::WithFriend<int> wfi) {
|
|
return wfi != wfi;
|
|
}
|
|
|
|
namespace Std {
|
|
void g(); // expected-error {{functions that differ only in their return type cannot be overloaded}}
|
|
// expected-note@cxx-templates-common.h:21 {{previous}}
|
|
}
|
|
|
|
// CHECK-GLOBAL: DeclarationName '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'
|
|
|
|
// CHECK-DUMP: ClassTemplateDecl {{.*}} <{{.*[/\\]}}cxx-templates-common.h:1:1, {{.*}}> col:{{.*}} in cxx_templates_common SomeTemplate
|
|
// CHECK-DUMP: ClassTemplateSpecializationDecl {{.*}} prev [[CHAR2:[^ ]*]] {{.*}} SomeTemplate
|
|
// CHECK-DUMP-NEXT: TemplateArgument type 'char [2]'
|
|
// CHECK-DUMP: ClassTemplateSpecializationDecl [[CHAR2]] {{.*}} SomeTemplate definition
|
|
// CHECK-DUMP-NEXT: TemplateArgument type 'char [2]'
|
|
// CHECK-DUMP: ClassTemplateSpecializationDecl {{.*}} prev [[CHAR1:[^ ]*]] {{.*}} SomeTemplate
|
|
// CHECK-DUMP-NEXT: TemplateArgument type 'char [1]'
|
|
// CHECK-DUMP: ClassTemplateSpecializationDecl [[CHAR1]] {{.*}} SomeTemplate definition
|
|
// CHECK-DUMP-NEXT: TemplateArgument type 'char [1]'
|