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

Fix PR9902: correctly substitute alias templates within the template in which they are defined: provide an empty list of arguments for each containing template context during substitution. 

llvm-svn: 131211
This commit is contained in:
Richard Smith 2011-05-12 00:06:17 +00:00
parent 81683ed232
commit 5e96d8328d
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
clang/lib/Sema/SemaTemplate.cpp
View File

@ -1855,6 +1855,9 @@ QualType Sema::CheckTemplateIdType(TemplateName Name,
// Only substitute for the innermost template argument list.
MultiLevelTemplateArgumentList TemplateArgLists;
unsigned Depth = AliasTemplate->getTemplateParameters()->getDepth();
for (unsigned I = 0; I < Depth; ++I)
TemplateArgLists.addOuterTemplateArguments(0, 0);
TemplateArgLists.addOuterTemplateArguments(&TemplateArgs);
InstantiatingTemplate Inst(*this, TemplateLoc, Template);

28
clang/test/SemaCXX/PR9902.cpp Normal file
View File

@ -0,0 +1,28 @@
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++0x %s
template <class _Tp, class _Up, bool = false>
struct __allocator_traits_rebind
{
};
template <template <class, class...> class _Alloc, class _Tp, class ..._Args,
class _Up>
struct __allocator_traits_rebind<_Alloc<_Tp, _Args...>, _Up, false>
{
typedef _Alloc<_Up, _Args...> type;
};
template <class Alloc>
struct allocator_traits
{
template <class T> using rebind_alloc = typename __allocator_traits_rebind<Alloc, T>::type;
template <class T> using rebind_traits = allocator_traits<rebind_alloc<T>>;
};
template <class T>
struct allocator {};
int main()
{
allocator_traits<allocator<char>>::rebind_alloc<int> a;
}