maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[Concepts] Profile TypeConstraints in ProfileTemplateParameterList 

Profile TypeConstraints in ProfileTemplateParameterList so we can distinguish
between partial specializations which differ in their TemplateParameterList
type constraints
This commit is contained in:
Saar Raz 2020-01-23 09:47:55 +02:00
parent 1db1b8b8b3
commit 0e3ae353a4
2 changed files with 26 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/AST/DeclTemplate.cpp
View File

@ -488,7 +488,15 @@ static void ProfileTemplateParameterList(ASTContext &C,
if (const auto *TTP = dyn_cast<TemplateTypeParmDecl>(D)) {
ID.AddInteger(1);
ID.AddBoolean(TTP->isParameterPack());
// TODO: Concepts: profile type-constraints.
ID.AddBoolean(TTP->hasTypeConstraint());
if (const TypeConstraint *TC = TTP->getTypeConstraint()) {
ID.AddPointer(TC->getNamedConcept()->getCanonicalDecl());
ID.AddBoolean(TC->hasExplicitTemplateArgs());
if (TC->hasExplicitTemplateArgs()) {
for (const auto &Arg : TC->getTemplateArgsAsWritten()->arguments())
Arg.getArgument().Profile(ID, C);
}
}
continue;
}
const auto *TTP = cast<TemplateTemplateParmDecl>(D);

17
clang/test/CXX/temp/temp.constr/temp.constr.constr/partial-specializations.cpp
View File

@ -31,6 +31,23 @@ namespace class_templates
// expected-note@-2{{during template argument deduction for class template partial specialization 'B<T *>' [with T = int *]}}
// expected-note@-3{{during template argument deduction for class template partial specialization 'B<T **>' [with T = int]}}
// expected-note@-4 2{{in instantiation of template class 'class_templates::B<int **>' requested here}}
template<typename T, typename U = double>
concept same_as = is_same<T, U>::value;
template<same_as<bool> T> requires A<T>::type
struct B<T*> {};
// expected-note@-1{{previous}}
template<same_as<bool> T> requires A<T>::type
struct B<T*> {};
// expected-error@-1{{redefinition}}
template<same_as T> requires A<T>::type
struct B<T*> {};
template<same_as<int> T> requires A<T>::type
struct B<T*> {};
}
namespace variable_templates