replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Handle dependent class template names in class template argument 

deduction for new-expressions.

llvm-svn: 343293
This commit is contained in:
Richard Smith 2018-09-28 03:18:53 +00:00
parent 2fc9c3b05f
commit cff420120f
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/Sema/SemaInit.cpp
View File

@ -9155,8 +9155,11 @@ QualType Sema::DeduceTemplateSpecializationFromInitializer(
TSInfo->getType()->getContainedDeducedType()); TSInfo->getType()->getContainedDeducedType());
assert(DeducedTST && "not a deduced template specialization type"); assert(DeducedTST && "not a deduced template specialization type");
// We can only perform deduction for class templates.
auto TemplateName = DeducedTST->getTemplateName(); auto TemplateName = DeducedTST->getTemplateName();
if (TemplateName.isDependent())
return Context.DependentTy;
// We can only perform deduction for class templates.
auto *Template = auto *Template =
dyn_cast_or_null<ClassTemplateDecl>(TemplateName.getAsTemplateDecl()); dyn_cast_or_null<ClassTemplateDecl>(TemplateName.getAsTemplateDecl());
if (!Template) { if (!Template) {

7
clang/test/SemaCXX/cxx1z-class-template-argument-deduction.cpp
View File

@ -307,6 +307,13 @@ namespace dependent {
template int Var(int); template int Var(int);
template int Cast(int); template int Cast(int);
template int New(int); template int New(int);
template<template<typename> typename Y> void test() {
Y(0);
new Y(0);
Y y(0);
}
template void test<X>();
} }
namespace injected_class_name { namespace injected_class_name {