This patch is just the easy part of the class names patch, which

allows the parsing of "class" in addition to "struct" and "union" to
declare a record.  So this patch allows:

 class C { };
 class C c1;

But it does not contain the lookup bits, so this won't work yet:

 C c2;

Patch by Doug Gregor!

llvm-svn: 49613
This commit is contained in:
Chris Lattner 2008-04-13 18:59:07 +00:00
parent 0a8a4c4a0c
commit 861a226586
7 changed files with 24 additions and 8 deletions

View File

@ -315,6 +315,7 @@ public:
bool isFunctionPointerType() const;
bool isArrayType() const;
bool isRecordType() const;
bool isClassType() const;
bool isStructureType() const;
bool isUnionType() const;
bool isComplexIntegerType() const; // GCC _Complex integer type.

View File

@ -73,6 +73,7 @@ public:
TST_enum,
TST_union,
TST_struct,
TST_class, // C++ class type
TST_typedef,
TST_typeofType,
TST_typeofExpr
@ -106,7 +107,7 @@ private:
/*TSW*/unsigned TypeSpecWidth : 2;
/*TSC*/unsigned TypeSpecComplex : 2;
/*TSS*/unsigned TypeSpecSign : 2;
/*TST*/unsigned TypeSpecType : 4;
/*TST*/unsigned TypeSpecType : 5;
// type-qualifiers
unsigned TypeQualifiers : 3; // Bitwise OR of TQ.

View File

@ -60,6 +60,12 @@ bool Type::isDerivedType() const {
}
}
bool Type::isClassType() const {
if (const RecordType *RT = dyn_cast<RecordType>(CanonicalType))
if (RT->getDecl()->getKind() == Decl::Class)
return true;
return false;
}
bool Type::isStructureType() const {
if (const RecordType *RT = dyn_cast<RecordType>(CanonicalType))
if (RT->getDecl()->getKind() == Decl::Struct)

View File

@ -95,6 +95,7 @@ const char *DeclSpec::getSpecifierName(DeclSpec::TST T) {
case DeclSpec::TST_decimal64: return "_Decimal64";
case DeclSpec::TST_decimal128: return "_Decimal128";
case DeclSpec::TST_enum: return "enum";
case DeclSpec::TST_class: return "class";
case DeclSpec::TST_union: return "union";
case DeclSpec::TST_struct: return "struct";
case DeclSpec::TST_typedef: return "typedef";

View File

@ -515,7 +515,8 @@ void Parser::ParseDeclarationSpecifiers(DeclSpec &DS) {
case tok::kw__Decimal128:
isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal128, Loc, PrevSpec);
break;
case tok::kw_class:
case tok::kw_struct:
case tok::kw_union:
ParseStructUnionSpecifier(DS);
@ -620,9 +621,12 @@ bool Parser::ParseTag(DeclTy *&Decl, unsigned TagType, SourceLocation StartLoc){
/// 'union'
///
void Parser::ParseStructUnionSpecifier(DeclSpec &DS) {
assert((Tok.is(tok::kw_struct) || Tok.is(tok::kw_union)) &&
"Not a struct/union specifier");
assert((Tok.is(tok::kw_class) ||
Tok.is(tok::kw_struct) ||
Tok.is(tok::kw_union)) &&
"Not a class/struct/union specifier");
DeclSpec::TST TagType =
Tok.is(tok::kw_class) ? DeclSpec::TST_class :
Tok.is(tok::kw_union) ? DeclSpec::TST_union : DeclSpec::TST_struct;
SourceLocation StartLoc = ConsumeToken();
@ -923,7 +927,8 @@ bool Parser::isTypeSpecifierQualifier() const {
case tok::kw__Decimal64:
case tok::kw__Decimal128:
// struct-or-union-specifier
// struct-or-union-specifier (C99) or class-specifier (C++)
case tok::kw_class:
case tok::kw_struct:
case tok::kw_union:
// enum-specifier
@ -973,7 +978,8 @@ bool Parser::isDeclarationSpecifier() const {
case tok::kw__Decimal64:
case tok::kw__Decimal128:
// struct-or-union-specifier
// struct-or-union-specifier (C99) or class-specifier (C++)
case tok::kw_class:
case tok::kw_struct:
case tok::kw_union:
// enum-specifier

View File

@ -1299,7 +1299,7 @@ Sema::DeclTy *Sema::ActOnTag(Scope *S, unsigned TagType, TagKind TK,
default: assert(0 && "Unknown tag type!");
case DeclSpec::TST_struct: Kind = Decl::Struct; break;
case DeclSpec::TST_union: Kind = Decl::Union; break;
//case DeclSpec::TST_class: Kind = Decl::Class; break;
case DeclSpec::TST_class: Kind = Decl::Class; break;
case DeclSpec::TST_enum: Kind = Decl::Enum; break;
}

View File

@ -95,11 +95,12 @@ QualType Sema::ConvertDeclSpecToType(DeclSpec &DS) {
case DeclSpec::TST_decimal64: // _Decimal64
case DeclSpec::TST_decimal128: // _Decimal128
assert(0 && "FIXME: GNU decimal extensions not supported yet!");
case DeclSpec::TST_class:
case DeclSpec::TST_enum:
case DeclSpec::TST_union:
case DeclSpec::TST_struct: {
Decl *D = static_cast<Decl *>(DS.getTypeRep());
assert(D && "Didn't get a decl for a enum/union/struct?");
assert(D && "Didn't get a decl for a class/enum/union/struct?");
assert(DS.getTypeSpecWidth() == 0 && DS.getTypeSpecComplex() == 0 &&
DS.getTypeSpecSign() == 0 &&
"Can't handle qualifiers on typedef names yet!");