<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Thu, Jan 29, 2015 at 6:35 PM, Nico Weber <span dir="ltr"><<a href="mailto:thakis@chromium.org" target="_blank">thakis@chromium.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class="">On Thu, Jan 29, 2015 at 5:51 PM, Nico Weber <span dir="ltr"><<a href="mailto:thakis@chromium.org" target="_blank">thakis@chromium.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span><div dir="ltr">r227540, thanks. I'll look through MatchTemplateParametersToScopeSpecifier() for places that need to set Invalid.<br></div></span></blockquote><div><br></div></span><div>I think it's all good. All but one of the `return nullptr`s call CheckExplicitSpecialization() (maybe through DiagnoseMissingExplicitSpecialization()), and that sets Invalid to true.</div></div></div></div></blockquote><div><br></div><div>So it does, thanks!</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div class="h5"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div class="gmail_extra"><div class="gmail_quote"><span>On Thu, Jan 29, 2015 at 4:24 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard@metafoo.co.uk" target="_blank">richard@metafoo.co.uk</a>></span> wrote:<br></span><div><div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr">It looks like there are paths through MatchTemplateParametersToScopeSpecifier that return nullptr on invalid inputs but don't set Invalid to true; I don't think this patch is sufficient, though it does seem correct as far as it goes.</div><div><div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Jan 28, 2015 at 8:14 PM, Nico Weber <span dir="ltr"><<a href="mailto:thakis@chromium.org" target="_blank">thakis@chromium.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><div>On Wed, Apr 16, 2014 at 8:29 PM, Richard Smith <span dir="ltr"><<a href="mailto:richard-llvm@metafoo.co.uk" target="_blank">richard-llvm@metafoo.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Author: rsmith<br>
Date: Wed Apr 16 22:29:33 2014<br>
New Revision: 206442<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=206442&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=206442&view=rev</a><br>
Log:<br>
Refactor all the checking for missing 'template<>'s when a declaration has a<br>
template-id after its scope specifier into a single place.<br>
<br>
Modified:<br>
cfe/trunk/include/clang/Sema/Sema.h<br>
cfe/trunk/lib/Parse/ParseDeclCXX.cpp<br>
cfe/trunk/lib/Sema/SemaDecl.cpp<br>
cfe/trunk/lib/Sema/SemaDeclCXX.cpp<br>
cfe/trunk/lib/Sema/SemaTemplate.cpp<br>
cfe/trunk/test/FixIt/fixit.cpp<br>
<br>
Modified: cfe/trunk/include/clang/Sema/Sema.h<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Sema/Sema.h?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/include/clang/Sema/Sema.h (original)<br>
+++ cfe/trunk/include/clang/Sema/Sema.h Wed Apr 16 22:29:33 2014<br>
@@ -5197,7 +5197,8 @@ public:<br>
TemplateParamListContext TPC);<br>
TemplateParameterList *MatchTemplateParametersToScopeSpecifier(<br>
SourceLocation DeclStartLoc, SourceLocation DeclLoc,<br>
- const CXXScopeSpec &SS, ArrayRef<TemplateParameterList *> ParamLists,<br>
+ const CXXScopeSpec &SS, TemplateIdAnnotation *TemplateId,<br>
+ ArrayRef<TemplateParameterList *> ParamLists,<br>
bool IsFriend, bool &IsExplicitSpecialization, bool &Invalid);<br>
<br>
DeclResult CheckClassTemplate(Scope *S, unsigned TagSpec, TagUseKind TUK,<br>
@@ -5279,12 +5280,7 @@ public:<br>
ActOnClassTemplateSpecialization(Scope *S, unsigned TagSpec, TagUseKind TUK,<br>
SourceLocation KWLoc,<br>
SourceLocation ModulePrivateLoc,<br>
- CXXScopeSpec &SS,<br>
- TemplateTy Template,<br>
- SourceLocation TemplateNameLoc,<br>
- SourceLocation LAngleLoc,<br>
- ASTTemplateArgsPtr TemplateArgs,<br>
- SourceLocation RAngleLoc,<br>
+ TemplateIdAnnotation &TemplateId,<br>
AttributeList *Attr,<br>
MultiTemplateParamsArg TemplateParameterLists);<br>
<br>
<br>
Modified: cfe/trunk/lib/Parse/ParseDeclCXX.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseDeclCXX.cpp?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Parse/ParseDeclCXX.cpp?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/lib/Parse/ParseDeclCXX.cpp (original)<br>
+++ cfe/trunk/lib/Parse/ParseDeclCXX.cpp Wed Apr 16 22:29:33 2014<br>
@@ -1541,18 +1541,11 @@ void Parser::ParseClassSpecifier(tok::To<br>
}<br>
<br>
// Build the class template specialization.<br>
- TagOrTempResult<br>
- = Actions.ActOnClassTemplateSpecialization(getCurScope(), TagType, TUK,<br>
- StartLoc, DS.getModulePrivateSpecLoc(), SS,<br>
- TemplateId->Template,<br>
- TemplateId->TemplateNameLoc,<br>
- TemplateId->LAngleLoc,<br>
- TemplateArgsPtr,<br>
- TemplateId->RAngleLoc,<br>
- attrs.getList(),<br>
- MultiTemplateParamsArg(<br>
- TemplateParams? &(*TemplateParams)[0] : 0,<br>
- TemplateParams? TemplateParams->size() : 0));<br>
+ TagOrTempResult = Actions.ActOnClassTemplateSpecialization(<br>
+ getCurScope(), TagType, TUK, StartLoc, DS.getModulePrivateSpecLoc(),<br>
+ *TemplateId, attrs.getList(),<br>
+ MultiTemplateParamsArg(TemplateParams ? &(*TemplateParams)[0] : 0,<br>
+ TemplateParams ? TemplateParams->size() : 0));<br>
}<br>
} else if (TemplateInfo.Kind == ParsedTemplateInfo::ExplicitInstantiation &&<br>
TUK == Sema::TUK_Declaration) {<br>
<br>
Modified: cfe/trunk/lib/Sema/SemaDecl.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDecl.cpp?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDecl.cpp?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/lib/Sema/SemaDecl.cpp (original)<br>
+++ cfe/trunk/lib/Sema/SemaDecl.cpp Wed Apr 16 22:29:33 2014<br>
@@ -5228,29 +5228,13 @@ Sema::ActOnVariableDeclarator(Scope *S,<br>
// determine whether we have a template or a template specialization.<br>
TemplateParams = MatchTemplateParametersToScopeSpecifier(<br>
D.getDeclSpec().getLocStart(), D.getIdentifierLoc(),<br>
- D.getCXXScopeSpec(), TemplateParamLists,<br>
+ D.getCXXScopeSpec(),<br>
+ D.getName().getKind() == UnqualifiedId::IK_TemplateId<br>
+ ? D.getName().TemplateId<br>
+ : 0,<br>
+ TemplateParamLists,<br>
/*never a friend*/ false, IsExplicitSpecialization, Invalid);<br>
<br>
- if (D.getName().getKind() == UnqualifiedId::IK_TemplateId &&<br>
- !TemplateParams) {<br>
- TemplateIdAnnotation *TemplateId = D.getName().TemplateId;<br>
-<br>
- // We have encountered something that the user meant to be a<br>
- // specialization (because it has explicitly-specified template<br>
- // arguments) but that was not introduced with a "template<>" (or had<br>
- // too few of them).<br>
- // FIXME: Differentiate between attempts for explicit instantiations<br>
- // (starting with "template") and the rest.<br>
- Diag(D.getIdentifierLoc(), diag::err_template_spec_needs_header)<br>
- << SourceRange(TemplateId->LAngleLoc, TemplateId->RAngleLoc)<br>
- << FixItHint::CreateInsertion(D.getDeclSpec().getLocStart(),<br>
- "template<> ");<br>
- IsExplicitSpecialization = true;<br>
- TemplateParams = TemplateParameterList::Create(Context, SourceLocation(),<br>
- SourceLocation(), 0, 0,<br>
- SourceLocation());<br>
- }<br>
-<br>
if (TemplateParams) {<br>
if (!TemplateParams->size() &&<br>
D.getName().getKind() != UnqualifiedId::IK_TemplateId) {<br>
@@ -5283,6 +5267,9 @@ Sema::ActOnVariableDeclarator(Scope *S,<br>
: diag::ext_variable_template);<br>
}<br>
}<br>
+ } else {<br>
+ assert(D.getName().getKind() != UnqualifiedId::IK_TemplateId &&<br>
+ "should have a 'template<>' for this decl");<br></blockquote><div><br></div></div></div><div>This assert fires on some invalid inputs, for example</div><div><br></div><div><div> template <typename> struct CT2 {</div><div> template <class U> struct X;</div><div> };</div><div> template <typename T> int CT2<int>::X<>;</div></div><div><br></div><div>Is the right fix just to change this to assert(Invalid || D.getName…)? (Also attached in patch form.)</div><div><div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
}<br>
<br>
if (IsVariableTemplateSpecialization) {<br>
@@ -6709,8 +6696,12 @@ Sema::ActOnFunctionDeclarator(Scope *S,<br>
if (TemplateParameterList *TemplateParams =<br>
MatchTemplateParametersToScopeSpecifier(<br>
D.getDeclSpec().getLocStart(), D.getIdentifierLoc(),<br>
- D.getCXXScopeSpec(), TemplateParamLists, isFriend,<br>
- isExplicitSpecialization, Invalid)) {<br>
+ D.getCXXScopeSpec(),<br>
+ D.getName().getKind() == UnqualifiedId::IK_TemplateId<br>
+ ? D.getName().TemplateId<br>
+ : 0,<br>
+ TemplateParamLists, isFriend, isExplicitSpecialization,<br>
+ Invalid)) {<br>
if (TemplateParams->size() > 0) {<br>
// This is a function template<br>
<br>
@@ -6751,9 +6742,10 @@ Sema::ActOnFunctionDeclarator(Scope *S,<br>
// This is a function template specialization.<br>
isFunctionTemplateSpecialization = true;<br>
// For source fidelity, store all the template param lists.<br>
- NewFD->setTemplateParameterListsInfo(Context,<br>
- TemplateParamLists.size(),<br>
- TemplateParamLists.data());<br>
+ if (TemplateParamLists.size() > 0)<br>
+ NewFD->setTemplateParameterListsInfo(Context,<br>
+ TemplateParamLists.size(),<br>
+ TemplateParamLists.data());<br>
<br>
// C++0x [temp.expl.spec]p20 forbids "template<> friend void foo(int);".<br>
if (isFriend) {<br>
@@ -7152,21 +7144,10 @@ Sema::ActOnFunctionDeclarator(Scope *S,<br>
<< SourceRange(TemplateId->LAngleLoc, TemplateId->RAngleLoc);<br>
<br>
HasExplicitTemplateArgs = false;<br>
- } else if (!isFunctionTemplateSpecialization &&<br>
- !D.getDeclSpec().isFriendSpecified()) {<br>
- // We have encountered something that the user meant to be a<br>
- // specialization (because it has explicitly-specified template<br>
- // arguments) but that was not introduced with a "template<>" (or had<br>
- // too few of them).<br>
- // FIXME: Differentiate between attempts for explicit instantiations<br>
- // (starting with "template") and the rest.<br>
- Diag(D.getIdentifierLoc(), diag::err_template_spec_needs_header)<br>
- << SourceRange(TemplateId->LAngleLoc, TemplateId->RAngleLoc)<br>
- << FixItHint::CreateInsertion(<br>
- D.getDeclSpec().getLocStart(),<br>
- "template<> ");<br>
- isFunctionTemplateSpecialization = true;<br>
} else {<br>
+ assert((isFunctionTemplateSpecialization ||<br>
+ D.getDeclSpec().isFriendSpecified()) &&<br>
+ "should have a 'template<>' for this decl");<br>
// "friend void foo<>(int);" is an implicit specialization decl.<br>
isFunctionTemplateSpecialization = true;<br>
}<br>
@@ -7178,7 +7159,7 @@ Sema::ActOnFunctionDeclarator(Scope *S,<br>
// friend void foo<>(int);<br>
// Go ahead and fake up a template id.<br>
HasExplicitTemplateArgs = true;<br>
- TemplateArgs.setLAngleLoc(D.getIdentifierLoc());<br>
+ TemplateArgs.setLAngleLoc(D.getIdentifierLoc());<br>
TemplateArgs.setRAngleLoc(D.getIdentifierLoc());<br>
}<br>
<br>
@@ -10569,8 +10550,8 @@ Decl *Sema::ActOnTag(Scope *S, unsigned<br>
(SS.isNotEmpty() && TUK != TUK_Reference)) {<br>
if (TemplateParameterList *TemplateParams =<br>
MatchTemplateParametersToScopeSpecifier(<br>
- KWLoc, NameLoc, SS, TemplateParameterLists, TUK == TUK_Friend,<br>
- isExplicitSpecialization, Invalid)) {<br>
+ KWLoc, NameLoc, SS, 0, TemplateParameterLists,<br>
+ TUK == TUK_Friend, isExplicitSpecialization, Invalid)) {<br>
if (Kind == TTK_Enum) {<br>
Diag(KWLoc, diag::err_enum_template);<br>
return 0;<br>
<br>
Modified: cfe/trunk/lib/Sema/SemaDeclCXX.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDeclCXX.cpp?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaDeclCXX.cpp?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/lib/Sema/SemaDeclCXX.cpp (original)<br>
+++ cfe/trunk/lib/Sema/SemaDeclCXX.cpp Wed Apr 16 22:29:33 2014<br>
@@ -11370,7 +11370,7 @@ Decl *Sema::ActOnTemplatedFriendTag(Scop<br>
<br>
if (TemplateParameterList *TemplateParams =<br>
MatchTemplateParametersToScopeSpecifier(<br>
- TagLoc, NameLoc, SS, TempParamLists, /*friend*/ true,<br>
+ TagLoc, NameLoc, SS, 0, TempParamLists, /*friend*/ true,<br>
isExplicitSpecialization, Invalid)) {<br>
if (TemplateParams->size() > 0) {<br>
// This is a declaration of a class template.<br>
<br>
Modified: cfe/trunk/lib/Sema/SemaTemplate.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaTemplate.cpp?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Sema/SemaTemplate.cpp?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/lib/Sema/SemaTemplate.cpp (original)<br>
+++ cfe/trunk/lib/Sema/SemaTemplate.cpp Wed Apr 16 22:29:33 2014<br>
@@ -1593,6 +1593,9 @@ static SourceRange getRangeOfTypeInNeste<br>
/// parameter lists. This scope specifier precedes a qualified name that is<br>
/// being declared.<br>
///<br>
+/// \param TemplateId The template-id following the scope specifier, if there<br>
+/// is one. Used to check for a missing 'template<>'.<br>
+///<br>
/// \param ParamLists the template parameter lists, from the outermost to the<br>
/// innermost template parameter lists.<br>
///<br>
@@ -1611,6 +1614,7 @@ static SourceRange getRangeOfTypeInNeste<br>
/// itself a template).<br>
TemplateParameterList *Sema::MatchTemplateParametersToScopeSpecifier(<br>
SourceLocation DeclStartLoc, SourceLocation DeclLoc, const CXXScopeSpec &SS,<br>
+ TemplateIdAnnotation *TemplateId,<br>
ArrayRef<TemplateParameterList *> ParamLists, bool IsFriend,<br>
bool &IsExplicitSpecialization, bool &Invalid) {<br>
IsExplicitSpecialization = false;<br>
@@ -1830,6 +1834,7 @@ TemplateParameterList *Sema::MatchTempla<br>
else<br>
ExpectedTemplateLoc = DeclStartLoc;<br>
<br>
+ // FIXME: Don't recover this way if we SawNonEmptyTemplateParameterList.<br>
Diag(DeclLoc, diag::err_template_spec_needs_header)<br>
<< getRangeOfTypeInNestedNameSpecifier(Context, T, SS)<br>
<< FixItHint::CreateInsertion(ExpectedTemplateLoc, "template<> ");<br>
@@ -1875,12 +1880,33 @@ TemplateParameterList *Sema::MatchTempla<br>
continue;<br>
}<br>
}<br>
-<br>
+<br>
// If there were at least as many template-ids as there were template<br>
// parameter lists, then there are no template parameter lists remaining for<br>
// the declaration itself.<br>
- if (ParamIdx >= ParamLists.size())<br>
+ if (ParamIdx >= ParamLists.size()) {<br>
+ if (TemplateId && !IsFriend) {<br>
+ // FIXME: Don't recover this way if we SawNonEmptyTemplateParameterList.<br>
+ // We don't have a template header for the declaration itself, but we<br>
+ // should.<br>
+ SourceLocation ExpectedTemplateLoc;<br>
+ if (!ParamLists.empty())<br>
+ ExpectedTemplateLoc = ParamLists[0]->getTemplateLoc();<br>
+ else<br>
+ ExpectedTemplateLoc = DeclStartLoc;<br>
+ Diag(DeclLoc, diag::err_template_spec_needs_header)<br>
+ << SourceRange(TemplateId->LAngleLoc, TemplateId->RAngleLoc)<br>
+ << FixItHint::CreateInsertion(ExpectedTemplateLoc, "template<> ");<br>
+ IsExplicitSpecialization = true;<br>
+<br>
+ // Fabricate an empty template parameter list for the invented header.<br>
+ return TemplateParameterList::Create(Context, SourceLocation(),<br>
+ SourceLocation(), 0, 0,<br>
+ SourceLocation());<br>
+ }<br>
+<br>
return 0;<br>
+ }<br>
<br>
// If there were too many template parameter lists, complain about that now.<br>
if (ParamIdx < ParamLists.size() - 1) {<br>
@@ -2355,6 +2381,17 @@ static bool isSameAsPrimaryTemplate(Temp<br>
return true;<br>
}<br>
<br>
+/// Convert the parser's template argument list representation into our form.<br>
+static TemplateArgumentListInfo<br>
+makeTemplateArgumentListInfo(Sema &S, TemplateIdAnnotation &TemplateId) {<br>
+ TemplateArgumentListInfo TemplateArgs(TemplateId.LAngleLoc,<br>
+ TemplateId.RAngleLoc);<br>
+ ASTTemplateArgsPtr TemplateArgsPtr(TemplateId.getTemplateArgs(),<br>
+ TemplateId.NumArgs);<br>
+ S.translateTemplateArguments(TemplateArgsPtr, TemplateArgs);<br>
+ return TemplateArgs;<br>
+}<br>
+<br>
DeclResult Sema::ActOnVarTemplateSpecialization(<br>
Scope *S, Declarator &D, TypeSourceInfo *DI, SourceLocation TemplateKWLoc,<br>
TemplateParameterList *TemplateParams, VarDecl::StorageClass SC,<br>
@@ -2364,13 +2401,12 @@ DeclResult Sema::ActOnVarTemplateSpecial<br>
"Variable template specialization is declared with a template it.");<br>
<br>
TemplateIdAnnotation *TemplateId = D.getName().TemplateId;<br>
+ TemplateArgumentListInfo TemplateArgs =<br>
+ makeTemplateArgumentListInfo(*this, *TemplateId);<br>
SourceLocation TemplateNameLoc = D.getIdentifierLoc();<br>
SourceLocation LAngleLoc = TemplateId->LAngleLoc;<br>
SourceLocation RAngleLoc = TemplateId->RAngleLoc;<br>
- ASTTemplateArgsPtr TemplateArgsPtr(TemplateId->getTemplateArgs(),<br>
- TemplateId->NumArgs);<br>
- TemplateArgumentListInfo TemplateArgs(LAngleLoc, RAngleLoc);<br>
- translateTemplateArguments(TemplateArgsPtr, TemplateArgs);<br>
+<br>
TemplateName Name = TemplateId->Template.get();<br>
<br>
// The template-id must name a variable template.<br>
@@ -5840,23 +5876,23 @@ Sema::ActOnClassTemplateSpecialization(S<br>
TagUseKind TUK,<br>
SourceLocation KWLoc,<br>
SourceLocation ModulePrivateLoc,<br>
- CXXScopeSpec &SS,<br>
- TemplateTy TemplateD,<br>
- SourceLocation TemplateNameLoc,<br>
- SourceLocation LAngleLoc,<br>
- ASTTemplateArgsPtr TemplateArgsIn,<br>
- SourceLocation RAngleLoc,<br>
+ TemplateIdAnnotation &TemplateId,<br>
AttributeList *Attr,<br>
MultiTemplateParamsArg TemplateParameterLists) {<br>
assert(TUK != TUK_Reference && "References are not specializations");<br>
<br>
+ CXXScopeSpec &SS = TemplateId.SS;<br>
+<br>
// NOTE: KWLoc is the location of the tag keyword. This will instead<br>
// store the location of the outermost template keyword in the declaration.<br>
SourceLocation TemplateKWLoc = TemplateParameterLists.size() > 0<br>
- ? TemplateParameterLists[0]->getTemplateLoc() : SourceLocation();<br>
+ ? TemplateParameterLists[0]->getTemplateLoc() : KWLoc;<br>
+ SourceLocation TemplateNameLoc = TemplateId.TemplateNameLoc;<br>
+ SourceLocation LAngleLoc = TemplateId.LAngleLoc;<br>
+ SourceLocation RAngleLoc = TemplateId.RAngleLoc;<br>
<br>
// Find the class template we're specializing<br>
- TemplateName Name = TemplateD.get();<br>
+ TemplateName Name = TemplateId.Template.get();<br>
ClassTemplateDecl *ClassTemplate<br>
= dyn_cast_or_null<ClassTemplateDecl>(Name.getAsTemplateDecl());<br>
<br>
@@ -5877,8 +5913,9 @@ Sema::ActOnClassTemplateSpecialization(S<br>
bool Invalid = false;<br>
TemplateParameterList *TemplateParams =<br>
MatchTemplateParametersToScopeSpecifier(<br>
- TemplateNameLoc, TemplateNameLoc, SS, TemplateParameterLists,<br>
- TUK == TUK_Friend, isExplicitSpecialization, Invalid);<br>
+ KWLoc, TemplateNameLoc, SS, &TemplateId,<br>
+ TemplateParameterLists, TUK == TUK_Friend, isExplicitSpecialization,<br>
+ Invalid);<br>
if (Invalid)<br>
return true;<br>
<br>
@@ -5929,11 +5966,8 @@ Sema::ActOnClassTemplateSpecialization(S<br>
<< SourceRange(LAngleLoc, RAngleLoc);<br>
else<br>
isExplicitSpecialization = true;<br>
- } else if (TUK != TUK_Friend) {<br>
- Diag(KWLoc, diag::err_template_spec_needs_header)<br>
- << FixItHint::CreateInsertion(KWLoc, "template<> ");<br>
- TemplateKWLoc = KWLoc;<br>
- isExplicitSpecialization = true;<br>
+ } else {<br>
+ assert(TUK == TUK_Friend && "should have a 'template<>' for this decl");<br>
}<br>
<br>
// Check that the specialization uses the same tag kind as the<br>
@@ -5953,10 +5987,8 @@ Sema::ActOnClassTemplateSpecialization(S<br>
}<br>
<br>
// Translate the parser's template argument list in our AST format.<br>
- TemplateArgumentListInfo TemplateArgs;<br>
- TemplateArgs.setLAngleLoc(LAngleLoc);<br>
- TemplateArgs.setRAngleLoc(RAngleLoc);<br>
- translateTemplateArguments(TemplateArgsIn, TemplateArgs);<br>
+ TemplateArgumentListInfo TemplateArgs =<br>
+ makeTemplateArgumentListInfo(*this, TemplateId);<br>
<br>
// Check for unexpanded parameter packs in any of the template arguments.<br>
for (unsigned I = 0, N = TemplateArgs.size(); I != N; ++I)<br>
@@ -7416,13 +7448,8 @@ DeclResult Sema::ActOnExplicitInstantiat<br>
}<br>
<br>
// Translate the parser's template argument list into our AST format.<br>
- TemplateArgumentListInfo TemplateArgs;<br>
- TemplateIdAnnotation *TemplateId = D.getName().TemplateId;<br>
- TemplateArgs.setLAngleLoc(TemplateId->LAngleLoc);<br>
- TemplateArgs.setRAngleLoc(TemplateId->RAngleLoc);<br>
- ASTTemplateArgsPtr TemplateArgsPtr(TemplateId->getTemplateArgs(),<br>
- TemplateId->NumArgs);<br>
- translateTemplateArguments(TemplateArgsPtr, TemplateArgs);<br>
+ TemplateArgumentListInfo TemplateArgs =<br>
+ makeTemplateArgumentListInfo(*this, *D.getName().TemplateId);<br>
<br>
DeclResult Res = CheckVarTemplateId(PrevTemplate, TemplateLoc,<br>
D.getIdentifierLoc(), TemplateArgs);<br>
@@ -7492,12 +7519,7 @@ DeclResult Sema::ActOnExplicitInstantiat<br>
bool HasExplicitTemplateArgs = false;<br>
TemplateArgumentListInfo TemplateArgs;<br>
if (D.getName().getKind() == UnqualifiedId::IK_TemplateId) {<br>
- TemplateIdAnnotation *TemplateId = D.getName().TemplateId;<br>
- TemplateArgs.setLAngleLoc(TemplateId->LAngleLoc);<br>
- TemplateArgs.setRAngleLoc(TemplateId->RAngleLoc);<br>
- ASTTemplateArgsPtr TemplateArgsPtr(TemplateId->getTemplateArgs(),<br>
- TemplateId->NumArgs);<br>
- translateTemplateArguments(TemplateArgsPtr, TemplateArgs);<br>
+ TemplateArgs = makeTemplateArgumentListInfo(*this, *D.getName().TemplateId);<br>
HasExplicitTemplateArgs = true;<br>
}<br>
<br>
<br>
Modified: cfe/trunk/test/FixIt/fixit.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/FixIt/fixit.cpp?rev=206442&r1=206441&r2=206442&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/FixIt/fixit.cpp?rev=206442&r1=206441&r2=206442&view=diff</a><br>
==============================================================================<br>
--- cfe/trunk/test/FixIt/fixit.cpp (original)<br>
+++ cfe/trunk/test/FixIt/fixit.cpp Wed Apr 16 22:29:33 2014<br>
@@ -19,7 +19,7 @@ virtual void C1::f() { } // expected-err<br>
<br>
static void C1::g() { } // expected-error{{'static' can only be specified inside the class definition}}<br>
<br>
-template<int Value> struct CT { }; // expected-note{{previous use is here}}<br>
+template<int Value> struct CT { template<typename> struct Inner; }; // expected-note{{previous use is here}}<br>
<br>
CT<10 >> 2> ct; // expected-warning{{require parentheses}}<br>
<br>
@@ -32,6 +32,8 @@ struct CT<0> { }; // expected-error{{'te<br>
<br>
template<> union CT<1> { }; // expected-error{{tag type}}<br>
<br>
+struct CT<2>::Inner<int> { }; // expected-error 2{{'template<>'}}<br>
+<br>
// Access declarations<br>
class A {<br>
protected:<br>
<br>
<br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</blockquote></div></div></div><br></div></div>
</blockquote></div><br></div>
</div></div></blockquote></div></div></div><br></div>
<br>_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu" target="_blank">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
<br></blockquote></div></div></div><br></div></div>
</blockquote></div><br></div></div>