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

Diagnose the instantiation of variables (including static data 

members) with function type. Fixes PR8047.

llvm-svn: 113723
This commit is contained in:
Douglas Gregor 2010-09-12 07:37:24 +00:00
parent 6309e3d18e
commit 6162334ce0
3 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/include/clang/Basic/DiagnosticSemaKinds.td
View File

@ -1602,6 +1602,8 @@ def note_instantiation_contexts_suppressed : Note<
def err_field_instantiates_to_function : Error< def err_field_instantiates_to_function : Error<
"data member instantiated with function type %0">; "data member instantiated with function type %0">;
def err_variable_instantiates_to_function : Error<
"%select{variable|static data member}0 instantiated with function type %1">;
def err_nested_name_spec_non_tag : Error< def err_nested_name_spec_non_tag : Error<
"type %0 cannot be used prior to '::' because it has no members">; "type %0 cannot be used prior to '::' because it has no members">;

6
clang/lib/Sema/SemaTemplateInstantiateDecl.cpp
View File

@ -349,6 +349,12 @@ Decl *TemplateDeclInstantiator::VisitVarDecl(VarDecl *D) {
if (!DI) if (!DI)
return 0; return 0;
if (DI->getType()->isFunctionType()) {
SemaRef.Diag(D->getLocation(), diag::err_variable_instantiates_to_function)
<< D->isStaticDataMember() << DI->getType();
return 0;
}
// Build the instantiated declaration // Build the instantiated declaration
VarDecl *Var = VarDecl::Create(SemaRef.Context, Owner, VarDecl *Var = VarDecl::Create(SemaRef.Context, Owner,
D->getLocation(), D->getIdentifier(), D->getLocation(), D->getIdentifier(),

12
clang/test/CXX/temp/temp.arg/temp.arg.type/p2.cpp Normal file
View File

@ -0,0 +1,12 @@
// RUN: %clang_cc1 -fsyntax-only -verify %s
template<class T> struct A {
static T t; // expected-error{{static data member instantiated with function type 'int ()'}}
};
typedef int function();
A<function> a; // expected-note{{instantiation of}}
template<typename T> struct B {
B() { T t; } // expected-error{{variable instantiated with function type 'int ()'}}
};
B<function> b; // expected-note{{instantiation of}}