diff options
| author | Douglas Gregor <dgregor@apple.com> | 2009-10-15 14:05:49 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2009-10-15 14:05:49 +0000 |
| commit | e2d3a3de71b2fa35614cb732a6da95a41fa38ad9 (patch) | |
| tree | f59f0a8f3395319bf7cf5e2e065bc4e71ac8cc76 /lib/Sema/SemaTemplate.cpp | |
| parent | bf7643e7966cd9acd797a84870018034112e49d3 (diff) | |
Diagnose explicit instantiations of function templates and member
functions/static data members of class template specializations that
do not have definitions. This is the latter part of [temp.explicit]p4;
the former part still needs more testing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@84182 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplate.cpp')
| -rw-r--r-- | lib/Sema/SemaTemplate.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/Sema/SemaTemplate.cpp b/lib/Sema/SemaTemplate.cpp index 04580b70b8..aa0c034a55 100644 --- a/lib/Sema/SemaTemplate.cpp +++ b/lib/Sema/SemaTemplate.cpp @@ -3657,8 +3657,8 @@ Sema::ActOnExplicitInstantiation(Scope *S, CXXRecordDecl *Def = cast_or_null<CXXRecordDecl>(Pattern->getDefinition(Context)); if (!Def) { - Diag(TemplateLoc, diag::err_explicit_instantiation_undefined_member_class) - << Record->getDeclName() << Record->getDeclContext(); + Diag(TemplateLoc, diag::err_explicit_instantiation_undefined_member) + << 0 << Record->getDeclName() << Record->getDeclContext(); Diag(Pattern->getLocation(), diag::note_forward_declaration) << Pattern; return true; @@ -3787,7 +3787,8 @@ Sema::DeclResult Sema::ActOnExplicitInstantiation(Scope *S, // FIXME: Check for prior specializations and such. Prev->setTemplateSpecializationKind(TSK); if (TSK == TSK_ExplicitInstantiationDefinition) - InstantiateStaticDataMemberDefinition(D.getIdentifierLoc(), Prev, false); + InstantiateStaticDataMemberDefinition(D.getIdentifierLoc(), Prev, false, + /*DefinitionRequired=*/true); // FIXME: Create an ExplicitInstantiation node? return DeclPtrTy(); @@ -3887,7 +3888,7 @@ Sema::DeclResult Sema::ActOnExplicitInstantiation(Scope *S, // definition. if (TSK == TSK_ExplicitInstantiationDefinition) InstantiateFunctionDefinition(D.getIdentifierLoc(), Specialization, - false); + false, /*DefinitionRequired=*/true); Specialization->setTemplateSpecializationKind(TSK); break; |