ParseDecl.cpp revision a6eb5f81d13bacac01faff70a947047725b4413f 
1//===--- ParseDecl.cpp - Declaration Parsing ------------------------------===//
2//
3//                     The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10//  This file implements the Declaration portions of the Parser interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
15#include "clang/Parse/ParseDiagnostic.h"
16#include "clang/Sema/Scope.h"
17#include "clang/Sema/ParsedTemplate.h"
18#include "clang/Sema/PrettyDeclStackTrace.h"
19#include "RAIIObjectsForParser.h"
20#include "llvm/ADT/SmallSet.h"
21using namespace clang;
22
23//===----------------------------------------------------------------------===//
24// C99 6.7: Declarations.
25//===----------------------------------------------------------------------===//
26
27/// ParseTypeName
28///       type-name: [C99 6.7.6]
29///         specifier-qualifier-list abstract-declarator[opt]
30///
31/// Called type-id in C++.
32TypeResult Parser::ParseTypeName(SourceRange *Range) {
33  // Parse the common declaration-specifiers piece.
34  DeclSpec DS;
35  ParseSpecifierQualifierList(DS);
36
37  // Parse the abstract-declarator, if present.
38  Declarator DeclaratorInfo(DS, Declarator::TypeNameContext);
39  ParseDeclarator(DeclaratorInfo);
40  if (Range)
41    *Range = DeclaratorInfo.getSourceRange();
42
43  if (DeclaratorInfo.isInvalidType())
44    return true;
45
46  return Actions.ActOnTypeName(getCurScope(), DeclaratorInfo);
47}
48
49/// ParseGNUAttributes - Parse a non-empty attributes list.
50///
51/// [GNU] attributes:
52///         attribute
53///         attributes attribute
54///
55/// [GNU]  attribute:
56///          '__attribute__' '(' '(' attribute-list ')' ')'
57///
58/// [GNU]  attribute-list:
59///          attrib
60///          attribute_list ',' attrib
61///
62/// [GNU]  attrib:
63///          empty
64///          attrib-name
65///          attrib-name '(' identifier ')'
66///          attrib-name '(' identifier ',' nonempty-expr-list ')'
67///          attrib-name '(' argument-expression-list [C99 6.5.2] ')'
68///
69/// [GNU]  attrib-name:
70///          identifier
71///          typespec
72///          typequal
73///          storageclass
74///
75/// FIXME: The GCC grammar/code for this construct implies we need two
76/// token lookahead. Comment from gcc: "If they start with an identifier
77/// which is followed by a comma or close parenthesis, then the arguments
78/// start with that identifier; otherwise they are an expression list."
79///
80/// At the moment, I am not doing 2 token lookahead. I am also unaware of
81/// any attributes that don't work (based on my limited testing). Most
82/// attributes are very simple in practice. Until we find a bug, I don't see
83/// a pressing need to implement the 2 token lookahead.
84
85AttributeList *Parser::ParseGNUAttributes(SourceLocation *EndLoc) {
86  assert(Tok.is(tok::kw___attribute) && "Not a GNU attribute list!");
87
88  AttributeList *CurrAttr = 0;
89
90  while (Tok.is(tok::kw___attribute)) {
91    ConsumeToken();
92    if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen_after,
93                         "attribute")) {
94      SkipUntil(tok::r_paren, true); // skip until ) or ;
95      return CurrAttr;
96    }
97    if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen_after, "(")) {
98      SkipUntil(tok::r_paren, true); // skip until ) or ;
99      return CurrAttr;
100    }
101    // Parse the attribute-list. e.g. __attribute__(( weak, alias("__f") ))
102    while (Tok.is(tok::identifier) || isDeclarationSpecifier() ||
103           Tok.is(tok::comma)) {
104
105      if (Tok.is(tok::comma)) {
106        // allows for empty/non-empty attributes. ((__vector_size__(16),,,,))
107        ConsumeToken();
108        continue;
109      }
110      // we have an identifier or declaration specifier (const, int, etc.)
111      IdentifierInfo *AttrName = Tok.getIdentifierInfo();
112      SourceLocation AttrNameLoc = ConsumeToken();
113
114      // check if we have a "parameterized" attribute
115      if (Tok.is(tok::l_paren)) {
116        ConsumeParen(); // ignore the left paren loc for now
117
118        if (Tok.is(tok::identifier)) {
119          IdentifierInfo *ParmName = Tok.getIdentifierInfo();
120          SourceLocation ParmLoc = ConsumeToken();
121
122          if (Tok.is(tok::r_paren)) {
123            // __attribute__(( mode(byte) ))
124            ConsumeParen(); // ignore the right paren loc for now
125            CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc,
126                                         ParmName, ParmLoc, 0, 0, CurrAttr);
127          } else if (Tok.is(tok::comma)) {
128            ConsumeToken();
129            // __attribute__(( format(printf, 1, 2) ))
130            ExprVector ArgExprs(Actions);
131            bool ArgExprsOk = true;
132
133            // now parse the non-empty comma separated list of expressions
134            while (1) {
135              ExprResult ArgExpr(ParseAssignmentExpression());
136              if (ArgExpr.isInvalid()) {
137                ArgExprsOk = false;
138                SkipUntil(tok::r_paren);
139                break;
140              } else {
141                ArgExprs.push_back(ArgExpr.release());
142              }
143              if (Tok.isNot(tok::comma))
144                break;
145              ConsumeToken(); // Eat the comma, move to the next argument
146            }
147            if (ArgExprsOk && Tok.is(tok::r_paren)) {
148              ConsumeParen(); // ignore the right paren loc for now
149              CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0,
150                                           AttrNameLoc, ParmName, ParmLoc,
151                                           ArgExprs.take(), ArgExprs.size(),
152                                           CurrAttr);
153            }
154          }
155        } else { // not an identifier
156          switch (Tok.getKind()) {
157          case tok::r_paren:
158          // parse a possibly empty comma separated list of expressions
159            // __attribute__(( nonnull() ))
160            ConsumeParen(); // ignore the right paren loc for now
161            CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc,
162                                         0, SourceLocation(), 0, 0, CurrAttr);
163            break;
164          case tok::kw_char:
165          case tok::kw_wchar_t:
166          case tok::kw_char16_t:
167          case tok::kw_char32_t:
168          case tok::kw_bool:
169          case tok::kw_short:
170          case tok::kw_int:
171          case tok::kw_long:
172          case tok::kw_signed:
173          case tok::kw_unsigned:
174          case tok::kw_float:
175          case tok::kw_double:
176          case tok::kw_void:
177          case tok::kw_typeof:
178            CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc,
179                                         0, SourceLocation(), 0, 0, CurrAttr);
180            if (CurrAttr->getKind() == AttributeList::AT_IBOutletCollection)
181              Diag(Tok, diag::err_iboutletcollection_builtintype);
182            // If it's a builtin type name, eat it and expect a rparen
183            // __attribute__(( vec_type_hint(char) ))
184            ConsumeToken();
185            if (Tok.is(tok::r_paren))
186              ConsumeParen();
187            break;
188          default:
189            // __attribute__(( aligned(16) ))
190            ExprVector ArgExprs(Actions);
191            bool ArgExprsOk = true;
192
193            // now parse the list of expressions
194            while (1) {
195              ExprResult ArgExpr(ParseAssignmentExpression());
196              if (ArgExpr.isInvalid()) {
197                ArgExprsOk = false;
198                SkipUntil(tok::r_paren);
199                break;
200              } else {
201                ArgExprs.push_back(ArgExpr.release());
202              }
203              if (Tok.isNot(tok::comma))
204                break;
205              ConsumeToken(); // Eat the comma, move to the next argument
206            }
207            // Match the ')'.
208            if (ArgExprsOk && Tok.is(tok::r_paren)) {
209              ConsumeParen(); // ignore the right paren loc for now
210              CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0,
211                           AttrNameLoc, 0, SourceLocation(), ArgExprs.take(),
212                           ArgExprs.size(),
213                           CurrAttr);
214            }
215            break;
216          }
217        }
218      } else {
219        CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc,
220                                     0, SourceLocation(), 0, 0, CurrAttr);
221      }
222    }
223    if (ExpectAndConsume(tok::r_paren, diag::err_expected_rparen))
224      SkipUntil(tok::r_paren, false);
225    SourceLocation Loc = Tok.getLocation();
226    if (ExpectAndConsume(tok::r_paren, diag::err_expected_rparen)) {
227      SkipUntil(tok::r_paren, false);
228    }
229    if (EndLoc)
230      *EndLoc = Loc;
231  }
232  return CurrAttr;
233}
234
235/// ParseMicrosoftDeclSpec - Parse an __declspec construct
236///
237/// [MS] decl-specifier:
238///             __declspec ( extended-decl-modifier-seq )
239///
240/// [MS] extended-decl-modifier-seq:
241///             extended-decl-modifier[opt]
242///             extended-decl-modifier extended-decl-modifier-seq
243
244AttributeList* Parser::ParseMicrosoftDeclSpec(AttributeList *CurrAttr) {
245  assert(Tok.is(tok::kw___declspec) && "Not a declspec!");
246
247  ConsumeToken();
248  if (ExpectAndConsume(tok::l_paren, diag::err_expected_lparen_after,
249                       "declspec")) {
250    SkipUntil(tok::r_paren, true); // skip until ) or ;
251    return CurrAttr;
252  }
253  while (Tok.getIdentifierInfo()) {
254    IdentifierInfo *AttrName = Tok.getIdentifierInfo();
255    SourceLocation AttrNameLoc = ConsumeToken();
256    if (Tok.is(tok::l_paren)) {
257      ConsumeParen();
258      // FIXME: This doesn't parse __declspec(property(get=get_func_name))
259      // correctly.
260      ExprResult ArgExpr(ParseAssignmentExpression());
261      if (!ArgExpr.isInvalid()) {
262        Expr *ExprList = ArgExpr.take();
263        CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc, 0,
264                                     SourceLocation(), &ExprList, 1,
265                                     CurrAttr, true);
266      }
267      if (ExpectAndConsume(tok::r_paren, diag::err_expected_rparen))
268        SkipUntil(tok::r_paren, false);
269    } else {
270      CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc,
271                                   0, SourceLocation(), 0, 0, CurrAttr, true);
272    }
273  }
274  if (ExpectAndConsume(tok::r_paren, diag::err_expected_rparen))
275    SkipUntil(tok::r_paren, false);
276  return CurrAttr;
277}
278
279AttributeList* Parser::ParseMicrosoftTypeAttributes(AttributeList *CurrAttr) {
280  // Treat these like attributes
281  // FIXME: Allow Sema to distinguish between these and real attributes!
282  while (Tok.is(tok::kw___fastcall) || Tok.is(tok::kw___stdcall) ||
283         Tok.is(tok::kw___thiscall) || Tok.is(tok::kw___cdecl)   ||
284         Tok.is(tok::kw___ptr64) || Tok.is(tok::kw___w64)) {
285    IdentifierInfo *AttrName = Tok.getIdentifierInfo();
286    SourceLocation AttrNameLoc = ConsumeToken();
287    if (Tok.is(tok::kw___ptr64) || Tok.is(tok::kw___w64))
288      // FIXME: Support these properly!
289      continue;
290    CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc, 0,
291                                 SourceLocation(), 0, 0, CurrAttr, true);
292  }
293  return CurrAttr;
294}
295
296AttributeList* Parser::ParseBorlandTypeAttributes(AttributeList *CurrAttr) {
297  // Treat these like attributes
298  while (Tok.is(tok::kw___pascal)) {
299    IdentifierInfo *AttrName = Tok.getIdentifierInfo();
300    SourceLocation AttrNameLoc = ConsumeToken();
301    CurrAttr = new AttributeList(AttrName, AttrNameLoc, 0, AttrNameLoc, 0,
302                                 SourceLocation(), 0, 0, CurrAttr, true);
303  }
304  return CurrAttr;
305}
306
307/// ParseDeclaration - Parse a full 'declaration', which consists of
308/// declaration-specifiers, some number of declarators, and a semicolon.
309/// 'Context' should be a Declarator::TheContext value.  This returns the
310/// location of the semicolon in DeclEnd.
311///
312///       declaration: [C99 6.7]
313///         block-declaration ->
314///           simple-declaration
315///           others                   [FIXME]
316/// [C++]   template-declaration
317/// [C++]   namespace-definition
318/// [C++]   using-directive
319/// [C++]   using-declaration
320/// [C++0x] static_assert-declaration
321///         others... [FIXME]
322///
323Parser::DeclGroupPtrTy Parser::ParseDeclaration(StmtVector &Stmts,
324                                                unsigned Context,
325                                                SourceLocation &DeclEnd,
326                                                CXX0XAttributeList Attr) {
327  ParenBraceBracketBalancer BalancerRAIIObj(*this);
328
329  Decl *SingleDecl = 0;
330  switch (Tok.getKind()) {
331  case tok::kw_template:
332  case tok::kw_export:
333    if (Attr.HasAttr)
334      Diag(Attr.Range.getBegin(), diag::err_attributes_not_allowed)
335        << Attr.Range;
336    SingleDecl = ParseDeclarationStartingWithTemplate(Context, DeclEnd);
337    break;
338  case tok::kw_inline:
339    // Could be the start of an inline namespace. Allowed as an ext in C++03.
340    if (getLang().CPlusPlus && NextToken().is(tok::kw_namespace)) {
341      if (Attr.HasAttr)
342        Diag(Attr.Range.getBegin(), diag::err_attributes_not_allowed)
343          << Attr.Range;
344      SourceLocation InlineLoc = ConsumeToken();
345      SingleDecl = ParseNamespace(Context, DeclEnd, InlineLoc);
346      break;
347    }
348    return ParseSimpleDeclaration(Stmts, Context, DeclEnd, Attr.AttrList,
349                                  true);
350  case tok::kw_namespace:
351    if (Attr.HasAttr)
352      Diag(Attr.Range.getBegin(), diag::err_attributes_not_allowed)
353        << Attr.Range;
354    SingleDecl = ParseNamespace(Context, DeclEnd);
355    break;
356  case tok::kw_using:
357    SingleDecl = ParseUsingDirectiveOrDeclaration(Context, DeclEnd, Attr);
358    break;
359  case tok::kw_static_assert:
360    if (Attr.HasAttr)
361      Diag(Attr.Range.getBegin(), diag::err_attributes_not_allowed)
362        << Attr.Range;
363    SingleDecl = ParseStaticAssertDeclaration(DeclEnd);
364    break;
365  default:
366    return ParseSimpleDeclaration(Stmts, Context, DeclEnd, Attr.AttrList,
367                                  true);
368  }
369
370  // This routine returns a DeclGroup, if the thing we parsed only contains a
371  // single decl, convert it now.
372  return Actions.ConvertDeclToDeclGroup(SingleDecl);
373}
374
375///       simple-declaration: [C99 6.7: declaration] [C++ 7p1: dcl.dcl]
376///         declaration-specifiers init-declarator-list[opt] ';'
377///[C90/C++]init-declarator-list ';'                             [TODO]
378/// [OMP]   threadprivate-directive                              [TODO]
379///
380/// If RequireSemi is false, this does not check for a ';' at the end of the
381/// declaration.  If it is true, it checks for and eats it.
382Parser::DeclGroupPtrTy Parser::ParseSimpleDeclaration(StmtVector &Stmts,
383                                                      unsigned Context,
384                                                      SourceLocation &DeclEnd,
385                                                      AttributeList *Attr,
386                                                      bool RequireSemi) {
387  // Parse the common declaration-specifiers piece.
388  ParsingDeclSpec DS(*this);
389  if (Attr)
390    DS.AddAttributes(Attr);
391  ParseDeclarationSpecifiers(DS, ParsedTemplateInfo(), AS_none,
392                            getDeclSpecContextFromDeclaratorContext(Context));
393  StmtResult R = Actions.ActOnVlaStmt(DS);
394  if (R.isUsable())
395    Stmts.push_back(R.release());
396
397  // C99 6.7.2.3p6: Handle "struct-or-union identifier;", "enum { X };"
398  // declaration-specifiers init-declarator-list[opt] ';'
399  if (Tok.is(tok::semi)) {
400    if (RequireSemi) ConsumeToken();
401    Decl *TheDecl = Actions.ParsedFreeStandingDeclSpec(getCurScope(), AS_none,
402                                                           DS);
403    DS.complete(TheDecl);
404    return Actions.ConvertDeclToDeclGroup(TheDecl);
405  }
406
407  return ParseDeclGroup(DS, Context, /*FunctionDefs=*/ false, &DeclEnd);
408}
409
410/// ParseDeclGroup - Having concluded that this is either a function
411/// definition or a group of object declarations, actually parse the
412/// result.
413Parser::DeclGroupPtrTy Parser::ParseDeclGroup(ParsingDeclSpec &DS,
414                                              unsigned Context,
415                                              bool AllowFunctionDefinitions,
416                                              SourceLocation *DeclEnd) {
417  // Parse the first declarator.
418  ParsingDeclarator D(*this, DS, static_cast<Declarator::TheContext>(Context));
419  ParseDeclarator(D);
420
421  // Bail out if the first declarator didn't seem well-formed.
422  if (!D.hasName() && !D.mayOmitIdentifier()) {
423    // Skip until ; or }.
424    SkipUntil(tok::r_brace, true, true);
425    if (Tok.is(tok::semi))
426      ConsumeToken();
427    return DeclGroupPtrTy();
428  }
429
430  // Check to see if we have a function *definition* which must have a body.
431  if (AllowFunctionDefinitions && D.isFunctionDeclarator() &&
432      // Look at the next token to make sure that this isn't a function
433      // declaration.  We have to check this because __attribute__ might be the
434      // start of a function definition in GCC-extended K&R C.
435      !isDeclarationAfterDeclarator()) {
436
437    if (isStartOfFunctionDefinition(D)) {
438      if (DS.getStorageClassSpec() == DeclSpec::SCS_typedef) {
439        Diag(Tok, diag::err_function_declared_typedef);
440
441        // Recover by treating the 'typedef' as spurious.
442        DS.ClearStorageClassSpecs();
443      }
444
445      Decl *TheDecl = ParseFunctionDefinition(D);
446      return Actions.ConvertDeclToDeclGroup(TheDecl);
447    }
448
449    if (isDeclarationSpecifier()) {
450      // If there is an invalid declaration specifier right after the function
451      // prototype, then we must be in a missing semicolon case where this isn't
452      // actually a body.  Just fall through into the code that handles it as a
453      // prototype, and let the top-level code handle the erroneous declspec
454      // where it would otherwise expect a comma or semicolon.
455    } else {
456      Diag(Tok, diag::err_expected_fn_body);
457      SkipUntil(tok::semi);
458      return DeclGroupPtrTy();
459    }
460  }
461
462  llvm::SmallVector<Decl *, 8> DeclsInGroup;
463  Decl *FirstDecl = ParseDeclarationAfterDeclarator(D);
464  D.complete(FirstDecl);
465  if (FirstDecl)
466    DeclsInGroup.push_back(FirstDecl);
467
468  // If we don't have a comma, it is either the end of the list (a ';') or an
469  // error, bail out.
470  while (Tok.is(tok::comma)) {
471    // Consume the comma.
472    ConsumeToken();
473
474    // Parse the next declarator.
475    D.clear();
476
477    // Accept attributes in an init-declarator.  In the first declarator in a
478    // declaration, these would be part of the declspec.  In subsequent
479    // declarators, they become part of the declarator itself, so that they
480    // don't apply to declarators after *this* one.  Examples:
481    //    short __attribute__((common)) var;    -> declspec
482    //    short var __attribute__((common));    -> declarator
483    //    short x, __attribute__((common)) var;    -> declarator
484    if (Tok.is(tok::kw___attribute)) {
485      SourceLocation Loc;
486      AttributeList *AttrList = ParseGNUAttributes(&Loc);
487      D.AddAttributes(AttrList, Loc);
488    }
489
490    ParseDeclarator(D);
491
492    Decl *ThisDecl = ParseDeclarationAfterDeclarator(D);
493    D.complete(ThisDecl);
494    if (ThisDecl)
495      DeclsInGroup.push_back(ThisDecl);
496  }
497
498  if (DeclEnd)
499    *DeclEnd = Tok.getLocation();
500
501  if (Context != Declarator::ForContext &&
502      ExpectAndConsume(tok::semi,
503                       Context == Declarator::FileContext
504                         ? diag::err_invalid_token_after_toplevel_declarator
505                         : diag::err_expected_semi_declaration)) {
506    // Okay, there was no semicolon and one was expected.  If we see a
507    // declaration specifier, just assume it was missing and continue parsing.
508    // Otherwise things are very confused and we skip to recover.
509    if (!isDeclarationSpecifier()) {
510      SkipUntil(tok::r_brace, true, true);
511      if (Tok.is(tok::semi))
512        ConsumeToken();
513    }
514  }
515
516  return Actions.FinalizeDeclaratorGroup(getCurScope(), DS,
517                                         DeclsInGroup.data(),
518                                         DeclsInGroup.size());
519}
520
521/// \brief Parse 'declaration' after parsing 'declaration-specifiers
522/// declarator'. This method parses the remainder of the declaration
523/// (including any attributes or initializer, among other things) and
524/// finalizes the declaration.
525///
526///       init-declarator: [C99 6.7]
527///         declarator
528///         declarator '=' initializer
529/// [GNU]   declarator simple-asm-expr[opt] attributes[opt]
530/// [GNU]   declarator simple-asm-expr[opt] attributes[opt] '=' initializer
531/// [C++]   declarator initializer[opt]
532///
533/// [C++] initializer:
534/// [C++]   '=' initializer-clause
535/// [C++]   '(' expression-list ')'
536/// [C++0x] '=' 'default'                                                [TODO]
537/// [C++0x] '=' 'delete'
538///
539/// According to the standard grammar, =default and =delete are function
540/// definitions, but that definitely doesn't fit with the parser here.
541///
542Decl *Parser::ParseDeclarationAfterDeclarator(Declarator &D,
543                                     const ParsedTemplateInfo &TemplateInfo) {
544  // If a simple-asm-expr is present, parse it.
545  if (Tok.is(tok::kw_asm)) {
546    SourceLocation Loc;
547    ExprResult AsmLabel(ParseSimpleAsm(&Loc));
548    if (AsmLabel.isInvalid()) {
549      SkipUntil(tok::semi, true, true);
550      return 0;
551    }
552
553    D.setAsmLabel(AsmLabel.release());
554    D.SetRangeEnd(Loc);
555  }
556
557  // If attributes are present, parse them.
558  if (Tok.is(tok::kw___attribute)) {
559    SourceLocation Loc;
560    AttributeList *AttrList = ParseGNUAttributes(&Loc);
561    D.AddAttributes(AttrList, Loc);
562  }
563
564  // Inform the current actions module that we just parsed this declarator.
565  Decl *ThisDecl = 0;
566  switch (TemplateInfo.Kind) {
567  case ParsedTemplateInfo::NonTemplate:
568    ThisDecl = Actions.ActOnDeclarator(getCurScope(), D);
569    break;
570
571  case ParsedTemplateInfo::Template:
572  case ParsedTemplateInfo::ExplicitSpecialization:
573    ThisDecl = Actions.ActOnTemplateDeclarator(getCurScope(),
574                             MultiTemplateParamsArg(Actions,
575                                          TemplateInfo.TemplateParams->data(),
576                                          TemplateInfo.TemplateParams->size()),
577                                               D);
578    break;
579
580  case ParsedTemplateInfo::ExplicitInstantiation: {
581    DeclResult ThisRes
582      = Actions.ActOnExplicitInstantiation(getCurScope(),
583                                           TemplateInfo.ExternLoc,
584                                           TemplateInfo.TemplateLoc,
585                                           D);
586    if (ThisRes.isInvalid()) {
587      SkipUntil(tok::semi, true, true);
588      return 0;
589    }
590
591    ThisDecl = ThisRes.get();
592    break;
593    }
594  }
595
596  // Parse declarator '=' initializer.
597  if (isTokenEqualOrMistypedEqualEqual(
598                               diag::err_invalid_equalequal_after_declarator)) {
599    ConsumeToken();
600    if (Tok.is(tok::kw_delete)) {
601      SourceLocation DelLoc = ConsumeToken();
602
603      if (!getLang().CPlusPlus0x)
604        Diag(DelLoc, diag::warn_deleted_function_accepted_as_extension);
605
606      Actions.SetDeclDeleted(ThisDecl, DelLoc);
607    } else {
608      if (getLang().CPlusPlus && D.getCXXScopeSpec().isSet()) {
609        EnterScope(0);
610        Actions.ActOnCXXEnterDeclInitializer(getCurScope(), ThisDecl);
611      }
612
613      if (Tok.is(tok::code_completion)) {
614        Actions.CodeCompleteInitializer(getCurScope(), ThisDecl);
615        ConsumeCodeCompletionToken();
616        SkipUntil(tok::comma, true, true);
617        return ThisDecl;
618      }
619
620      ExprResult Init(ParseInitializer());
621
622      if (getLang().CPlusPlus && D.getCXXScopeSpec().isSet()) {
623        Actions.ActOnCXXExitDeclInitializer(getCurScope(), ThisDecl);
624        ExitScope();
625      }
626
627      if (Init.isInvalid()) {
628        SkipUntil(tok::comma, true, true);
629        Actions.ActOnInitializerError(ThisDecl);
630      } else
631        Actions.AddInitializerToDecl(ThisDecl, Init.take());
632    }
633  } else if (Tok.is(tok::l_paren)) {
634    // Parse C++ direct initializer: '(' expression-list ')'
635    SourceLocation LParenLoc = ConsumeParen();
636    ExprVector Exprs(Actions);
637    CommaLocsTy CommaLocs;
638
639    if (getLang().CPlusPlus && D.getCXXScopeSpec().isSet()) {
640      EnterScope(0);
641      Actions.ActOnCXXEnterDeclInitializer(getCurScope(), ThisDecl);
642    }
643
644    if (ParseExpressionList(Exprs, CommaLocs)) {
645      SkipUntil(tok::r_paren);
646
647      if (getLang().CPlusPlus && D.getCXXScopeSpec().isSet()) {
648        Actions.ActOnCXXExitDeclInitializer(getCurScope(), ThisDecl);
649        ExitScope();
650      }
651    } else {
652      // Match the ')'.
653      SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
654
655      assert(!Exprs.empty() && Exprs.size()-1 == CommaLocs.size() &&
656             "Unexpected number of commas!");
657
658      if (getLang().CPlusPlus && D.getCXXScopeSpec().isSet()) {
659        Actions.ActOnCXXExitDeclInitializer(getCurScope(), ThisDecl);
660        ExitScope();
661      }
662
663      Actions.AddCXXDirectInitializerToDecl(ThisDecl, LParenLoc,
664                                            move_arg(Exprs),
665                                            RParenLoc);
666    }
667  } else {
668    bool TypeContainsUndeducedAuto =
669      D.getDeclSpec().getTypeSpecType() == DeclSpec::TST_auto;
670    Actions.ActOnUninitializedDecl(ThisDecl, TypeContainsUndeducedAuto);
671  }
672
673  return ThisDecl;
674}
675
676/// ParseSpecifierQualifierList
677///        specifier-qualifier-list:
678///          type-specifier specifier-qualifier-list[opt]
679///          type-qualifier specifier-qualifier-list[opt]
680/// [GNU]    attributes     specifier-qualifier-list[opt]
681///
682void Parser::ParseSpecifierQualifierList(DeclSpec &DS) {
683  /// specifier-qualifier-list is a subset of declaration-specifiers.  Just
684  /// parse declaration-specifiers and complain about extra stuff.
685  ParseDeclarationSpecifiers(DS);
686
687  // Validate declspec for type-name.
688  unsigned Specs = DS.getParsedSpecifiers();
689  if (Specs == DeclSpec::PQ_None && !DS.getNumProtocolQualifiers() &&
690      !DS.getAttributes())
691    Diag(Tok, diag::err_typename_requires_specqual);
692
693  // Issue diagnostic and remove storage class if present.
694  if (Specs & DeclSpec::PQ_StorageClassSpecifier) {
695    if (DS.getStorageClassSpecLoc().isValid())
696      Diag(DS.getStorageClassSpecLoc(),diag::err_typename_invalid_storageclass);
697    else
698      Diag(DS.getThreadSpecLoc(), diag::err_typename_invalid_storageclass);
699    DS.ClearStorageClassSpecs();
700  }
701
702  // Issue diagnostic and remove function specfier if present.
703  if (Specs & DeclSpec::PQ_FunctionSpecifier) {
704    if (DS.isInlineSpecified())
705      Diag(DS.getInlineSpecLoc(), diag::err_typename_invalid_functionspec);
706    if (DS.isVirtualSpecified())
707      Diag(DS.getVirtualSpecLoc(), diag::err_typename_invalid_functionspec);
708    if (DS.isExplicitSpecified())
709      Diag(DS.getExplicitSpecLoc(), diag::err_typename_invalid_functionspec);
710    DS.ClearFunctionSpecs();
711  }
712}
713
714/// isValidAfterIdentifierInDeclaratorAfterDeclSpec - Return true if the
715/// specified token is valid after the identifier in a declarator which
716/// immediately follows the declspec.  For example, these things are valid:
717///
718///      int x   [             4];         // direct-declarator
719///      int x   (             int y);     // direct-declarator
720///  int(int x   )                         // direct-declarator
721///      int x   ;                         // simple-declaration
722///      int x   =             17;         // init-declarator-list
723///      int x   ,             y;          // init-declarator-list
724///      int x   __asm__       ("foo");    // init-declarator-list
725///      int x   :             4;          // struct-declarator
726///      int x   {             5};         // C++'0x unified initializers
727///
728/// This is not, because 'x' does not immediately follow the declspec (though
729/// ')' happens to be valid anyway).
730///    int (x)
731///
732static bool isValidAfterIdentifierInDeclarator(const Token &T) {
733  return T.is(tok::l_square) || T.is(tok::l_paren) || T.is(tok::r_paren) ||
734         T.is(tok::semi) || T.is(tok::comma) || T.is(tok::equal) ||
735         T.is(tok::kw_asm) || T.is(tok::l_brace) || T.is(tok::colon);
736}
737
738
739/// ParseImplicitInt - This method is called when we have an non-typename
740/// identifier in a declspec (which normally terminates the decl spec) when
741/// the declspec has no type specifier.  In this case, the declspec is either
742/// malformed or is "implicit int" (in K&R and C89).
743///
744/// This method handles diagnosing this prettily and returns false if the
745/// declspec is done being processed.  If it recovers and thinks there may be
746/// other pieces of declspec after it, it returns true.
747///
748bool Parser::ParseImplicitInt(DeclSpec &DS, CXXScopeSpec *SS,
749                              const ParsedTemplateInfo &TemplateInfo,
750                              AccessSpecifier AS) {
751  assert(Tok.is(tok::identifier) && "should have identifier");
752
753  SourceLocation Loc = Tok.getLocation();
754  // If we see an identifier that is not a type name, we normally would
755  // parse it as the identifer being declared.  However, when a typename
756  // is typo'd or the definition is not included, this will incorrectly
757  // parse the typename as the identifier name and fall over misparsing
758  // later parts of the diagnostic.
759  //
760  // As such, we try to do some look-ahead in cases where this would
761  // otherwise be an "implicit-int" case to see if this is invalid.  For
762  // example: "static foo_t x = 4;"  In this case, if we parsed foo_t as
763  // an identifier with implicit int, we'd get a parse error because the
764  // next token is obviously invalid for a type.  Parse these as a case
765  // with an invalid type specifier.
766  assert(!DS.hasTypeSpecifier() && "Type specifier checked above");
767
768  // Since we know that this either implicit int (which is rare) or an
769  // error, we'd do lookahead to try to do better recovery.
770  if (isValidAfterIdentifierInDeclarator(NextToken())) {
771    // If this token is valid for implicit int, e.g. "static x = 4", then
772    // we just avoid eating the identifier, so it will be parsed as the
773    // identifier in the declarator.
774    return false;
775  }
776
777  // Otherwise, if we don't consume this token, we are going to emit an
778  // error anyway.  Try to recover from various common problems.  Check
779  // to see if this was a reference to a tag name without a tag specified.
780  // This is a common problem in C (saying 'foo' instead of 'struct foo').
781  //
782  // C++ doesn't need this, and isTagName doesn't take SS.
783  if (SS == 0) {
784    const char *TagName = 0;
785    tok::TokenKind TagKind = tok::unknown;
786
787    switch (Actions.isTagName(*Tok.getIdentifierInfo(), getCurScope())) {
788      default: break;
789      case DeclSpec::TST_enum:  TagName="enum"  ;TagKind=tok::kw_enum  ;break;
790      case DeclSpec::TST_union: TagName="union" ;TagKind=tok::kw_union ;break;
791      case DeclSpec::TST_struct:TagName="struct";TagKind=tok::kw_struct;break;
792      case DeclSpec::TST_class: TagName="class" ;TagKind=tok::kw_class ;break;
793    }
794
795    if (TagName) {
796      Diag(Loc, diag::err_use_of_tag_name_without_tag)
797        << Tok.getIdentifierInfo() << TagName << getLang().CPlusPlus
798        << FixItHint::CreateInsertion(Tok.getLocation(),TagName);
799
800      // Parse this as a tag as if the missing tag were present.
801      if (TagKind == tok::kw_enum)
802        ParseEnumSpecifier(Loc, DS, TemplateInfo, AS);
803      else
804        ParseClassSpecifier(TagKind, Loc, DS, TemplateInfo, AS);
805      return true;
806    }
807  }
808
809  // This is almost certainly an invalid type name. Let the action emit a
810  // diagnostic and attempt to recover.
811  ParsedType T;
812  if (Actions.DiagnoseUnknownTypeName(*Tok.getIdentifierInfo(), Loc,
813                                      getCurScope(), SS, T)) {
814    // The action emitted a diagnostic, so we don't have to.
815    if (T) {
816      // The action has suggested that the type T could be used. Set that as
817      // the type in the declaration specifiers, consume the would-be type
818      // name token, and we're done.
819      const char *PrevSpec;
820      unsigned DiagID;
821      DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec, DiagID, T);
822      DS.SetRangeEnd(Tok.getLocation());
823      ConsumeToken();
824
825      // There may be other declaration specifiers after this.
826      return true;
827    }
828
829    // Fall through; the action had no suggestion for us.
830  } else {
831    // The action did not emit a diagnostic, so emit one now.
832    SourceRange R;
833    if (SS) R = SS->getRange();
834    Diag(Loc, diag::err_unknown_typename) << Tok.getIdentifierInfo() << R;
835  }
836
837  // Mark this as an error.
838  const char *PrevSpec;
839  unsigned DiagID;
840  DS.SetTypeSpecType(DeclSpec::TST_error, Loc, PrevSpec, DiagID);
841  DS.SetRangeEnd(Tok.getLocation());
842  ConsumeToken();
843
844  // TODO: Could inject an invalid typedef decl in an enclosing scope to
845  // avoid rippling error messages on subsequent uses of the same type,
846  // could be useful if #include was forgotten.
847  return false;
848}
849
850/// \brief Determine the declaration specifier context from the declarator
851/// context.
852///
853/// \param Context the declarator context, which is one of the
854/// Declarator::TheContext enumerator values.
855Parser::DeclSpecContext
856Parser::getDeclSpecContextFromDeclaratorContext(unsigned Context) {
857  if (Context == Declarator::MemberContext)
858    return DSC_class;
859  if (Context == Declarator::FileContext)
860    return DSC_top_level;
861  return DSC_normal;
862}
863
864/// ParseDeclarationSpecifiers
865///       declaration-specifiers: [C99 6.7]
866///         storage-class-specifier declaration-specifiers[opt]
867///         type-specifier declaration-specifiers[opt]
868/// [C99]   function-specifier declaration-specifiers[opt]
869/// [GNU]   attributes declaration-specifiers[opt]
870///
871///       storage-class-specifier: [C99 6.7.1]
872///         'typedef'
873///         'extern'
874///         'static'
875///         'auto'
876///         'register'
877/// [C++]   'mutable'
878/// [GNU]   '__thread'
879///       function-specifier: [C99 6.7.4]
880/// [C99]   'inline'
881/// [C++]   'virtual'
882/// [C++]   'explicit'
883///       'friend': [C++ dcl.friend]
884///       'constexpr': [C++0x dcl.constexpr]
885
886///
887void Parser::ParseDeclarationSpecifiers(DeclSpec &DS,
888                                        const ParsedTemplateInfo &TemplateInfo,
889                                        AccessSpecifier AS,
890                                        DeclSpecContext DSContext) {
891  DS.SetRangeStart(Tok.getLocation());
892  while (1) {
893    bool isInvalid = false;
894    const char *PrevSpec = 0;
895    unsigned DiagID = 0;
896
897    SourceLocation Loc = Tok.getLocation();
898
899    switch (Tok.getKind()) {
900    default:
901    DoneWithDeclSpec:
902      // If this is not a declaration specifier token, we're done reading decl
903      // specifiers.  First verify that DeclSpec's are consistent.
904      DS.Finish(Diags, PP);
905      return;
906
907    case tok::code_completion: {
908      Sema::ParserCompletionContext CCC = Sema::PCC_Namespace;
909      if (DS.hasTypeSpecifier()) {
910        bool AllowNonIdentifiers
911          = (getCurScope()->getFlags() & (Scope::ControlScope |
912                                          Scope::BlockScope |
913                                          Scope::TemplateParamScope |
914                                          Scope::FunctionPrototypeScope |
915                                          Scope::AtCatchScope)) == 0;
916        bool AllowNestedNameSpecifiers
917          = DSContext == DSC_top_level ||
918            (DSContext == DSC_class && DS.isFriendSpecified());
919
920        Actions.CodeCompleteDeclSpec(getCurScope(), DS,
921                                     AllowNonIdentifiers,
922                                     AllowNestedNameSpecifiers);
923        ConsumeCodeCompletionToken();
924        return;
925      }
926
927      if (TemplateInfo.Kind != ParsedTemplateInfo::NonTemplate)
928        CCC = DSContext == DSC_class? Sema::PCC_MemberTemplate
929                                    : Sema::PCC_Template;
930      else if (DSContext == DSC_class)
931        CCC = Sema::PCC_Class;
932      else if (ObjCImpDecl)
933        CCC = Sema::PCC_ObjCImplementation;
934
935      Actions.CodeCompleteOrdinaryName(getCurScope(), CCC);
936      ConsumeCodeCompletionToken();
937      return;
938    }
939
940    case tok::coloncolon: // ::foo::bar
941      // C++ scope specifier.  Annotate and loop, or bail out on error.
942      if (TryAnnotateCXXScopeToken(true)) {
943        if (!DS.hasTypeSpecifier())
944          DS.SetTypeSpecError();
945        goto DoneWithDeclSpec;
946      }
947      if (Tok.is(tok::coloncolon)) // ::new or ::delete
948        goto DoneWithDeclSpec;
949      continue;
950
951    case tok::annot_cxxscope: {
952      if (DS.hasTypeSpecifier())
953        goto DoneWithDeclSpec;
954
955      CXXScopeSpec SS;
956      SS.setScopeRep((NestedNameSpecifier*) Tok.getAnnotationValue());
957      SS.setRange(Tok.getAnnotationRange());
958
959      // We are looking for a qualified typename.
960      Token Next = NextToken();
961      if (Next.is(tok::annot_template_id) &&
962          static_cast<TemplateIdAnnotation *>(Next.getAnnotationValue())
963            ->Kind == TNK_Type_template) {
964        // We have a qualified template-id, e.g., N::A<int>
965
966        // C++ [class.qual]p2:
967        //   In a lookup in which the constructor is an acceptable lookup
968        //   result and the nested-name-specifier nominates a class C:
969        //
970        //     - if the name specified after the
971        //       nested-name-specifier, when looked up in C, is the
972        //       injected-class-name of C (Clause 9), or
973        //
974        //     - if the name specified after the nested-name-specifier
975        //       is the same as the identifier or the
976        //       simple-template-id's template-name in the last
977        //       component of the nested-name-specifier,
978        //
979        //   the name is instead considered to name the constructor of
980        //   class C.
981        //
982        // Thus, if the template-name is actually the constructor
983        // name, then the code is ill-formed; this interpretation is
984        // reinforced by the NAD status of core issue 635.
985        TemplateIdAnnotation *TemplateId
986          = static_cast<TemplateIdAnnotation *>(Next.getAnnotationValue());
987        if ((DSContext == DSC_top_level ||
988             (DSContext == DSC_class && DS.isFriendSpecified())) &&
989            TemplateId->Name &&
990            Actions.isCurrentClassName(*TemplateId->Name, getCurScope(), &SS)) {
991          if (isConstructorDeclarator()) {
992            // The user meant this to be an out-of-line constructor
993            // definition, but template arguments are not allowed
994            // there.  Just allow this as a constructor; we'll
995            // complain about it later.
996            goto DoneWithDeclSpec;
997          }
998
999          // The user meant this to name a type, but it actually names
1000          // a constructor with some extraneous template
1001          // arguments. Complain, then parse it as a type as the user
1002          // intended.
1003          Diag(TemplateId->TemplateNameLoc,
1004               diag::err_out_of_line_template_id_names_constructor)
1005            << TemplateId->Name;
1006        }
1007
1008        DS.getTypeSpecScope() = SS;
1009        ConsumeToken(); // The C++ scope.
1010        assert(Tok.is(tok::annot_template_id) &&
1011               "ParseOptionalCXXScopeSpecifier not working");
1012        AnnotateTemplateIdTokenAsType(&SS);
1013        continue;
1014      }
1015
1016      if (Next.is(tok::annot_typename)) {
1017        DS.getTypeSpecScope() = SS;
1018        ConsumeToken(); // The C++ scope.
1019        if (Tok.getAnnotationValue()) {
1020          ParsedType T = getTypeAnnotation(Tok);
1021          isInvalid = DS.SetTypeSpecType(DeclSpec::TST_typename, Loc,
1022                                         PrevSpec, DiagID, T);
1023        }
1024        else
1025          DS.SetTypeSpecError();
1026        DS.SetRangeEnd(Tok.getAnnotationEndLoc());
1027        ConsumeToken(); // The typename
1028      }
1029
1030      if (Next.isNot(tok::identifier))
1031        goto DoneWithDeclSpec;
1032
1033      // If we're in a context where the identifier could be a class name,
1034      // check whether this is a constructor declaration.
1035      if ((DSContext == DSC_top_level ||
1036           (DSContext == DSC_class && DS.isFriendSpecified())) &&
1037          Actions.isCurrentClassName(*Next.getIdentifierInfo(), getCurScope(),
1038                                     &SS)) {
1039        if (isConstructorDeclarator())
1040          goto DoneWithDeclSpec;
1041
1042        // As noted in C++ [class.qual]p2 (cited above), when the name
1043        // of the class is qualified in a context where it could name
1044        // a constructor, its a constructor name. However, we've
1045        // looked at the declarator, and the user probably meant this
1046        // to be a type. Complain that it isn't supposed to be treated
1047        // as a type, then proceed to parse it as a type.
1048        Diag(Next.getLocation(), diag::err_out_of_line_type_names_constructor)
1049          << Next.getIdentifierInfo();
1050      }
1051
1052      ParsedType TypeRep = Actions.getTypeName(*Next.getIdentifierInfo(),
1053                                               Next.getLocation(),
1054                                               getCurScope(), &SS);
1055
1056      // If the referenced identifier is not a type, then this declspec is
1057      // erroneous: We already checked about that it has no type specifier, and
1058      // C++ doesn't have implicit int.  Diagnose it as a typo w.r.t. to the
1059      // typename.
1060      if (TypeRep == 0) {
1061        ConsumeToken();   // Eat the scope spec so the identifier is current.
1062        if (ParseImplicitInt(DS, &SS, TemplateInfo, AS)) continue;
1063        goto DoneWithDeclSpec;
1064      }
1065
1066      DS.getTypeSpecScope() = SS;
1067      ConsumeToken(); // The C++ scope.
1068
1069      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec,
1070                                     DiagID, TypeRep);
1071      if (isInvalid)
1072        break;
1073
1074      DS.SetRangeEnd(Tok.getLocation());
1075      ConsumeToken(); // The typename.
1076
1077      continue;
1078    }
1079
1080    case tok::annot_typename: {
1081      if (Tok.getAnnotationValue()) {
1082        ParsedType T = getTypeAnnotation(Tok);
1083        isInvalid = DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec,
1084                                       DiagID, T);
1085      } else
1086        DS.SetTypeSpecError();
1087
1088      if (isInvalid)
1089        break;
1090
1091      DS.SetRangeEnd(Tok.getAnnotationEndLoc());
1092      ConsumeToken(); // The typename
1093
1094      // Objective-C supports syntax of the form 'id<proto1,proto2>' where 'id'
1095      // is a specific typedef and 'itf<proto1,proto2>' where 'itf' is an
1096      // Objective-C interface.  If we don't have Objective-C or a '<', this is
1097      // just a normal reference to a typedef name.
1098      if (!Tok.is(tok::less) || !getLang().ObjC1)
1099        continue;
1100
1101      SourceLocation LAngleLoc, EndProtoLoc;
1102      llvm::SmallVector<Decl *, 8> ProtocolDecl;
1103      llvm::SmallVector<SourceLocation, 8> ProtocolLocs;
1104      ParseObjCProtocolReferences(ProtocolDecl, ProtocolLocs, false,
1105                                  LAngleLoc, EndProtoLoc);
1106      DS.setProtocolQualifiers(ProtocolDecl.data(), ProtocolDecl.size(),
1107                               ProtocolLocs.data(), LAngleLoc);
1108
1109      DS.SetRangeEnd(EndProtoLoc);
1110      continue;
1111    }
1112
1113      // typedef-name
1114    case tok::identifier: {
1115      // In C++, check to see if this is a scope specifier like foo::bar::, if
1116      // so handle it as such.  This is important for ctor parsing.
1117      if (getLang().CPlusPlus) {
1118        if (TryAnnotateCXXScopeToken(true)) {
1119          if (!DS.hasTypeSpecifier())
1120            DS.SetTypeSpecError();
1121          goto DoneWithDeclSpec;
1122        }
1123        if (!Tok.is(tok::identifier))
1124          continue;
1125      }
1126
1127      // This identifier can only be a typedef name if we haven't already seen
1128      // a type-specifier.  Without this check we misparse:
1129      //  typedef int X; struct Y { short X; };  as 'short int'.
1130      if (DS.hasTypeSpecifier())
1131        goto DoneWithDeclSpec;
1132
1133      // Check for need to substitute AltiVec keyword tokens.
1134      if (TryAltiVecToken(DS, Loc, PrevSpec, DiagID, isInvalid))
1135        break;
1136
1137      // It has to be available as a typedef too!
1138      ParsedType TypeRep =
1139        Actions.getTypeName(*Tok.getIdentifierInfo(),
1140                            Tok.getLocation(), getCurScope());
1141
1142      // If this is not a typedef name, don't parse it as part of the declspec,
1143      // it must be an implicit int or an error.
1144      if (!TypeRep) {
1145        if (ParseImplicitInt(DS, 0, TemplateInfo, AS)) continue;
1146        goto DoneWithDeclSpec;
1147      }
1148
1149      // If we're in a context where the identifier could be a class name,
1150      // check whether this is a constructor declaration.
1151      if (getLang().CPlusPlus && DSContext == DSC_class &&
1152          Actions.isCurrentClassName(*Tok.getIdentifierInfo(), getCurScope()) &&
1153          isConstructorDeclarator())
1154        goto DoneWithDeclSpec;
1155
1156      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec,
1157                                     DiagID, TypeRep);
1158      if (isInvalid)
1159        break;
1160
1161      DS.SetRangeEnd(Tok.getLocation());
1162      ConsumeToken(); // The identifier
1163
1164      // Objective-C supports syntax of the form 'id<proto1,proto2>' where 'id'
1165      // is a specific typedef and 'itf<proto1,proto2>' where 'itf' is an
1166      // Objective-C interface.  If we don't have Objective-C or a '<', this is
1167      // just a normal reference to a typedef name.
1168      if (!Tok.is(tok::less) || !getLang().ObjC1)
1169        continue;
1170
1171      SourceLocation LAngleLoc, EndProtoLoc;
1172      llvm::SmallVector<Decl *, 8> ProtocolDecl;
1173      llvm::SmallVector<SourceLocation, 8> ProtocolLocs;
1174      ParseObjCProtocolReferences(ProtocolDecl, ProtocolLocs, false,
1175                                  LAngleLoc, EndProtoLoc);
1176      DS.setProtocolQualifiers(ProtocolDecl.data(), ProtocolDecl.size(),
1177                               ProtocolLocs.data(), LAngleLoc);
1178
1179      DS.SetRangeEnd(EndProtoLoc);
1180
1181      // Need to support trailing type qualifiers (e.g. "id<p> const").
1182      // If a type specifier follows, it will be diagnosed elsewhere.
1183      continue;
1184    }
1185
1186      // type-name
1187    case tok::annot_template_id: {
1188      TemplateIdAnnotation *TemplateId
1189        = static_cast<TemplateIdAnnotation *>(Tok.getAnnotationValue());
1190      if (TemplateId->Kind != TNK_Type_template) {
1191        // This template-id does not refer to a type name, so we're
1192        // done with the type-specifiers.
1193        goto DoneWithDeclSpec;
1194      }
1195
1196      // If we're in a context where the template-id could be a
1197      // constructor name or specialization, check whether this is a
1198      // constructor declaration.
1199      if (getLang().CPlusPlus && DSContext == DSC_class &&
1200          Actions.isCurrentClassName(*TemplateId->Name, getCurScope()) &&
1201          isConstructorDeclarator())
1202        goto DoneWithDeclSpec;
1203
1204      // Turn the template-id annotation token into a type annotation
1205      // token, then try again to parse it as a type-specifier.
1206      AnnotateTemplateIdTokenAsType();
1207      continue;
1208    }
1209
1210    // GNU attributes support.
1211    case tok::kw___attribute:
1212      DS.AddAttributes(ParseGNUAttributes());
1213      continue;
1214
1215    // Microsoft declspec support.
1216    case tok::kw___declspec:
1217      DS.AddAttributes(ParseMicrosoftDeclSpec());
1218      continue;
1219
1220    // Microsoft single token adornments.
1221    case tok::kw___forceinline:
1222      // FIXME: Add handling here!
1223      break;
1224
1225    case tok::kw___ptr64:
1226    case tok::kw___w64:
1227    case tok::kw___cdecl:
1228    case tok::kw___stdcall:
1229    case tok::kw___fastcall:
1230    case tok::kw___thiscall:
1231      DS.AddAttributes(ParseMicrosoftTypeAttributes());
1232      continue;
1233
1234    // Borland single token adornments.
1235    case tok::kw___pascal:
1236      DS.AddAttributes(ParseBorlandTypeAttributes());
1237      continue;
1238
1239    // storage-class-specifier
1240    case tok::kw_typedef:
1241      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_typedef, Loc, PrevSpec,
1242                                         DiagID);
1243      break;
1244    case tok::kw_extern:
1245      if (DS.isThreadSpecified())
1246        Diag(Tok, diag::ext_thread_before) << "extern";
1247      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_extern, Loc, PrevSpec,
1248                                         DiagID);
1249      break;
1250    case tok::kw___private_extern__:
1251      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_private_extern, Loc,
1252                                         PrevSpec, DiagID);
1253      break;
1254    case tok::kw_static:
1255      if (DS.isThreadSpecified())
1256        Diag(Tok, diag::ext_thread_before) << "static";
1257      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_static, Loc, PrevSpec,
1258                                         DiagID);
1259      break;
1260    case tok::kw_auto:
1261      if (getLang().CPlusPlus0x)
1262        isInvalid = DS.SetTypeSpecType(DeclSpec::TST_auto, Loc, PrevSpec,
1263                                       DiagID);
1264      else
1265        isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_auto, Loc, PrevSpec,
1266                                           DiagID);
1267      break;
1268    case tok::kw_register:
1269      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_register, Loc, PrevSpec,
1270                                         DiagID);
1271      break;
1272    case tok::kw_mutable:
1273      isInvalid = DS.SetStorageClassSpec(DeclSpec::SCS_mutable, Loc, PrevSpec,
1274                                         DiagID);
1275      break;
1276    case tok::kw___thread:
1277      isInvalid = DS.SetStorageClassSpecThread(Loc, PrevSpec, DiagID);
1278      break;
1279
1280    // function-specifier
1281    case tok::kw_inline:
1282      isInvalid = DS.SetFunctionSpecInline(Loc, PrevSpec, DiagID);
1283      break;
1284    case tok::kw_virtual:
1285      isInvalid = DS.SetFunctionSpecVirtual(Loc, PrevSpec, DiagID);
1286      break;
1287    case tok::kw_explicit:
1288      isInvalid = DS.SetFunctionSpecExplicit(Loc, PrevSpec, DiagID);
1289      break;
1290
1291    // friend
1292    case tok::kw_friend:
1293      if (DSContext == DSC_class)
1294        isInvalid = DS.SetFriendSpec(Loc, PrevSpec, DiagID);
1295      else {
1296        PrevSpec = ""; // not actually used by the diagnostic
1297        DiagID = diag::err_friend_invalid_in_context;
1298        isInvalid = true;
1299      }
1300      break;
1301
1302    // constexpr
1303    case tok::kw_constexpr:
1304      isInvalid = DS.SetConstexprSpec(Loc, PrevSpec, DiagID);
1305      break;
1306
1307    // type-specifier
1308    case tok::kw_short:
1309      isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_short, Loc, PrevSpec,
1310                                      DiagID);
1311      break;
1312    case tok::kw_long:
1313      if (DS.getTypeSpecWidth() != DeclSpec::TSW_long)
1314        isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_long, Loc, PrevSpec,
1315                                        DiagID);
1316      else
1317        isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_longlong, Loc, PrevSpec,
1318                                        DiagID);
1319      break;
1320    case tok::kw_signed:
1321      isInvalid = DS.SetTypeSpecSign(DeclSpec::TSS_signed, Loc, PrevSpec,
1322                                     DiagID);
1323      break;
1324    case tok::kw_unsigned:
1325      isInvalid = DS.SetTypeSpecSign(DeclSpec::TSS_unsigned, Loc, PrevSpec,
1326                                     DiagID);
1327      break;
1328    case tok::kw__Complex:
1329      isInvalid = DS.SetTypeSpecComplex(DeclSpec::TSC_complex, Loc, PrevSpec,
1330                                        DiagID);
1331      break;
1332    case tok::kw__Imaginary:
1333      isInvalid = DS.SetTypeSpecComplex(DeclSpec::TSC_imaginary, Loc, PrevSpec,
1334                                        DiagID);
1335      break;
1336    case tok::kw_void:
1337      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_void, Loc, PrevSpec,
1338                                     DiagID);
1339      break;
1340    case tok::kw_char:
1341      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char, Loc, PrevSpec,
1342                                     DiagID);
1343      break;
1344    case tok::kw_int:
1345      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_int, Loc, PrevSpec,
1346                                     DiagID);
1347      break;
1348    case tok::kw_float:
1349      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_float, Loc, PrevSpec,
1350                                     DiagID);
1351      break;
1352    case tok::kw_double:
1353      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_double, Loc, PrevSpec,
1354                                     DiagID);
1355      break;
1356    case tok::kw_wchar_t:
1357      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_wchar, Loc, PrevSpec,
1358                                     DiagID);
1359      break;
1360    case tok::kw_char16_t:
1361      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char16, Loc, PrevSpec,
1362                                     DiagID);
1363      break;
1364    case tok::kw_char32_t:
1365      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char32, Loc, PrevSpec,
1366                                     DiagID);
1367      break;
1368    case tok::kw_bool:
1369    case tok::kw__Bool:
1370      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_bool, Loc, PrevSpec,
1371                                     DiagID);
1372      break;
1373    case tok::kw__Decimal32:
1374      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal32, Loc, PrevSpec,
1375                                     DiagID);
1376      break;
1377    case tok::kw__Decimal64:
1378      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal64, Loc, PrevSpec,
1379                                     DiagID);
1380      break;
1381    case tok::kw__Decimal128:
1382      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal128, Loc, PrevSpec,
1383                                     DiagID);
1384      break;
1385    case tok::kw___vector:
1386      isInvalid = DS.SetTypeAltiVecVector(true, Loc, PrevSpec, DiagID);
1387      break;
1388    case tok::kw___pixel:
1389      isInvalid = DS.SetTypeAltiVecPixel(true, Loc, PrevSpec, DiagID);
1390      break;
1391
1392    // class-specifier:
1393    case tok::kw_class:
1394    case tok::kw_struct:
1395    case tok::kw_union: {
1396      tok::TokenKind Kind = Tok.getKind();
1397      ConsumeToken();
1398      ParseClassSpecifier(Kind, Loc, DS, TemplateInfo, AS);
1399      continue;
1400    }
1401
1402    // enum-specifier:
1403    case tok::kw_enum:
1404      ConsumeToken();
1405      ParseEnumSpecifier(Loc, DS, TemplateInfo, AS);
1406      continue;
1407
1408    // cv-qualifier:
1409    case tok::kw_const:
1410      isInvalid = DS.SetTypeQual(DeclSpec::TQ_const, Loc, PrevSpec, DiagID,
1411                                 getLang());
1412      break;
1413    case tok::kw_volatile:
1414      isInvalid = DS.SetTypeQual(DeclSpec::TQ_volatile, Loc, PrevSpec, DiagID,
1415                                 getLang());
1416      break;
1417    case tok::kw_restrict:
1418      isInvalid = DS.SetTypeQual(DeclSpec::TQ_restrict, Loc, PrevSpec, DiagID,
1419                                 getLang());
1420      break;
1421
1422    // C++ typename-specifier:
1423    case tok::kw_typename:
1424      if (TryAnnotateTypeOrScopeToken()) {
1425        DS.SetTypeSpecError();
1426        goto DoneWithDeclSpec;
1427      }
1428      if (!Tok.is(tok::kw_typename))
1429        continue;
1430      break;
1431
1432    // GNU typeof support.
1433    case tok::kw_typeof:
1434      ParseTypeofSpecifier(DS);
1435      continue;
1436
1437    case tok::kw_decltype:
1438      ParseDecltypeSpecifier(DS);
1439      continue;
1440
1441    case tok::less:
1442      // GCC ObjC supports types like "<SomeProtocol>" as a synonym for
1443      // "id<SomeProtocol>".  This is hopelessly old fashioned and dangerous,
1444      // but we support it.
1445      if (DS.hasTypeSpecifier() || !getLang().ObjC1)
1446        goto DoneWithDeclSpec;
1447
1448      {
1449        SourceLocation LAngleLoc, EndProtoLoc;
1450        llvm::SmallVector<Decl *, 8> ProtocolDecl;
1451        llvm::SmallVector<SourceLocation, 8> ProtocolLocs;
1452        ParseObjCProtocolReferences(ProtocolDecl, ProtocolLocs, false,
1453                                    LAngleLoc, EndProtoLoc);
1454        DS.setProtocolQualifiers(ProtocolDecl.data(), ProtocolDecl.size(),
1455                                 ProtocolLocs.data(), LAngleLoc);
1456        DS.SetRangeEnd(EndProtoLoc);
1457
1458        Diag(Loc, diag::warn_objc_protocol_qualifier_missing_id)
1459          << FixItHint::CreateInsertion(Loc, "id")
1460          << SourceRange(Loc, EndProtoLoc);
1461        // Need to support trailing type qualifiers (e.g. "id<p> const").
1462        // If a type specifier follows, it will be diagnosed elsewhere.
1463        continue;
1464      }
1465    }
1466    // If the specifier wasn't legal, issue a diagnostic.
1467    if (isInvalid) {
1468      assert(PrevSpec && "Method did not return previous specifier!");
1469      assert(DiagID);
1470
1471      if (DiagID == diag::ext_duplicate_declspec)
1472        Diag(Tok, DiagID)
1473          << PrevSpec << FixItHint::CreateRemoval(Tok.getLocation());
1474      else
1475        Diag(Tok, DiagID) << PrevSpec;
1476    }
1477    DS.SetRangeEnd(Tok.getLocation());
1478    ConsumeToken();
1479  }
1480}
1481
1482/// ParseOptionalTypeSpecifier - Try to parse a single type-specifier. We
1483/// primarily follow the C++ grammar with additions for C99 and GNU,
1484/// which together subsume the C grammar. Note that the C++
1485/// type-specifier also includes the C type-qualifier (for const,
1486/// volatile, and C99 restrict). Returns true if a type-specifier was
1487/// found (and parsed), false otherwise.
1488///
1489///       type-specifier: [C++ 7.1.5]
1490///         simple-type-specifier
1491///         class-specifier
1492///         enum-specifier
1493///         elaborated-type-specifier  [TODO]
1494///         cv-qualifier
1495///
1496///       cv-qualifier: [C++ 7.1.5.1]
1497///         'const'
1498///         'volatile'
1499/// [C99]   'restrict'
1500///
1501///       simple-type-specifier: [ C++ 7.1.5.2]
1502///         '::'[opt] nested-name-specifier[opt] type-name [TODO]
1503///         '::'[opt] nested-name-specifier 'template' template-id [TODO]
1504///         'char'
1505///         'wchar_t'
1506///         'bool'
1507///         'short'
1508///         'int'
1509///         'long'
1510///         'signed'
1511///         'unsigned'
1512///         'float'
1513///         'double'
1514///         'void'
1515/// [C99]   '_Bool'
1516/// [C99]   '_Complex'
1517/// [C99]   '_Imaginary'  // Removed in TC2?
1518/// [GNU]   '_Decimal32'
1519/// [GNU]   '_Decimal64'
1520/// [GNU]   '_Decimal128'
1521/// [GNU]   typeof-specifier
1522/// [OBJC]  class-name objc-protocol-refs[opt]    [TODO]
1523/// [OBJC]  typedef-name objc-protocol-refs[opt]  [TODO]
1524/// [C++0x] 'decltype' ( expression )
1525/// [AltiVec] '__vector'
1526bool Parser::ParseOptionalTypeSpecifier(DeclSpec &DS, bool& isInvalid,
1527                                        const char *&PrevSpec,
1528                                        unsigned &DiagID,
1529                                        const ParsedTemplateInfo &TemplateInfo,
1530                                        bool SuppressDeclarations) {
1531  SourceLocation Loc = Tok.getLocation();
1532
1533  switch (Tok.getKind()) {
1534  case tok::identifier:   // foo::bar
1535    // If we already have a type specifier, this identifier is not a type.
1536    if (DS.getTypeSpecType() != DeclSpec::TST_unspecified ||
1537        DS.getTypeSpecWidth() != DeclSpec::TSW_unspecified ||
1538        DS.getTypeSpecSign() != DeclSpec::TSS_unspecified)
1539      return false;
1540    // Check for need to substitute AltiVec keyword tokens.
1541    if (TryAltiVecToken(DS, Loc, PrevSpec, DiagID, isInvalid))
1542      break;
1543    // Fall through.
1544  case tok::kw_typename:  // typename foo::bar
1545    // Annotate typenames and C++ scope specifiers.  If we get one, just
1546    // recurse to handle whatever we get.
1547    if (TryAnnotateTypeOrScopeToken())
1548      return true;
1549    if (Tok.is(tok::identifier))
1550      return false;
1551    return ParseOptionalTypeSpecifier(DS, isInvalid, PrevSpec, DiagID,
1552                                      TemplateInfo, SuppressDeclarations);
1553  case tok::coloncolon:   // ::foo::bar
1554    if (NextToken().is(tok::kw_new) ||    // ::new
1555        NextToken().is(tok::kw_delete))   // ::delete
1556      return false;
1557
1558    // Annotate typenames and C++ scope specifiers.  If we get one, just
1559    // recurse to handle whatever we get.
1560    if (TryAnnotateTypeOrScopeToken())
1561      return true;
1562    return ParseOptionalTypeSpecifier(DS, isInvalid, PrevSpec, DiagID,
1563                                      TemplateInfo, SuppressDeclarations);
1564
1565  // simple-type-specifier:
1566  case tok::annot_typename: {
1567    if (ParsedType T = getTypeAnnotation(Tok)) {
1568      isInvalid = DS.SetTypeSpecType(DeclSpec::TST_typename, Loc, PrevSpec,
1569                                     DiagID, T);
1570    } else
1571      DS.SetTypeSpecError();
1572    DS.SetRangeEnd(Tok.getAnnotationEndLoc());
1573    ConsumeToken(); // The typename
1574
1575    // Objective-C supports syntax of the form 'id<proto1,proto2>' where 'id'
1576    // is a specific typedef and 'itf<proto1,proto2>' where 'itf' is an
1577    // Objective-C interface.  If we don't have Objective-C or a '<', this is
1578    // just a normal reference to a typedef name.
1579    if (!Tok.is(tok::less) || !getLang().ObjC1)
1580      return true;
1581
1582    SourceLocation LAngleLoc, EndProtoLoc;
1583    llvm::SmallVector<Decl *, 8> ProtocolDecl;
1584    llvm::SmallVector<SourceLocation, 8> ProtocolLocs;
1585    ParseObjCProtocolReferences(ProtocolDecl, ProtocolLocs, false,
1586                                LAngleLoc, EndProtoLoc);
1587    DS.setProtocolQualifiers(ProtocolDecl.data(), ProtocolDecl.size(),
1588                             ProtocolLocs.data(), LAngleLoc);
1589
1590    DS.SetRangeEnd(EndProtoLoc);
1591    return true;
1592  }
1593
1594  case tok::kw_short:
1595    isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_short, Loc, PrevSpec, DiagID);
1596    break;
1597  case tok::kw_long:
1598    if (DS.getTypeSpecWidth() != DeclSpec::TSW_long)
1599      isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_long, Loc, PrevSpec,
1600                                      DiagID);
1601    else
1602      isInvalid = DS.SetTypeSpecWidth(DeclSpec::TSW_longlong, Loc, PrevSpec,
1603                                      DiagID);
1604    break;
1605  case tok::kw_signed:
1606    isInvalid = DS.SetTypeSpecSign(DeclSpec::TSS_signed, Loc, PrevSpec, DiagID);
1607    break;
1608  case tok::kw_unsigned:
1609    isInvalid = DS.SetTypeSpecSign(DeclSpec::TSS_unsigned, Loc, PrevSpec,
1610                                   DiagID);
1611    break;
1612  case tok::kw__Complex:
1613    isInvalid = DS.SetTypeSpecComplex(DeclSpec::TSC_complex, Loc, PrevSpec,
1614                                      DiagID);
1615    break;
1616  case tok::kw__Imaginary:
1617    isInvalid = DS.SetTypeSpecComplex(DeclSpec::TSC_imaginary, Loc, PrevSpec,
1618                                      DiagID);
1619    break;
1620  case tok::kw_void:
1621    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_void, Loc, PrevSpec, DiagID);
1622    break;
1623  case tok::kw_char:
1624    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char, Loc, PrevSpec, DiagID);
1625    break;
1626  case tok::kw_int:
1627    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_int, Loc, PrevSpec, DiagID);
1628    break;
1629  case tok::kw_float:
1630    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_float, Loc, PrevSpec, DiagID);
1631    break;
1632  case tok::kw_double:
1633    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_double, Loc, PrevSpec, DiagID);
1634    break;
1635  case tok::kw_wchar_t:
1636    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_wchar, Loc, PrevSpec, DiagID);
1637    break;
1638  case tok::kw_char16_t:
1639    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char16, Loc, PrevSpec, DiagID);
1640    break;
1641  case tok::kw_char32_t:
1642    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_char32, Loc, PrevSpec, DiagID);
1643    break;
1644  case tok::kw_bool:
1645  case tok::kw__Bool:
1646    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_bool, Loc, PrevSpec, DiagID);
1647    break;
1648  case tok::kw__Decimal32:
1649    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal32, Loc, PrevSpec,
1650                                   DiagID);
1651    break;
1652  case tok::kw__Decimal64:
1653    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal64, Loc, PrevSpec,
1654                                   DiagID);
1655    break;
1656  case tok::kw__Decimal128:
1657    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_decimal128, Loc, PrevSpec,
1658                                   DiagID);
1659    break;
1660  case tok::kw___vector:
1661    isInvalid = DS.SetTypeAltiVecVector(true, Loc, PrevSpec, DiagID);
1662    break;
1663  case tok::kw___pixel:
1664    isInvalid = DS.SetTypeAltiVecPixel(true, Loc, PrevSpec, DiagID);
1665    break;
1666
1667  // class-specifier:
1668  case tok::kw_class:
1669  case tok::kw_struct:
1670  case tok::kw_union: {
1671    tok::TokenKind Kind = Tok.getKind();
1672    ConsumeToken();
1673    ParseClassSpecifier(Kind, Loc, DS, TemplateInfo, AS_none,
1674                        SuppressDeclarations);
1675    return true;
1676  }
1677
1678  // enum-specifier:
1679  case tok::kw_enum:
1680    ConsumeToken();
1681    ParseEnumSpecifier(Loc, DS, TemplateInfo, AS_none);
1682    return true;
1683
1684  // cv-qualifier:
1685  case tok::kw_const:
1686    isInvalid = DS.SetTypeQual(DeclSpec::TQ_const   , Loc, PrevSpec,
1687                               DiagID, getLang());
1688    break;
1689  case tok::kw_volatile:
1690    isInvalid = DS.SetTypeQual(DeclSpec::TQ_volatile, Loc, PrevSpec,
1691                               DiagID, getLang());
1692    break;
1693  case tok::kw_restrict:
1694    isInvalid = DS.SetTypeQual(DeclSpec::TQ_restrict, Loc, PrevSpec,
1695                               DiagID, getLang());
1696    break;
1697
1698  // GNU typeof support.
1699  case tok::kw_typeof:
1700    ParseTypeofSpecifier(DS);
1701    return true;
1702
1703  // C++0x decltype support.
1704  case tok::kw_decltype:
1705    ParseDecltypeSpecifier(DS);
1706    return true;
1707
1708  // C++0x auto support.
1709  case tok::kw_auto:
1710    if (!getLang().CPlusPlus0x)
1711      return false;
1712
1713    isInvalid = DS.SetTypeSpecType(DeclSpec::TST_auto, Loc, PrevSpec, DiagID);
1714    break;
1715
1716  case tok::kw___ptr64:
1717  case tok::kw___w64:
1718  case tok::kw___cdecl:
1719  case tok::kw___stdcall:
1720  case tok::kw___fastcall:
1721  case tok::kw___thiscall:
1722    DS.AddAttributes(ParseMicrosoftTypeAttributes());
1723    return true;
1724
1725  case tok::kw___pascal:
1726    DS.AddAttributes(ParseBorlandTypeAttributes());
1727    return true;
1728
1729  default:
1730    // Not a type-specifier; do nothing.
1731    return false;
1732  }
1733
1734  // If the specifier combination wasn't legal, issue a diagnostic.
1735  if (isInvalid) {
1736    assert(PrevSpec && "Method did not return previous specifier!");
1737    // Pick between error or extwarn.
1738    Diag(Tok, DiagID) << PrevSpec;
1739  }
1740  DS.SetRangeEnd(Tok.getLocation());
1741  ConsumeToken(); // whatever we parsed above.
1742  return true;
1743}
1744
1745/// ParseStructDeclaration - Parse a struct declaration without the terminating
1746/// semicolon.
1747///
1748///       struct-declaration:
1749///         specifier-qualifier-list struct-declarator-list
1750/// [GNU]   __extension__ struct-declaration
1751/// [GNU]   specifier-qualifier-list
1752///       struct-declarator-list:
1753///         struct-declarator
1754///         struct-declarator-list ',' struct-declarator
1755/// [GNU]   struct-declarator-list ',' attributes[opt] struct-declarator
1756///       struct-declarator:
1757///         declarator
1758/// [GNU]   declarator attributes[opt]
1759///         declarator[opt] ':' constant-expression
1760/// [GNU]   declarator[opt] ':' constant-expression attributes[opt]
1761///
1762void Parser::
1763ParseStructDeclaration(DeclSpec &DS, FieldCallback &Fields) {
1764  if (Tok.is(tok::kw___extension__)) {
1765    // __extension__ silences extension warnings in the subexpression.
1766    ExtensionRAIIObject O(Diags);  // Use RAII to do this.
1767    ConsumeToken();
1768    return ParseStructDeclaration(DS, Fields);
1769  }
1770
1771  // Parse the common specifier-qualifiers-list piece.
1772  SourceLocation DSStart = Tok.getLocation();
1773  ParseSpecifierQualifierList(DS);
1774
1775  // If there are no declarators, this is a free-standing declaration
1776  // specifier. Let the actions module cope with it.
1777  if (Tok.is(tok::semi)) {
1778    Actions.ParsedFreeStandingDeclSpec(getCurScope(), AS_none, DS);
1779    return;
1780  }
1781
1782  // Read struct-declarators until we find the semicolon.
1783  bool FirstDeclarator = true;
1784  while (1) {
1785    ParsingDeclRAIIObject PD(*this);
1786    FieldDeclarator DeclaratorInfo(DS);
1787
1788    // Attributes are only allowed here on successive declarators.
1789    if (!FirstDeclarator && Tok.is(tok::kw___attribute)) {
1790      SourceLocation Loc;
1791      AttributeList *AttrList = ParseGNUAttributes(&Loc);
1792      DeclaratorInfo.D.AddAttributes(AttrList, Loc);
1793    }
1794
1795    /// struct-declarator: declarator
1796    /// struct-declarator: declarator[opt] ':' constant-expression
1797    if (Tok.isNot(tok::colon)) {
1798      // Don't parse FOO:BAR as if it were a typo for FOO::BAR.
1799      ColonProtectionRAIIObject X(*this);
1800      ParseDeclarator(DeclaratorInfo.D);
1801    }
1802
1803    if (Tok.is(tok::colon)) {
1804      ConsumeToken();
1805      ExprResult Res(ParseConstantExpression());
1806      if (Res.isInvalid())
1807        SkipUntil(tok::semi, true, true);
1808      else
1809        DeclaratorInfo.BitfieldSize = Res.release();
1810    }
1811
1812    // If attributes exist after the declarator, parse them.
1813    if (Tok.is(tok::kw___attribute)) {
1814      SourceLocation Loc;
1815      AttributeList *AttrList = ParseGNUAttributes(&Loc);
1816      DeclaratorInfo.D.AddAttributes(AttrList, Loc);
1817    }
1818
1819    // We're done with this declarator;  invoke the callback.
1820    Decl *D = Fields.invoke(DeclaratorInfo);
1821    PD.complete(D);
1822
1823    // If we don't have a comma, it is either the end of the list (a ';')
1824    // or an error, bail out.
1825    if (Tok.isNot(tok::comma))
1826      return;
1827
1828    // Consume the comma.
1829    ConsumeToken();
1830
1831    FirstDeclarator = false;
1832  }
1833}
1834
1835/// ParseStructUnionBody
1836///       struct-contents:
1837///         struct-declaration-list
1838/// [EXT]   empty
1839/// [GNU]   "struct-declaration-list" without terminatoring ';'
1840///       struct-declaration-list:
1841///         struct-declaration
1842///         struct-declaration-list struct-declaration
1843/// [OBC]   '@' 'defs' '(' class-name ')'
1844///
1845void Parser::ParseStructUnionBody(SourceLocation RecordLoc,
1846                                  unsigned TagType, Decl *TagDecl) {
1847  PrettyDeclStackTraceEntry CrashInfo(Actions, TagDecl, RecordLoc,
1848                                      "parsing struct/union body");
1849
1850  SourceLocation LBraceLoc = ConsumeBrace();
1851
1852  ParseScope StructScope(this, Scope::ClassScope|Scope::DeclScope);
1853  Actions.ActOnTagStartDefinition(getCurScope(), TagDecl);
1854
1855  // Empty structs are an extension in C (C99 6.7.2.1p7), but are allowed in
1856  // C++.
1857  if (Tok.is(tok::r_brace) && !getLang().CPlusPlus)
1858    Diag(Tok, diag::ext_empty_struct_union)
1859      << (TagType == TST_union);
1860
1861  llvm::SmallVector<Decl *, 32> FieldDecls;
1862
1863  // While we still have something to read, read the declarations in the struct.
1864  while (Tok.isNot(tok::r_brace) && Tok.isNot(tok::eof)) {
1865    // Each iteration of this loop reads one struct-declaration.
1866
1867    // Check for extraneous top-level semicolon.
1868    if (Tok.is(tok::semi)) {
1869      Diag(Tok, diag::ext_extra_struct_semi)
1870        << DeclSpec::getSpecifierName((DeclSpec::TST)TagType)
1871        << FixItHint::CreateRemoval(Tok.getLocation());
1872      ConsumeToken();
1873      continue;
1874    }
1875
1876    // Parse all the comma separated declarators.
1877    DeclSpec DS;
1878
1879    if (!Tok.is(tok::at)) {
1880      struct CFieldCallback : FieldCallback {
1881        Parser &P;
1882        Decl *TagDecl;
1883        llvm::SmallVectorImpl<Decl *> &FieldDecls;
1884
1885        CFieldCallback(Parser &P, Decl *TagDecl,
1886                       llvm::SmallVectorImpl<Decl *> &FieldDecls) :
1887          P(P), TagDecl(TagDecl), FieldDecls(FieldDecls) {}
1888
1889        virtual Decl *invoke(FieldDeclarator &FD) {
1890          // Install the declarator into the current TagDecl.
1891          Decl *Field = P.Actions.ActOnField(P.getCurScope(), TagDecl,
1892                              FD.D.getDeclSpec().getSourceRange().getBegin(),
1893                                                 FD.D, FD.BitfieldSize);
1894          FieldDecls.push_back(Field);
1895          return Field;
1896        }
1897      } Callback(*this, TagDecl, FieldDecls);
1898
1899      ParseStructDeclaration(DS, Callback);
1900    } else { // Handle @defs
1901      ConsumeToken();
1902      if (!Tok.isObjCAtKeyword(tok::objc_defs)) {
1903        Diag(Tok, diag::err_unexpected_at);
1904        SkipUntil(tok::semi, true);
1905        continue;
1906      }
1907      ConsumeToken();
1908      ExpectAndConsume(tok::l_paren, diag::err_expected_lparen);
1909      if (!Tok.is(tok::identifier)) {
1910        Diag(Tok, diag::err_expected_ident);
1911        SkipUntil(tok::semi, true);
1912        continue;
1913      }
1914      llvm::SmallVector<Decl *, 16> Fields;
1915      Actions.ActOnDefs(getCurScope(), TagDecl, Tok.getLocation(),
1916                        Tok.getIdentifierInfo(), Fields);
1917      FieldDecls.insert(FieldDecls.end(), Fields.begin(), Fields.end());
1918      ConsumeToken();
1919      ExpectAndConsume(tok::r_paren, diag::err_expected_rparen);
1920    }
1921
1922    if (Tok.is(tok::semi)) {
1923      ConsumeToken();
1924    } else if (Tok.is(tok::r_brace)) {
1925      ExpectAndConsume(tok::semi, diag::ext_expected_semi_decl_list);
1926      break;
1927    } else {
1928      ExpectAndConsume(tok::semi, diag::err_expected_semi_decl_list);
1929      // Skip to end of block or statement to avoid ext-warning on extra ';'.
1930      SkipUntil(tok::r_brace, true, true);
1931      // If we stopped at a ';', eat it.
1932      if (Tok.is(tok::semi)) ConsumeToken();
1933    }
1934  }
1935
1936  SourceLocation RBraceLoc = MatchRHSPunctuation(tok::r_brace, LBraceLoc);
1937
1938  llvm::OwningPtr<AttributeList> AttrList;
1939  // If attributes exist after struct contents, parse them.
1940  if (Tok.is(tok::kw___attribute))
1941    AttrList.reset(ParseGNUAttributes());
1942
1943  Actions.ActOnFields(getCurScope(),
1944                      RecordLoc, TagDecl, FieldDecls.data(), FieldDecls.size(),
1945                      LBraceLoc, RBraceLoc,
1946                      AttrList.get());
1947  StructScope.Exit();
1948  Actions.ActOnTagFinishDefinition(getCurScope(), TagDecl, RBraceLoc);
1949}
1950
1951
1952/// ParseEnumSpecifier
1953///       enum-specifier: [C99 6.7.2.2]
1954///         'enum' identifier[opt] '{' enumerator-list '}'
1955///[C99/C++]'enum' identifier[opt] '{' enumerator-list ',' '}'
1956/// [GNU]   'enum' attributes[opt] identifier[opt] '{' enumerator-list ',' [opt]
1957///                                                 '}' attributes[opt]
1958///         'enum' identifier
1959/// [GNU]   'enum' attributes[opt] identifier
1960///
1961/// [C++] elaborated-type-specifier:
1962/// [C++]   'enum' '::'[opt] nested-name-specifier[opt] identifier
1963///
1964void Parser::ParseEnumSpecifier(SourceLocation StartLoc, DeclSpec &DS,
1965                                const ParsedTemplateInfo &TemplateInfo,
1966                                AccessSpecifier AS) {
1967  // Parse the tag portion of this.
1968  if (Tok.is(tok::code_completion)) {
1969    // Code completion for an enum name.
1970    Actions.CodeCompleteTag(getCurScope(), DeclSpec::TST_enum);
1971    ConsumeCodeCompletionToken();
1972  }
1973
1974  llvm::OwningPtr<AttributeList> Attr;
1975  // If attributes exist after tag, parse them.
1976  if (Tok.is(tok::kw___attribute))
1977    Attr.reset(ParseGNUAttributes());
1978
1979  CXXScopeSpec &SS = DS.getTypeSpecScope();
1980  if (getLang().CPlusPlus) {
1981    if (ParseOptionalCXXScopeSpecifier(SS, ParsedType(), false))
1982      return;
1983
1984    if (SS.isSet() && Tok.isNot(tok::identifier)) {
1985      Diag(Tok, diag::err_expected_ident);
1986      if (Tok.isNot(tok::l_brace)) {
1987        // Has no name and is not a definition.
1988        // Skip the rest of this declarator, up until the comma or semicolon.
1989        SkipUntil(tok::comma, true);
1990        return;
1991      }
1992    }
1993  }
1994
1995  // Must have either 'enum name' or 'enum {...}'.
1996  if (Tok.isNot(tok::identifier) && Tok.isNot(tok::l_brace)) {
1997    Diag(Tok, diag::err_expected_ident_lbrace);
1998
1999    // Skip the rest of this declarator, up until the comma or semicolon.
2000    SkipUntil(tok::comma, true);
2001    return;
2002  }
2003
2004  // If an identifier is present, consume and remember it.
2005  IdentifierInfo *Name = 0;
2006  SourceLocation NameLoc;
2007  if (Tok.is(tok::identifier)) {
2008    Name = Tok.getIdentifierInfo();
2009    NameLoc = ConsumeToken();
2010  }
2011
2012  // There are three options here.  If we have 'enum foo;', then this is a
2013  // forward declaration.  If we have 'enum foo {...' then this is a
2014  // definition. Otherwise we have something like 'enum foo xyz', a reference.
2015  //
2016  // This is needed to handle stuff like this right (C99 6.7.2.3p11):
2017  // enum foo {..};  void bar() { enum foo; }    <- new foo in bar.
2018  // enum foo {..};  void bar() { enum foo x; }  <- use of old foo.
2019  //
2020  Sema::TagUseKind TUK;
2021  if (Tok.is(tok::l_brace))
2022    TUK = Sema::TUK_Definition;
2023  else if (Tok.is(tok::semi))
2024    TUK = Sema::TUK_Declaration;
2025  else
2026    TUK = Sema::TUK_Reference;
2027
2028  // enums cannot be templates, although they can be referenced from a
2029  // template.
2030  if (TemplateInfo.Kind != ParsedTemplateInfo::NonTemplate &&
2031      TUK != Sema::TUK_Reference) {
2032    Diag(Tok, diag::err_enum_template);
2033
2034    // Skip the rest of this declarator, up until the comma or semicolon.
2035    SkipUntil(tok::comma, true);
2036    return;
2037  }
2038
2039  bool Owned = false;
2040  bool IsDependent = false;
2041  SourceLocation TSTLoc = NameLoc.isValid()? NameLoc : StartLoc;
2042  const char *PrevSpec = 0;
2043  unsigned DiagID;
2044  Decl *TagDecl = Actions.ActOnTag(getCurScope(), DeclSpec::TST_enum, TUK,
2045                                   StartLoc, SS, Name, NameLoc, Attr.get(),
2046                                   AS,
2047                                   MultiTemplateParamsArg(Actions),
2048                                   Owned, IsDependent);
2049  if (IsDependent) {
2050    // This enum has a dependent nested-name-specifier. Handle it as a
2051    // dependent tag.
2052    if (!Name) {
2053      DS.SetTypeSpecError();
2054      Diag(Tok, diag::err_expected_type_name_after_typename);
2055      return;
2056    }
2057
2058    TypeResult Type = Actions.ActOnDependentTag(getCurScope(), DeclSpec::TST_enum,
2059                                                TUK, SS, Name, StartLoc,
2060                                                NameLoc);
2061    if (Type.isInvalid()) {
2062      DS.SetTypeSpecError();
2063      return;
2064    }
2065
2066    if (DS.SetTypeSpecType(DeclSpec::TST_typename, TSTLoc, PrevSpec, DiagID,
2067                           Type.get()))
2068      Diag(StartLoc, DiagID) << PrevSpec;
2069
2070    return;
2071  }
2072
2073  if (!TagDecl) {
2074    // The action failed to produce an enumeration tag. If this is a
2075    // definition, consume the entire definition.
2076    if (Tok.is(tok::l_brace)) {
2077      ConsumeBrace();
2078      SkipUntil(tok::r_brace);
2079    }
2080
2081    DS.SetTypeSpecError();
2082    return;
2083  }
2084
2085  if (Tok.is(tok::l_brace))
2086    ParseEnumBody(StartLoc, TagDecl);
2087
2088  // FIXME: The DeclSpec should keep the locations of both the keyword
2089  // and the name (if there is one).
2090  if (DS.SetTypeSpecType(DeclSpec::TST_enum, TSTLoc, PrevSpec, DiagID,
2091                         TagDecl, Owned))
2092    Diag(StartLoc, DiagID) << PrevSpec;
2093}
2094
2095/// ParseEnumBody - Parse a {} enclosed enumerator-list.
2096///       enumerator-list:
2097///         enumerator
2098///         enumerator-list ',' enumerator
2099///       enumerator:
2100///         enumeration-constant
2101///         enumeration-constant '=' constant-expression
2102///       enumeration-constant:
2103///         identifier
2104///
2105void Parser::ParseEnumBody(SourceLocation StartLoc, Decl *EnumDecl) {
2106  // Enter the scope of the enum body and start the definition.
2107  ParseScope EnumScope(this, Scope::DeclScope);
2108  Actions.ActOnTagStartDefinition(getCurScope(), EnumDecl);
2109
2110  SourceLocation LBraceLoc = ConsumeBrace();
2111
2112  // C does not allow an empty enumerator-list, C++ does [dcl.enum].
2113  if (Tok.is(tok::r_brace) && !getLang().CPlusPlus)
2114    Diag(Tok, diag::error_empty_enum);
2115
2116  llvm::SmallVector<Decl *, 32> EnumConstantDecls;
2117
2118  Decl *LastEnumConstDecl = 0;
2119
2120  // Parse the enumerator-list.
2121  while (Tok.is(tok::identifier)) {
2122    IdentifierInfo *Ident = Tok.getIdentifierInfo();
2123    SourceLocation IdentLoc = ConsumeToken();
2124
2125    SourceLocation EqualLoc;
2126    ExprResult AssignedVal;
2127    if (Tok.is(tok::equal)) {
2128      EqualLoc = ConsumeToken();
2129      AssignedVal = ParseConstantExpression();
2130      if (AssignedVal.isInvalid())
2131        SkipUntil(tok::comma, tok::r_brace, true, true);
2132    }
2133
2134    // Install the enumerator constant into EnumDecl.
2135    Decl *EnumConstDecl = Actions.ActOnEnumConstant(getCurScope(), EnumDecl,
2136                                                    LastEnumConstDecl,
2137                                                    IdentLoc, Ident,
2138                                                    EqualLoc,
2139                                                    AssignedVal.release());
2140    EnumConstantDecls.push_back(EnumConstDecl);
2141    LastEnumConstDecl = EnumConstDecl;
2142
2143    if (Tok.is(tok::identifier)) {
2144      // We're missing a comma between enumerators.
2145      SourceLocation Loc = PP.getLocForEndOfToken(PrevTokLocation);
2146      Diag(Loc, diag::err_enumerator_list_missing_comma)
2147        << FixItHint::CreateInsertion(Loc, ", ");
2148      continue;
2149    }
2150
2151    if (Tok.isNot(tok::comma))
2152      break;
2153    SourceLocation CommaLoc = ConsumeToken();
2154
2155    if (Tok.isNot(tok::identifier) &&
2156        !(getLang().C99 || getLang().CPlusPlus0x))
2157      Diag(CommaLoc, diag::ext_enumerator_list_comma)
2158        << getLang().CPlusPlus
2159        << FixItHint::CreateRemoval(CommaLoc);
2160  }
2161
2162  // Eat the }.
2163  SourceLocation RBraceLoc = MatchRHSPunctuation(tok::r_brace, LBraceLoc);
2164
2165  llvm::OwningPtr<AttributeList> Attr;
2166  // If attributes exist after the identifier list, parse them.
2167  if (Tok.is(tok::kw___attribute))
2168    Attr.reset(ParseGNUAttributes()); // FIXME: where do they do?
2169
2170  Actions.ActOnEnumBody(StartLoc, LBraceLoc, RBraceLoc, EnumDecl,
2171                        EnumConstantDecls.data(), EnumConstantDecls.size(),
2172                        getCurScope(), Attr.get());
2173
2174  EnumScope.Exit();
2175  Actions.ActOnTagFinishDefinition(getCurScope(), EnumDecl, RBraceLoc);
2176}
2177
2178/// isTypeSpecifierQualifier - Return true if the current token could be the
2179/// start of a type-qualifier-list.
2180bool Parser::isTypeQualifier() const {
2181  switch (Tok.getKind()) {
2182  default: return false;
2183    // type-qualifier
2184  case tok::kw_const:
2185  case tok::kw_volatile:
2186  case tok::kw_restrict:
2187    return true;
2188  }
2189}
2190
2191/// isKnownToBeTypeSpecifier - Return true if we know that the specified token
2192/// is definitely a type-specifier.  Return false if it isn't part of a type
2193/// specifier or if we're not sure.
2194bool Parser::isKnownToBeTypeSpecifier(const Token &Tok) const {
2195  switch (Tok.getKind()) {
2196  default: return false;
2197    // type-specifiers
2198  case tok::kw_short:
2199  case tok::kw_long:
2200  case tok::kw_signed:
2201  case tok::kw_unsigned:
2202  case tok::kw__Complex:
2203  case tok::kw__Imaginary:
2204  case tok::kw_void:
2205  case tok::kw_char:
2206  case tok::kw_wchar_t:
2207  case tok::kw_char16_t:
2208  case tok::kw_char32_t:
2209  case tok::kw_int:
2210  case tok::kw_float:
2211  case tok::kw_double:
2212  case tok::kw_bool:
2213  case tok::kw__Bool:
2214  case tok::kw__Decimal32:
2215  case tok::kw__Decimal64:
2216  case tok::kw__Decimal128:
2217  case tok::kw___vector:
2218
2219    // struct-or-union-specifier (C99) or class-specifier (C++)
2220  case tok::kw_class:
2221  case tok::kw_struct:
2222  case tok::kw_union:
2223    // enum-specifier
2224  case tok::kw_enum:
2225
2226    // typedef-name
2227  case tok::annot_typename:
2228    return true;
2229  }
2230}
2231
2232/// isTypeSpecifierQualifier - Return true if the current token could be the
2233/// start of a specifier-qualifier-list.
2234bool Parser::isTypeSpecifierQualifier() {
2235  switch (Tok.getKind()) {
2236  default: return false;
2237
2238  case tok::identifier:   // foo::bar
2239    if (TryAltiVecVectorToken())
2240      return true;
2241    // Fall through.
2242  case tok::kw_typename:  // typename T::type
2243    // Annotate typenames and C++ scope specifiers.  If we get one, just
2244    // recurse to handle whatever we get.
2245    if (TryAnnotateTypeOrScopeToken())
2246      return true;
2247    if (Tok.is(tok::identifier))
2248      return false;
2249    return isTypeSpecifierQualifier();
2250
2251  case tok::coloncolon:   // ::foo::bar
2252    if (NextToken().is(tok::kw_new) ||    // ::new
2253        NextToken().is(tok::kw_delete))   // ::delete
2254      return false;
2255
2256    if (TryAnnotateTypeOrScopeToken())
2257      return true;
2258    return isTypeSpecifierQualifier();
2259
2260    // GNU attributes support.
2261  case tok::kw___attribute:
2262    // GNU typeof support.
2263  case tok::kw_typeof:
2264
2265    // type-specifiers
2266  case tok::kw_short:
2267  case tok::kw_long:
2268  case tok::kw_signed:
2269  case tok::kw_unsigned:
2270  case tok::kw__Complex:
2271  case tok::kw__Imaginary:
2272  case tok::kw_void:
2273  case tok::kw_char:
2274  case tok::kw_wchar_t:
2275  case tok::kw_char16_t:
2276  case tok::kw_char32_t:
2277  case tok::kw_int:
2278  case tok::kw_float:
2279  case tok::kw_double:
2280  case tok::kw_bool:
2281  case tok::kw__Bool:
2282  case tok::kw__Decimal32:
2283  case tok::kw__Decimal64:
2284  case tok::kw__Decimal128:
2285  case tok::kw___vector:
2286
2287    // struct-or-union-specifier (C99) or class-specifier (C++)
2288  case tok::kw_class:
2289  case tok::kw_struct:
2290  case tok::kw_union:
2291    // enum-specifier
2292  case tok::kw_enum:
2293
2294    // type-qualifier
2295  case tok::kw_const:
2296  case tok::kw_volatile:
2297  case tok::kw_restrict:
2298
2299    // typedef-name
2300  case tok::annot_typename:
2301    return true;
2302
2303    // GNU ObjC bizarre protocol extension: <proto1,proto2> with implicit 'id'.
2304  case tok::less:
2305    return getLang().ObjC1;
2306
2307  case tok::kw___cdecl:
2308  case tok::kw___stdcall:
2309  case tok::kw___fastcall:
2310  case tok::kw___thiscall:
2311  case tok::kw___w64:
2312  case tok::kw___ptr64:
2313  case tok::kw___pascal:
2314    return true;
2315  }
2316}
2317
2318/// isDeclarationSpecifier() - Return true if the current token is part of a
2319/// declaration specifier.
2320///
2321/// \param DisambiguatingWithExpression True to indicate that the purpose of
2322/// this check is to disambiguate between an expression and a declaration.
2323bool Parser::isDeclarationSpecifier(bool DisambiguatingWithExpression) {
2324  switch (Tok.getKind()) {
2325  default: return false;
2326
2327  case tok::identifier:   // foo::bar
2328    // Unfortunate hack to support "Class.factoryMethod" notation.
2329    if (getLang().ObjC1 && NextToken().is(tok::period))
2330      return false;
2331    if (TryAltiVecVectorToken())
2332      return true;
2333    // Fall through.
2334  case tok::kw_typename: // typename T::type
2335    // Annotate typenames and C++ scope specifiers.  If we get one, just
2336    // recurse to handle whatever we get.
2337    if (TryAnnotateTypeOrScopeToken())
2338      return true;
2339    if (Tok.is(tok::identifier))
2340      return false;
2341
2342    // If we're in Objective-C and we have an Objective-C class type followed
2343    // by an identifier and then either ':' or ']', in a place where an
2344    // expression is permitted, then this is probably a class message send
2345    // missing the initial '['. In this case, we won't consider this to be
2346    // the start of a declaration.
2347    if (DisambiguatingWithExpression &&
2348        isStartOfObjCClassMessageMissingOpenBracket())
2349      return false;
2350
2351    return isDeclarationSpecifier();
2352
2353  case tok::coloncolon:   // ::foo::bar
2354    if (NextToken().is(tok::kw_new) ||    // ::new
2355        NextToken().is(tok::kw_delete))   // ::delete
2356      return false;
2357
2358    // Annotate typenames and C++ scope specifiers.  If we get one, just
2359    // recurse to handle whatever we get.
2360    if (TryAnnotateTypeOrScopeToken())
2361      return true;
2362    return isDeclarationSpecifier();
2363
2364    // storage-class-specifier
2365  case tok::kw_typedef:
2366  case tok::kw_extern:
2367  case tok::kw___private_extern__:
2368  case tok::kw_static:
2369  case tok::kw_auto:
2370  case tok::kw_register:
2371  case tok::kw___thread:
2372
2373    // type-specifiers
2374  case tok::kw_short:
2375  case tok::kw_long:
2376  case tok::kw_signed:
2377  case tok::kw_unsigned:
2378  case tok::kw__Complex:
2379  case tok::kw__Imaginary:
2380  case tok::kw_void:
2381  case tok::kw_char:
2382  case tok::kw_wchar_t:
2383  case tok::kw_char16_t:
2384  case tok::kw_char32_t:
2385
2386  case tok::kw_int:
2387  case tok::kw_float:
2388  case tok::kw_double:
2389  case tok::kw_bool:
2390  case tok::kw__Bool:
2391  case tok::kw__Decimal32:
2392  case tok::kw__Decimal64:
2393  case tok::kw__Decimal128:
2394  case tok::kw___vector:
2395
2396    // struct-or-union-specifier (C99) or class-specifier (C++)
2397  case tok::kw_class:
2398  case tok::kw_struct:
2399  case tok::kw_union:
2400    // enum-specifier
2401  case tok::kw_enum:
2402
2403    // type-qualifier
2404  case tok::kw_const:
2405  case tok::kw_volatile:
2406  case tok::kw_restrict:
2407
2408    // function-specifier
2409  case tok::kw_inline:
2410  case tok::kw_virtual:
2411  case tok::kw_explicit:
2412
2413    // typedef-name
2414  case tok::annot_typename:
2415
2416    // GNU typeof support.
2417  case tok::kw_typeof:
2418
2419    // GNU attributes.
2420  case tok::kw___attribute:
2421    return true;
2422
2423    // GNU ObjC bizarre protocol extension: <proto1,proto2> with implicit 'id'.
2424  case tok::less:
2425    return getLang().ObjC1;
2426
2427  case tok::kw___declspec:
2428  case tok::kw___cdecl:
2429  case tok::kw___stdcall:
2430  case tok::kw___fastcall:
2431  case tok::kw___thiscall:
2432  case tok::kw___w64:
2433  case tok::kw___ptr64:
2434  case tok::kw___forceinline:
2435  case tok::kw___pascal:
2436    return true;
2437  }
2438}
2439
2440bool Parser::isConstructorDeclarator() {
2441  TentativeParsingAction TPA(*this);
2442
2443  // Parse the C++ scope specifier.
2444  CXXScopeSpec SS;
2445  if (ParseOptionalCXXScopeSpecifier(SS, ParsedType(), true)) {
2446    TPA.Revert();
2447    return false;
2448  }
2449
2450  // Parse the constructor name.
2451  if (Tok.is(tok::identifier) || Tok.is(tok::annot_template_id)) {
2452    // We already know that we have a constructor name; just consume
2453    // the token.
2454    ConsumeToken();
2455  } else {
2456    TPA.Revert();
2457    return false;
2458  }
2459
2460  // Current class name must be followed by a left parentheses.
2461  if (Tok.isNot(tok::l_paren)) {
2462    TPA.Revert();
2463    return false;
2464  }
2465  ConsumeParen();
2466
2467  // A right parentheses or ellipsis signals that we have a constructor.
2468  if (Tok.is(tok::r_paren) || Tok.is(tok::ellipsis)) {
2469    TPA.Revert();
2470    return true;
2471  }
2472
2473  // If we need to, enter the specified scope.
2474  DeclaratorScopeObj DeclScopeObj(*this, SS);
2475  if (SS.isSet() && Actions.ShouldEnterDeclaratorScope(getCurScope(), SS))
2476    DeclScopeObj.EnterDeclaratorScope();
2477
2478  // Check whether the next token(s) are part of a declaration
2479  // specifier, in which case we have the start of a parameter and,
2480  // therefore, we know that this is a constructor.
2481  bool IsConstructor = isDeclarationSpecifier();
2482  TPA.Revert();
2483  return IsConstructor;
2484}
2485
2486/// ParseTypeQualifierListOpt
2487///          type-qualifier-list: [C99 6.7.5]
2488///            type-qualifier
2489/// [vendor]   attributes
2490///              [ only if VendorAttributesAllowed=true ]
2491///            type-qualifier-list type-qualifier
2492/// [vendor]   type-qualifier-list attributes
2493///              [ only if VendorAttributesAllowed=true ]
2494/// [C++0x]    attribute-specifier[opt] is allowed before cv-qualifier-seq
2495///              [ only if CXX0XAttributesAllowed=true ]
2496/// Note: vendor can be GNU, MS, etc.
2497///
2498void Parser::ParseTypeQualifierListOpt(DeclSpec &DS,
2499                                       bool VendorAttributesAllowed,
2500                                       bool CXX0XAttributesAllowed) {
2501  if (getLang().CPlusPlus0x && isCXX0XAttributeSpecifier()) {
2502    SourceLocation Loc = Tok.getLocation();
2503    CXX0XAttributeList Attr = ParseCXX0XAttributes();
2504    if (CXX0XAttributesAllowed)
2505      DS.AddAttributes(Attr.AttrList);
2506    else
2507      Diag(Loc, diag::err_attributes_not_allowed);
2508  }
2509
2510  while (1) {
2511    bool isInvalid = false;
2512    const char *PrevSpec = 0;
2513    unsigned DiagID = 0;
2514    SourceLocation Loc = Tok.getLocation();
2515
2516    switch (Tok.getKind()) {
2517    case tok::code_completion:
2518      Actions.CodeCompleteTypeQualifiers(DS);
2519      ConsumeCodeCompletionToken();
2520      break;
2521
2522    case tok::kw_const:
2523      isInvalid = DS.SetTypeQual(DeclSpec::TQ_const   , Loc, PrevSpec, DiagID,
2524                                 getLang());
2525      break;
2526    case tok::kw_volatile:
2527      isInvalid = DS.SetTypeQual(DeclSpec::TQ_volatile, Loc, PrevSpec, DiagID,
2528                                 getLang());
2529      break;
2530    case tok::kw_restrict:
2531      isInvalid = DS.SetTypeQual(DeclSpec::TQ_restrict, Loc, PrevSpec, DiagID,
2532                                 getLang());
2533      break;
2534    case tok::kw___w64:
2535    case tok::kw___ptr64:
2536    case tok::kw___cdecl:
2537    case tok::kw___stdcall:
2538    case tok::kw___fastcall:
2539    case tok::kw___thiscall:
2540      if (VendorAttributesAllowed) {
2541        DS.AddAttributes(ParseMicrosoftTypeAttributes());
2542        continue;
2543      }
2544      goto DoneWithTypeQuals;
2545    case tok::kw___pascal:
2546      if (VendorAttributesAllowed) {
2547        DS.AddAttributes(ParseBorlandTypeAttributes());
2548        continue;
2549      }
2550      goto DoneWithTypeQuals;
2551    case tok::kw___attribute:
2552      if (VendorAttributesAllowed) {
2553        DS.AddAttributes(ParseGNUAttributes());
2554        continue; // do *not* consume the next token!
2555      }
2556      // otherwise, FALL THROUGH!
2557    default:
2558      DoneWithTypeQuals:
2559      // If this is not a type-qualifier token, we're done reading type
2560      // qualifiers.  First verify that DeclSpec's are consistent.
2561      DS.Finish(Diags, PP);
2562      return;
2563    }
2564
2565    // If the specifier combination wasn't legal, issue a diagnostic.
2566    if (isInvalid) {
2567      assert(PrevSpec && "Method did not return previous specifier!");
2568      Diag(Tok, DiagID) << PrevSpec;
2569    }
2570    ConsumeToken();
2571  }
2572}
2573
2574
2575/// ParseDeclarator - Parse and verify a newly-initialized declarator.
2576///
2577void Parser::ParseDeclarator(Declarator &D) {
2578  /// This implements the 'declarator' production in the C grammar, then checks
2579  /// for well-formedness and issues diagnostics.
2580  ParseDeclaratorInternal(D, &Parser::ParseDirectDeclarator);
2581}
2582
2583/// ParseDeclaratorInternal - Parse a C or C++ declarator. The direct-declarator
2584/// is parsed by the function passed to it. Pass null, and the direct-declarator
2585/// isn't parsed at all, making this function effectively parse the C++
2586/// ptr-operator production.
2587///
2588///       declarator: [C99 6.7.5] [C++ 8p4, dcl.decl]
2589/// [C]     pointer[opt] direct-declarator
2590/// [C++]   direct-declarator
2591/// [C++]   ptr-operator declarator
2592///
2593///       pointer: [C99 6.7.5]
2594///         '*' type-qualifier-list[opt]
2595///         '*' type-qualifier-list[opt] pointer
2596///
2597///       ptr-operator:
2598///         '*' cv-qualifier-seq[opt]
2599///         '&'
2600/// [C++0x] '&&'
2601/// [GNU]   '&' restrict[opt] attributes[opt]
2602/// [GNU?]  '&&' restrict[opt] attributes[opt]
2603///         '::'[opt] nested-name-specifier '*' cv-qualifier-seq[opt]
2604void Parser::ParseDeclaratorInternal(Declarator &D,
2605                                     DirectDeclParseFunction DirectDeclParser) {
2606  if (Diags.hasAllExtensionsSilenced())
2607    D.setExtension();
2608
2609  // C++ member pointers start with a '::' or a nested-name.
2610  // Member pointers get special handling, since there's no place for the
2611  // scope spec in the generic path below.
2612  if (getLang().CPlusPlus &&
2613      (Tok.is(tok::coloncolon) || Tok.is(tok::identifier) ||
2614       Tok.is(tok::annot_cxxscope))) {
2615    CXXScopeSpec SS;
2616    ParseOptionalCXXScopeSpecifier(SS, ParsedType(), true); // ignore fail
2617
2618    if (SS.isNotEmpty()) {
2619      if (Tok.isNot(tok::star)) {
2620        // The scope spec really belongs to the direct-declarator.
2621        D.getCXXScopeSpec() = SS;
2622        if (DirectDeclParser)
2623          (this->*DirectDeclParser)(D);
2624        return;
2625      }
2626
2627      SourceLocation Loc = ConsumeToken();
2628      D.SetRangeEnd(Loc);
2629      DeclSpec DS;
2630      ParseTypeQualifierListOpt(DS);
2631      D.ExtendWithDeclSpec(DS);
2632
2633      // Recurse to parse whatever is left.
2634      ParseDeclaratorInternal(D, DirectDeclParser);
2635
2636      // Sema will have to catch (syntactically invalid) pointers into global
2637      // scope. It has to catch pointers into namespace scope anyway.
2638      D.AddTypeInfo(DeclaratorChunk::getMemberPointer(SS,DS.getTypeQualifiers(),
2639                                                      Loc, DS.TakeAttributes()),
2640                    /* Don't replace range end. */SourceLocation());
2641      return;
2642    }
2643  }
2644
2645  tok::TokenKind Kind = Tok.getKind();
2646  // Not a pointer, C++ reference, or block.
2647  if (Kind != tok::star && Kind != tok::caret &&
2648      (Kind != tok::amp || !getLang().CPlusPlus) &&
2649      // We parse rvalue refs in C++03, because otherwise the errors are scary.
2650      (Kind != tok::ampamp || !getLang().CPlusPlus)) {
2651    if (DirectDeclParser)
2652      (this->*DirectDeclParser)(D);
2653    return;
2654  }
2655
2656  // Otherwise, '*' -> pointer, '^' -> block, '&' -> lvalue reference,
2657  // '&&' -> rvalue reference
2658  SourceLocation Loc = ConsumeToken();  // Eat the *, ^, & or &&.
2659  D.SetRangeEnd(Loc);
2660
2661  if (Kind == tok::star || Kind == tok::caret) {
2662    // Is a pointer.
2663    DeclSpec DS;
2664
2665    ParseTypeQualifierListOpt(DS);
2666    D.ExtendWithDeclSpec(DS);
2667
2668    // Recursively parse the declarator.
2669    ParseDeclaratorInternal(D, DirectDeclParser);
2670    if (Kind == tok::star)
2671      // Remember that we parsed a pointer type, and remember the type-quals.
2672      D.AddTypeInfo(DeclaratorChunk::getPointer(DS.getTypeQualifiers(), Loc,
2673                                                DS.TakeAttributes()),
2674                    SourceLocation());
2675    else
2676      // Remember that we parsed a Block type, and remember the type-quals.
2677      D.AddTypeInfo(DeclaratorChunk::getBlockPointer(DS.getTypeQualifiers(),
2678                                                     Loc, DS.TakeAttributes()),
2679                    SourceLocation());
2680  } else {
2681    // Is a reference
2682    DeclSpec DS;
2683
2684    // Complain about rvalue references in C++03, but then go on and build
2685    // the declarator.
2686    if (Kind == tok::ampamp && !getLang().CPlusPlus0x)
2687      Diag(Loc, diag::err_rvalue_reference);
2688
2689    // C++ 8.3.2p1: cv-qualified references are ill-formed except when the
2690    // cv-qualifiers are introduced through the use of a typedef or of a
2691    // template type argument, in which case the cv-qualifiers are ignored.
2692    //
2693    // [GNU] Retricted references are allowed.
2694    // [GNU] Attributes on references are allowed.
2695    // [C++0x] Attributes on references are not allowed.
2696    ParseTypeQualifierListOpt(DS, true, false);
2697    D.ExtendWithDeclSpec(DS);
2698
2699    if (DS.getTypeQualifiers() != DeclSpec::TQ_unspecified) {
2700      if (DS.getTypeQualifiers() & DeclSpec::TQ_const)
2701        Diag(DS.getConstSpecLoc(),
2702             diag::err_invalid_reference_qualifier_application) << "const";
2703      if (DS.getTypeQualifiers() & DeclSpec::TQ_volatile)
2704        Diag(DS.getVolatileSpecLoc(),
2705             diag::err_invalid_reference_qualifier_application) << "volatile";
2706    }
2707
2708    // Recursively parse the declarator.
2709    ParseDeclaratorInternal(D, DirectDeclParser);
2710
2711    if (D.getNumTypeObjects() > 0) {
2712      // C++ [dcl.ref]p4: There shall be no references to references.
2713      DeclaratorChunk& InnerChunk = D.getTypeObject(D.getNumTypeObjects() - 1);
2714      if (InnerChunk.Kind == DeclaratorChunk::Reference) {
2715        if (const IdentifierInfo *II = D.getIdentifier())
2716          Diag(InnerChunk.Loc, diag::err_illegal_decl_reference_to_reference)
2717           << II;
2718        else
2719          Diag(InnerChunk.Loc, diag::err_illegal_decl_reference_to_reference)
2720            << "type name";
2721
2722        // Once we've complained about the reference-to-reference, we
2723        // can go ahead and build the (technically ill-formed)
2724        // declarator: reference collapsing will take care of it.
2725      }
2726    }
2727
2728    // Remember that we parsed a reference type. It doesn't have type-quals.
2729    D.AddTypeInfo(DeclaratorChunk::getReference(DS.getTypeQualifiers(), Loc,
2730                                                DS.TakeAttributes(),
2731                                                Kind == tok::amp),
2732                  SourceLocation());
2733  }
2734}
2735
2736/// ParseDirectDeclarator
2737///       direct-declarator: [C99 6.7.5]
2738/// [C99]   identifier
2739///         '(' declarator ')'
2740/// [GNU]   '(' attributes declarator ')'
2741/// [C90]   direct-declarator '[' constant-expression[opt] ']'
2742/// [C99]   direct-declarator '[' type-qual-list[opt] assignment-expr[opt] ']'
2743/// [C99]   direct-declarator '[' 'static' type-qual-list[opt] assign-expr ']'
2744/// [C99]   direct-declarator '[' type-qual-list 'static' assignment-expr ']'
2745/// [C99]   direct-declarator '[' type-qual-list[opt] '*' ']'
2746///         direct-declarator '(' parameter-type-list ')'
2747///         direct-declarator '(' identifier-list[opt] ')'
2748/// [GNU]   direct-declarator '(' parameter-forward-declarations
2749///                    parameter-type-list[opt] ')'
2750/// [C++]   direct-declarator '(' parameter-declaration-clause ')'
2751///                    cv-qualifier-seq[opt] exception-specification[opt]
2752/// [C++]   declarator-id
2753///
2754///       declarator-id: [C++ 8]
2755///         id-expression
2756///         '::'[opt] nested-name-specifier[opt] type-name
2757///
2758///       id-expression: [C++ 5.1]
2759///         unqualified-id
2760///         qualified-id
2761///
2762///       unqualified-id: [C++ 5.1]
2763///         identifier
2764///         operator-function-id
2765///         conversion-function-id
2766///          '~' class-name
2767///         template-id
2768///
2769void Parser::ParseDirectDeclarator(Declarator &D) {
2770  DeclaratorScopeObj DeclScopeObj(*this, D.getCXXScopeSpec());
2771
2772  if (getLang().CPlusPlus && D.mayHaveIdentifier()) {
2773    // ParseDeclaratorInternal might already have parsed the scope.
2774    if (D.getCXXScopeSpec().isEmpty()) {
2775      ParseOptionalCXXScopeSpecifier(D.getCXXScopeSpec(), ParsedType(), true);
2776    }
2777
2778    if (D.getCXXScopeSpec().isValid()) {
2779      if (Actions.ShouldEnterDeclaratorScope(getCurScope(), D.getCXXScopeSpec()))
2780        // Change the declaration context for name lookup, until this function
2781        // is exited (and the declarator has been parsed).
2782        DeclScopeObj.EnterDeclaratorScope();
2783    }
2784
2785    if (Tok.is(tok::identifier) || Tok.is(tok::kw_operator) ||
2786        Tok.is(tok::annot_template_id) || Tok.is(tok::tilde)) {
2787      // We found something that indicates the start of an unqualified-id.
2788      // Parse that unqualified-id.
2789      bool AllowConstructorName;
2790      if (D.getDeclSpec().hasTypeSpecifier())
2791        AllowConstructorName = false;
2792      else if (D.getCXXScopeSpec().isSet())
2793        AllowConstructorName =
2794          (D.getContext() == Declarator::FileContext ||
2795           (D.getContext() == Declarator::MemberContext &&
2796            D.getDeclSpec().isFriendSpecified()));
2797      else
2798        AllowConstructorName = (D.getContext() == Declarator::MemberContext);
2799
2800      if (ParseUnqualifiedId(D.getCXXScopeSpec(),
2801                             /*EnteringContext=*/true,
2802                             /*AllowDestructorName=*/true,
2803                             AllowConstructorName,
2804                             ParsedType(),
2805                             D.getName()) ||
2806          // Once we're past the identifier, if the scope was bad, mark the
2807          // whole declarator bad.
2808          D.getCXXScopeSpec().isInvalid()) {
2809        D.SetIdentifier(0, Tok.getLocation());
2810        D.setInvalidType(true);
2811      } else {
2812        // Parsed the unqualified-id; update range information and move along.
2813        if (D.getSourceRange().getBegin().isInvalid())
2814          D.SetRangeBegin(D.getName().getSourceRange().getBegin());
2815        D.SetRangeEnd(D.getName().getSourceRange().getEnd());
2816      }
2817      goto PastIdentifier;
2818    }
2819  } else if (Tok.is(tok::identifier) && D.mayHaveIdentifier()) {
2820    assert(!getLang().CPlusPlus &&
2821           "There's a C++-specific check for tok::identifier above");
2822    assert(Tok.getIdentifierInfo() && "Not an identifier?");
2823    D.SetIdentifier(Tok.getIdentifierInfo(), Tok.getLocation());
2824    ConsumeToken();
2825    goto PastIdentifier;
2826  }
2827
2828  if (Tok.is(tok::l_paren)) {
2829    // direct-declarator: '(' declarator ')'
2830    // direct-declarator: '(' attributes declarator ')'
2831    // Example: 'char (*X)'   or 'int (*XX)(void)'
2832    ParseParenDeclarator(D);
2833
2834    // If the declarator was parenthesized, we entered the declarator
2835    // scope when parsing the parenthesized declarator, then exited
2836    // the scope already. Re-enter the scope, if we need to.
2837    if (D.getCXXScopeSpec().isSet()) {
2838      // If there was an error parsing parenthesized declarator, declarator
2839      // scope may have been enterred before. Don't do it again.
2840      if (!D.isInvalidType() &&
2841          Actions.ShouldEnterDeclaratorScope(getCurScope(), D.getCXXScopeSpec()))
2842        // Change the declaration context for name lookup, until this function
2843        // is exited (and the declarator has been parsed).
2844        DeclScopeObj.EnterDeclaratorScope();
2845    }
2846  } else if (D.mayOmitIdentifier()) {
2847    // This could be something simple like "int" (in which case the declarator
2848    // portion is empty), if an abstract-declarator is allowed.
2849    D.SetIdentifier(0, Tok.getLocation());
2850  } else {
2851    if (D.getContext() == Declarator::MemberContext)
2852      Diag(Tok, diag::err_expected_member_name_or_semi)
2853        << D.getDeclSpec().getSourceRange();
2854    else if (getLang().CPlusPlus)
2855      Diag(Tok, diag::err_expected_unqualified_id) << getLang().CPlusPlus;
2856    else
2857      Diag(Tok, diag::err_expected_ident_lparen);
2858    D.SetIdentifier(0, Tok.getLocation());
2859    D.setInvalidType(true);
2860  }
2861
2862 PastIdentifier:
2863  assert(D.isPastIdentifier() &&
2864         "Haven't past the location of the identifier yet?");
2865
2866  // Don't parse attributes unless we have an identifier.
2867  if (D.getIdentifier() && getLang().CPlusPlus0x
2868   && isCXX0XAttributeSpecifier(true)) {
2869    SourceLocation AttrEndLoc;
2870    CXX0XAttributeList Attr = ParseCXX0XAttributes();
2871    D.AddAttributes(Attr.AttrList, AttrEndLoc);
2872  }
2873
2874  while (1) {
2875    if (Tok.is(tok::l_paren)) {
2876      // The paren may be part of a C++ direct initializer, eg. "int x(1);".
2877      // In such a case, check if we actually have a function declarator; if it
2878      // is not, the declarator has been fully parsed.
2879      if (getLang().CPlusPlus && D.mayBeFollowedByCXXDirectInit()) {
2880        // When not in file scope, warn for ambiguous function declarators, just
2881        // in case the author intended it as a variable definition.
2882        bool warnIfAmbiguous = D.getContext() != Declarator::FileContext;
2883        if (!isCXXFunctionDeclarator(warnIfAmbiguous))
2884          break;
2885      }
2886      ParseFunctionDeclarator(ConsumeParen(), D);
2887    } else if (Tok.is(tok::l_square)) {
2888      ParseBracketDeclarator(D);
2889    } else {
2890      break;
2891    }
2892  }
2893}
2894
2895/// ParseParenDeclarator - We parsed the declarator D up to a paren.  This is
2896/// only called before the identifier, so these are most likely just grouping
2897/// parens for precedence.  If we find that these are actually function
2898/// parameter parens in an abstract-declarator, we call ParseFunctionDeclarator.
2899///
2900///       direct-declarator:
2901///         '(' declarator ')'
2902/// [GNU]   '(' attributes declarator ')'
2903///         direct-declarator '(' parameter-type-list ')'
2904///         direct-declarator '(' identifier-list[opt] ')'
2905/// [GNU]   direct-declarator '(' parameter-forward-declarations
2906///                    parameter-type-list[opt] ')'
2907///
2908void Parser::ParseParenDeclarator(Declarator &D) {
2909  SourceLocation StartLoc = ConsumeParen();
2910  assert(!D.isPastIdentifier() && "Should be called before passing identifier");
2911
2912  // Eat any attributes before we look at whether this is a grouping or function
2913  // declarator paren.  If this is a grouping paren, the attribute applies to
2914  // the type being built up, for example:
2915  //     int (__attribute__(()) *x)(long y)
2916  // If this ends up not being a grouping paren, the attribute applies to the
2917  // first argument, for example:
2918  //     int (__attribute__(()) int x)
2919  // In either case, we need to eat any attributes to be able to determine what
2920  // sort of paren this is.
2921  //
2922  llvm::OwningPtr<AttributeList> AttrList;
2923  bool RequiresArg = false;
2924  if (Tok.is(tok::kw___attribute)) {
2925    AttrList.reset(ParseGNUAttributes());
2926
2927    // We require that the argument list (if this is a non-grouping paren) be
2928    // present even if the attribute list was empty.
2929    RequiresArg = true;
2930  }
2931  // Eat any Microsoft extensions.
2932  if  (Tok.is(tok::kw___cdecl) || Tok.is(tok::kw___stdcall) ||
2933       Tok.is(tok::kw___thiscall) || Tok.is(tok::kw___fastcall) ||
2934       Tok.is(tok::kw___w64) || Tok.is(tok::kw___ptr64)) {
2935    AttrList.reset(ParseMicrosoftTypeAttributes(AttrList.take()));
2936  }
2937  // Eat any Borland extensions.
2938  if  (Tok.is(tok::kw___pascal)) {
2939    AttrList.reset(ParseBorlandTypeAttributes(AttrList.take()));
2940  }
2941
2942  // If we haven't past the identifier yet (or where the identifier would be
2943  // stored, if this is an abstract declarator), then this is probably just
2944  // grouping parens. However, if this could be an abstract-declarator, then
2945  // this could also be the start of function arguments (consider 'void()').
2946  bool isGrouping;
2947
2948  if (!D.mayOmitIdentifier()) {
2949    // If this can't be an abstract-declarator, this *must* be a grouping
2950    // paren, because we haven't seen the identifier yet.
2951    isGrouping = true;
2952  } else if (Tok.is(tok::r_paren) ||           // 'int()' is a function.
2953             (getLang().CPlusPlus && Tok.is(tok::ellipsis)) || // C++ int(...)
2954             isDeclarationSpecifier()) {       // 'int(int)' is a function.
2955    // This handles C99 6.7.5.3p11: in "typedef int X; void foo(X)", X is
2956    // considered to be a type, not a K&R identifier-list.
2957    isGrouping = false;
2958  } else {
2959    // Otherwise, this is a grouping paren, e.g. 'int (*X)' or 'int(X)'.
2960    isGrouping = true;
2961  }
2962
2963  // If this is a grouping paren, handle:
2964  // direct-declarator: '(' declarator ')'
2965  // direct-declarator: '(' attributes declarator ')'
2966  if (isGrouping) {
2967    bool hadGroupingParens = D.hasGroupingParens();
2968    D.setGroupingParens(true);
2969    if (AttrList)
2970      D.AddAttributes(AttrList.take(), SourceLocation());
2971
2972    ParseDeclaratorInternal(D, &Parser::ParseDirectDeclarator);
2973    // Match the ')'.
2974    SourceLocation Loc = MatchRHSPunctuation(tok::r_paren, StartLoc);
2975
2976    D.setGroupingParens(hadGroupingParens);
2977    D.SetRangeEnd(Loc);
2978    return;
2979  }
2980
2981  // Okay, if this wasn't a grouping paren, it must be the start of a function
2982  // argument list.  Recognize that this declarator will never have an
2983  // identifier (and remember where it would have been), then call into
2984  // ParseFunctionDeclarator to handle of argument list.
2985  D.SetIdentifier(0, Tok.getLocation());
2986
2987  ParseFunctionDeclarator(StartLoc, D, AttrList.take(), RequiresArg);
2988}
2989
2990/// ParseFunctionDeclarator - We are after the identifier and have parsed the
2991/// declarator D up to a paren, which indicates that we are parsing function
2992/// arguments.
2993///
2994/// If AttrList is non-null, then the caller parsed those arguments immediately
2995/// after the open paren - they should be considered to be the first argument of
2996/// a parameter.  If RequiresArg is true, then the first argument of the
2997/// function is required to be present and required to not be an identifier
2998/// list.
2999///
3000/// This method also handles this portion of the grammar:
3001///       parameter-type-list: [C99 6.7.5]
3002///         parameter-list
3003///         parameter-list ',' '...'
3004/// [C++]   parameter-list '...'
3005///
3006///       parameter-list: [C99 6.7.5]
3007///         parameter-declaration
3008///         parameter-list ',' parameter-declaration
3009///
3010///       parameter-declaration: [C99 6.7.5]
3011///         declaration-specifiers declarator
3012/// [C++]   declaration-specifiers declarator '=' assignment-expression
3013/// [GNU]   declaration-specifiers declarator attributes
3014///         declaration-specifiers abstract-declarator[opt]
3015/// [C++]   declaration-specifiers abstract-declarator[opt]
3016///           '=' assignment-expression
3017/// [GNU]   declaration-specifiers abstract-declarator[opt] attributes
3018///
3019/// For C++, after the parameter-list, it also parses "cv-qualifier-seq[opt]"
3020/// and "exception-specification[opt]".
3021///
3022void Parser::ParseFunctionDeclarator(SourceLocation LParenLoc, Declarator &D,
3023                                     AttributeList *AttrList,
3024                                     bool RequiresArg) {
3025  // lparen is already consumed!
3026  assert(D.isPastIdentifier() && "Should not call before identifier!");
3027
3028  ParsedType TrailingReturnType;
3029
3030  // This parameter list may be empty.
3031  if (Tok.is(tok::r_paren)) {
3032    if (RequiresArg) {
3033      Diag(Tok, diag::err_argument_required_after_attribute);
3034      delete AttrList;
3035    }
3036
3037    SourceLocation RParenLoc = ConsumeParen();  // Eat the closing ')'.
3038    SourceLocation EndLoc = RParenLoc;
3039
3040    // cv-qualifier-seq[opt].
3041    DeclSpec DS;
3042    bool hasExceptionSpec = false;
3043    SourceLocation ThrowLoc;
3044    bool hasAnyExceptionSpec = false;
3045    llvm::SmallVector<ParsedType, 2> Exceptions;
3046    llvm::SmallVector<SourceRange, 2> ExceptionRanges;
3047    if (getLang().CPlusPlus) {
3048      ParseTypeQualifierListOpt(DS, false /*no attributes*/);
3049      if (!DS.getSourceRange().getEnd().isInvalid())
3050        EndLoc = DS.getSourceRange().getEnd();
3051
3052      // Parse exception-specification[opt].
3053      if (Tok.is(tok::kw_throw)) {
3054        hasExceptionSpec = true;
3055        ThrowLoc = Tok.getLocation();
3056        ParseExceptionSpecification(EndLoc, Exceptions, ExceptionRanges,
3057                                    hasAnyExceptionSpec);
3058        assert(Exceptions.size() == ExceptionRanges.size() &&
3059               "Produced different number of exception types and ranges.");
3060      }
3061
3062      // Parse trailing-return-type.
3063      if (getLang().CPlusPlus0x && Tok.is(tok::arrow)) {
3064        TrailingReturnType = ParseTrailingReturnType().get();
3065      }
3066    }
3067
3068    // Remember that we parsed a function type, and remember the attributes.
3069    // int() -> no prototype, no '...'.
3070    D.AddTypeInfo(DeclaratorChunk::getFunction(/*prototype*/getLang().CPlusPlus,
3071                                               /*variadic*/ false,
3072                                               SourceLocation(),
3073                                               /*arglist*/ 0, 0,
3074                                               DS.getTypeQualifiers(),
3075                                               hasExceptionSpec, ThrowLoc,
3076                                               hasAnyExceptionSpec,
3077                                               Exceptions.data(),
3078                                               ExceptionRanges.data(),
3079                                               Exceptions.size(),
3080                                               LParenLoc, RParenLoc, D,
3081                                               TrailingReturnType),
3082                  EndLoc);
3083    return;
3084  }
3085
3086  // Alternatively, this parameter list may be an identifier list form for a
3087  // K&R-style function:  void foo(a,b,c)
3088  if (!getLang().CPlusPlus && Tok.is(tok::identifier)
3089      && !TryAltiVecVectorToken()) {
3090    if (TryAnnotateTypeOrScopeToken() || !Tok.is(tok::annot_typename)) {
3091      // K&R identifier lists can't have typedefs as identifiers, per
3092      // C99 6.7.5.3p11.
3093      if (RequiresArg) {
3094        Diag(Tok, diag::err_argument_required_after_attribute);
3095        delete AttrList;
3096      }
3097
3098      // Identifier list.  Note that '(' identifier-list ')' is only allowed for
3099      // normal declarators, not for abstract-declarators.  Get the first
3100      // identifier.
3101      Token FirstTok = Tok;
3102      ConsumeToken();  // eat the first identifier.
3103
3104      // Identifier lists follow a really simple grammar: the identifiers can
3105      // be followed *only* by a ", moreidentifiers" or ")".  However, K&R
3106      // identifier lists are really rare in the brave new modern world, and it
3107      // is very common for someone to typo a type in a non-k&r style list.  If
3108      // we are presented with something like: "void foo(intptr x, float y)",
3109      // we don't want to start parsing the function declarator as though it is
3110      // a K&R style declarator just because intptr is an invalid type.
3111      //
3112      // To handle this, we check to see if the token after the first identifier
3113      // is a "," or ")".  Only if so, do we parse it as an identifier list.
3114      if (Tok.is(tok::comma) || Tok.is(tok::r_paren))
3115        return ParseFunctionDeclaratorIdentifierList(LParenLoc,
3116                                                   FirstTok.getIdentifierInfo(),
3117                                                     FirstTok.getLocation(), D);
3118
3119      // If we get here, the code is invalid.  Push the first identifier back
3120      // into the token stream and parse the first argument as an (invalid)
3121      // normal argument declarator.
3122      PP.EnterToken(Tok);
3123      Tok = FirstTok;
3124    }
3125  }
3126
3127  // Finally, a normal, non-empty parameter type list.
3128
3129  // Build up an array of information about the parsed arguments.
3130  llvm::SmallVector<DeclaratorChunk::ParamInfo, 16> ParamInfo;
3131
3132  // Enter function-declaration scope, limiting any declarators to the
3133  // function prototype scope, including parameter declarators.
3134  ParseScope PrototypeScope(this,
3135                            Scope::FunctionPrototypeScope|Scope::DeclScope);
3136
3137  bool IsVariadic = false;
3138  SourceLocation EllipsisLoc;
3139  while (1) {
3140    if (Tok.is(tok::ellipsis)) {
3141      IsVariadic = true;
3142      EllipsisLoc = ConsumeToken();     // Consume the ellipsis.
3143      break;
3144    }
3145
3146    SourceLocation DSStart = Tok.getLocation();
3147
3148    // Parse the declaration-specifiers.
3149    // Just use the ParsingDeclaration "scope" of the declarator.
3150    DeclSpec DS;
3151
3152    // If the caller parsed attributes for the first argument, add them now.
3153    if (AttrList) {
3154      DS.AddAttributes(AttrList);
3155      AttrList = 0;  // Only apply the attributes to the first parameter.
3156    }
3157    ParseDeclarationSpecifiers(DS);
3158
3159    // Parse the declarator.  This is "PrototypeContext", because we must
3160    // accept either 'declarator' or 'abstract-declarator' here.
3161    Declarator ParmDecl(DS, Declarator::PrototypeContext);
3162    ParseDeclarator(ParmDecl);
3163
3164    // Parse GNU attributes, if present.
3165    if (Tok.is(tok::kw___attribute)) {
3166      SourceLocation Loc;
3167      AttributeList *AttrList = ParseGNUAttributes(&Loc);
3168      ParmDecl.AddAttributes(AttrList, Loc);
3169    }
3170
3171    // Remember this parsed parameter in ParamInfo.
3172    IdentifierInfo *ParmII = ParmDecl.getIdentifier();
3173
3174    // DefArgToks is used when the parsing of default arguments needs
3175    // to be delayed.
3176    CachedTokens *DefArgToks = 0;
3177
3178    // If no parameter was specified, verify that *something* was specified,
3179    // otherwise we have a missing type and identifier.
3180    if (DS.isEmpty() && ParmDecl.getIdentifier() == 0 &&
3181        ParmDecl.getNumTypeObjects() == 0) {
3182      // Completely missing, emit error.
3183      Diag(DSStart, diag::err_missing_param);
3184    } else {
3185      // Otherwise, we have something.  Add it and let semantic analysis try
3186      // to grok it and add the result to the ParamInfo we are building.
3187
3188      // Inform the actions module about the parameter declarator, so it gets
3189      // added to the current scope.
3190      Decl *Param = Actions.ActOnParamDeclarator(getCurScope(), ParmDecl);
3191
3192      // Parse the default argument, if any. We parse the default
3193      // arguments in all dialects; the semantic analysis in
3194      // ActOnParamDefaultArgument will reject the default argument in
3195      // C.
3196      if (Tok.is(tok::equal)) {
3197        SourceLocation EqualLoc = Tok.getLocation();
3198
3199        // Parse the default argument
3200        if (D.getContext() == Declarator::MemberContext) {
3201          // If we're inside a class definition, cache the tokens
3202          // corresponding to the default argument. We'll actually parse
3203          // them when we see the end of the class definition.
3204          // FIXME: Templates will require something similar.
3205          // FIXME: Can we use a smart pointer for Toks?
3206          DefArgToks = new CachedTokens;
3207
3208          if (!ConsumeAndStoreUntil(tok::comma, tok::r_paren, *DefArgToks,
3209                                    /*StopAtSemi=*/true,
3210                                    /*ConsumeFinalToken=*/false)) {
3211            delete DefArgToks;
3212            DefArgToks = 0;
3213            Actions.ActOnParamDefaultArgumentError(Param);
3214          } else {
3215            // Mark the end of the default argument so that we know when to
3216            // stop when we parse it later on.
3217            Token DefArgEnd;
3218            DefArgEnd.startToken();
3219            DefArgEnd.setKind(tok::cxx_defaultarg_end);
3220            DefArgEnd.setLocation(Tok.getLocation());
3221            DefArgToks->push_back(DefArgEnd);
3222            Actions.ActOnParamUnparsedDefaultArgument(Param, EqualLoc,
3223                                                (*DefArgToks)[1].getLocation());
3224          }
3225        } else {
3226          // Consume the '='.
3227          ConsumeToken();
3228
3229          // The argument isn't actually potentially evaluated unless it is
3230          // used.
3231          EnterExpressionEvaluationContext Eval(Actions,
3232                                              Sema::PotentiallyEvaluatedIfUsed);
3233
3234          ExprResult DefArgResult(ParseAssignmentExpression());
3235          if (DefArgResult.isInvalid()) {
3236            Actions.ActOnParamDefaultArgumentError(Param);
3237            SkipUntil(tok::comma, tok::r_paren, true, true);
3238          } else {
3239            // Inform the actions module about the default argument
3240            Actions.ActOnParamDefaultArgument(Param, EqualLoc,
3241                                              DefArgResult.take());
3242          }
3243        }
3244      }
3245
3246      ParamInfo.push_back(DeclaratorChunk::ParamInfo(ParmII,
3247                                          ParmDecl.getIdentifierLoc(), Param,
3248                                          DefArgToks));
3249    }
3250
3251    // If the next token is a comma, consume it and keep reading arguments.
3252    if (Tok.isNot(tok::comma)) {
3253      if (Tok.is(tok::ellipsis)) {
3254        IsVariadic = true;
3255        EllipsisLoc = ConsumeToken();     // Consume the ellipsis.
3256
3257        if (!getLang().CPlusPlus) {
3258          // We have ellipsis without a preceding ',', which is ill-formed
3259          // in C. Complain and provide the fix.
3260          Diag(EllipsisLoc, diag::err_missing_comma_before_ellipsis)
3261            << FixItHint::CreateInsertion(EllipsisLoc, ", ");
3262        }
3263      }
3264
3265      break;
3266    }
3267
3268    // Consume the comma.
3269    ConsumeToken();
3270  }
3271
3272  // If we have the closing ')', eat it.
3273  SourceLocation RParenLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
3274  SourceLocation EndLoc = RParenLoc;
3275
3276  DeclSpec DS;
3277  bool hasExceptionSpec = false;
3278  SourceLocation ThrowLoc;
3279  bool hasAnyExceptionSpec = false;
3280  llvm::SmallVector<ParsedType, 2> Exceptions;
3281  llvm::SmallVector<SourceRange, 2> ExceptionRanges;
3282
3283  if (getLang().CPlusPlus) {
3284    // Parse cv-qualifier-seq[opt].
3285    ParseTypeQualifierListOpt(DS, false /*no attributes*/);
3286      if (!DS.getSourceRange().getEnd().isInvalid())
3287        EndLoc = DS.getSourceRange().getEnd();
3288
3289    // Parse exception-specification[opt].
3290    if (Tok.is(tok::kw_throw)) {
3291      hasExceptionSpec = true;
3292      ThrowLoc = Tok.getLocation();
3293      ParseExceptionSpecification(EndLoc, Exceptions, ExceptionRanges,
3294                                  hasAnyExceptionSpec);
3295      assert(Exceptions.size() == ExceptionRanges.size() &&
3296             "Produced different number of exception types and ranges.");
3297    }
3298
3299    // Parse trailing-return-type.
3300    if (getLang().CPlusPlus0x && Tok.is(tok::arrow)) {
3301      TrailingReturnType = ParseTrailingReturnType().get();
3302    }
3303  }
3304
3305  // FIXME: We should leave the prototype scope before parsing the exception
3306  // specification, and then reenter it when parsing the trailing return type.
3307
3308  // Leave prototype scope.
3309  PrototypeScope.Exit();
3310
3311  // Remember that we parsed a function type, and remember the attributes.
3312  D.AddTypeInfo(DeclaratorChunk::getFunction(/*proto*/true, IsVariadic,
3313                                             EllipsisLoc,
3314                                             ParamInfo.data(), ParamInfo.size(),
3315                                             DS.getTypeQualifiers(),
3316                                             hasExceptionSpec, ThrowLoc,
3317                                             hasAnyExceptionSpec,
3318                                             Exceptions.data(),
3319                                             ExceptionRanges.data(),
3320                                             Exceptions.size(),
3321                                             LParenLoc, RParenLoc, D,
3322                                             TrailingReturnType),
3323                EndLoc);
3324}
3325
3326/// ParseFunctionDeclaratorIdentifierList - While parsing a function declarator
3327/// we found a K&R-style identifier list instead of a type argument list.  The
3328/// first identifier has already been consumed, and the current token is the
3329/// token right after it.
3330///
3331///       identifier-list: [C99 6.7.5]
3332///         identifier
3333///         identifier-list ',' identifier
3334///
3335void Parser::ParseFunctionDeclaratorIdentifierList(SourceLocation LParenLoc,
3336                                                   IdentifierInfo *FirstIdent,
3337                                                   SourceLocation FirstIdentLoc,
3338                                                   Declarator &D) {
3339  // Build up an array of information about the parsed arguments.
3340  llvm::SmallVector<DeclaratorChunk::ParamInfo, 16> ParamInfo;
3341  llvm::SmallSet<const IdentifierInfo*, 16> ParamsSoFar;
3342
3343  // If there was no identifier specified for the declarator, either we are in
3344  // an abstract-declarator, or we are in a parameter declarator which was found
3345  // to be abstract.  In abstract-declarators, identifier lists are not valid:
3346  // diagnose this.
3347  if (!D.getIdentifier())
3348    Diag(FirstIdentLoc, diag::ext_ident_list_in_param);
3349
3350  // The first identifier was already read, and is known to be the first
3351  // identifier in the list.  Remember this identifier in ParamInfo.
3352  ParamsSoFar.insert(FirstIdent);
3353  ParamInfo.push_back(DeclaratorChunk::ParamInfo(FirstIdent, FirstIdentLoc, 0));
3354
3355  while (Tok.is(tok::comma)) {
3356    // Eat the comma.
3357    ConsumeToken();
3358
3359    // If this isn't an identifier, report the error and skip until ')'.
3360    if (Tok.isNot(tok::identifier)) {
3361      Diag(Tok, diag::err_expected_ident);
3362      SkipUntil(tok::r_paren);
3363      return;
3364    }
3365
3366    IdentifierInfo *ParmII = Tok.getIdentifierInfo();
3367
3368    // Reject 'typedef int y; int test(x, y)', but continue parsing.
3369    if (Actions.getTypeName(*ParmII, Tok.getLocation(), getCurScope()))
3370      Diag(Tok, diag::err_unexpected_typedef_ident) << ParmII;
3371
3372    // Verify that the argument identifier has not already been mentioned.
3373    if (!ParamsSoFar.insert(ParmII)) {
3374      Diag(Tok, diag::err_param_redefinition) << ParmII;
3375    } else {
3376      // Remember this identifier in ParamInfo.
3377      ParamInfo.push_back(DeclaratorChunk::ParamInfo(ParmII,
3378                                                     Tok.getLocation(),
3379                                                     0));
3380    }
3381
3382    // Eat the identifier.
3383    ConsumeToken();
3384  }
3385
3386  // If we have the closing ')', eat it and we're done.
3387  SourceLocation RLoc = MatchRHSPunctuation(tok::r_paren, LParenLoc);
3388
3389  // Remember that we parsed a function type, and remember the attributes.  This
3390  // function type is always a K&R style function type, which is not varargs and
3391  // has no prototype.
3392  D.AddTypeInfo(DeclaratorChunk::getFunction(/*proto*/false, /*varargs*/false,
3393                                             SourceLocation(),
3394                                             &ParamInfo[0], ParamInfo.size(),
3395                                             /*TypeQuals*/0,
3396                                             /*exception*/false,
3397                                             SourceLocation(), false, 0, 0, 0,
3398                                             LParenLoc, RLoc, D),
3399                RLoc);
3400}
3401
3402/// [C90]   direct-declarator '[' constant-expression[opt] ']'
3403/// [C99]   direct-declarator '[' type-qual-list[opt] assignment-expr[opt] ']'
3404/// [C99]   direct-declarator '[' 'static' type-qual-list[opt] assign-expr ']'
3405/// [C99]   direct-declarator '[' type-qual-list 'static' assignment-expr ']'
3406/// [C99]   direct-declarator '[' type-qual-list[opt] '*' ']'
3407void Parser::ParseBracketDeclarator(Declarator &D) {
3408  SourceLocation StartLoc = ConsumeBracket();
3409
3410  // C array syntax has many features, but by-far the most common is [] and [4].
3411  // This code does a fast path to handle some of the most obvious cases.
3412  if (Tok.getKind() == tok::r_square) {
3413    SourceLocation EndLoc = MatchRHSPunctuation(tok::r_square, StartLoc);
3414    //FIXME: Use these
3415    CXX0XAttributeList Attr;
3416    if (getLang().CPlusPlus0x && isCXX0XAttributeSpecifier(true)) {
3417      Attr = ParseCXX0XAttributes();
3418    }
3419
3420    // Remember that we parsed the empty array type.
3421    ExprResult NumElements;
3422    D.AddTypeInfo(DeclaratorChunk::getArray(0, false, false, 0,
3423                                            StartLoc, EndLoc),
3424                  EndLoc);
3425    return;
3426  } else if (Tok.getKind() == tok::numeric_constant &&
3427             GetLookAheadToken(1).is(tok::r_square)) {
3428    // [4] is very common.  Parse the numeric constant expression.
3429    ExprResult ExprRes(Actions.ActOnNumericConstant(Tok));
3430    ConsumeToken();
3431
3432    SourceLocation EndLoc = MatchRHSPunctuation(tok::r_square, StartLoc);
3433    //FIXME: Use these
3434    CXX0XAttributeList Attr;
3435    if (getLang().CPlusPlus0x && isCXX0XAttributeSpecifier()) {
3436      Attr = ParseCXX0XAttributes();
3437    }
3438
3439    // If there was an error parsing the assignment-expression, recover.
3440    if (ExprRes.isInvalid())
3441      ExprRes.release();  // Deallocate expr, just use [].
3442
3443    // Remember that we parsed a array type, and remember its features.
3444    D.AddTypeInfo(DeclaratorChunk::getArray(0, false, 0, ExprRes.release(),
3445                                            StartLoc, EndLoc),
3446                  EndLoc);
3447    return;
3448  }
3449
3450  // If valid, this location is the position where we read the 'static' keyword.
3451  SourceLocation StaticLoc;
3452  if (Tok.is(tok::kw_static))
3453    StaticLoc = ConsumeToken();
3454
3455  // If there is a type-qualifier-list, read it now.
3456  // Type qualifiers in an array subscript are a C99 feature.
3457  DeclSpec DS;
3458  ParseTypeQualifierListOpt(DS, false /*no attributes*/);
3459
3460  // If we haven't already read 'static', check to see if there is one after the
3461  // type-qualifier-list.
3462  if (!StaticLoc.isValid() && Tok.is(tok::kw_static))
3463    StaticLoc = ConsumeToken();
3464
3465  // Handle "direct-declarator [ type-qual-list[opt] * ]".
3466  bool isStar = false;
3467  ExprResult NumElements;
3468
3469  // Handle the case where we have '[*]' as the array size.  However, a leading
3470  // star could be the start of an expression, for example 'X[*p + 4]'.  Verify
3471  // the the token after the star is a ']'.  Since stars in arrays are
3472  // infrequent, use of lookahead is not costly here.
3473  if (Tok.is(tok::star) && GetLookAheadToken(1).is(tok::r_square)) {
3474    ConsumeToken();  // Eat the '*'.
3475
3476    if (StaticLoc.isValid()) {
3477      Diag(StaticLoc, diag::err_unspecified_vla_size_with_static);
3478      StaticLoc = SourceLocation();  // Drop the static.
3479    }
3480    isStar = true;
3481  } else if (Tok.isNot(tok::r_square)) {
3482    // Note, in C89, this production uses the constant-expr production instead
3483    // of assignment-expr.  The only difference is that assignment-expr allows
3484    // things like '=' and '*='.  Sema rejects these in C89 mode because they
3485    // are not i-c-e's, so we don't need to distinguish between the two here.
3486
3487    // Parse the constant-expression or assignment-expression now (depending
3488    // on dialect).
3489    if (getLang().CPlusPlus)
3490      NumElements = ParseConstantExpression();
3491    else
3492      NumElements = ParseAssignmentExpression();
3493  }
3494
3495  // If there was an error parsing the assignment-expression, recover.
3496  if (NumElements.isInvalid()) {
3497    D.setInvalidType(true);
3498    // If the expression was invalid, skip it.
3499    SkipUntil(tok::r_square);
3500    return;
3501  }
3502
3503  SourceLocation EndLoc = MatchRHSPunctuation(tok::r_square, StartLoc);
3504
3505  //FIXME: Use these
3506  CXX0XAttributeList Attr;
3507  if (getLang().CPlusPlus0x && isCXX0XAttributeSpecifier()) {
3508    Attr = ParseCXX0XAttributes();
3509  }
3510
3511  // Remember that we parsed a array type, and remember its features.
3512  D.AddTypeInfo(DeclaratorChunk::getArray(DS.getTypeQualifiers(),
3513                                          StaticLoc.isValid(), isStar,
3514                                          NumElements.release(),
3515                                          StartLoc, EndLoc),
3516                EndLoc);
3517}
3518
3519/// [GNU]   typeof-specifier:
3520///           typeof ( expressions )
3521///           typeof ( type-name )
3522/// [GNU/C++] typeof unary-expression
3523///
3524void Parser::ParseTypeofSpecifier(DeclSpec &DS) {
3525  assert(Tok.is(tok::kw_typeof) && "Not a typeof specifier");
3526  Token OpTok = Tok;
3527  SourceLocation StartLoc = ConsumeToken();
3528
3529  const bool hasParens = Tok.is(tok::l_paren);
3530
3531  bool isCastExpr;
3532  ParsedType CastTy;
3533  SourceRange CastRange;
3534  ExprResult Operand = ParseExprAfterTypeofSizeofAlignof(OpTok,
3535                                                         isCastExpr,
3536                                                         CastTy,
3537                                                         CastRange);
3538  if (hasParens)
3539    DS.setTypeofParensRange(CastRange);
3540
3541  if (CastRange.getEnd().isInvalid())
3542    // FIXME: Not accurate, the range gets one token more than it should.
3543    DS.SetRangeEnd(Tok.getLocation());
3544  else
3545    DS.SetRangeEnd(CastRange.getEnd());
3546
3547  if (isCastExpr) {
3548    if (!CastTy) {
3549      DS.SetTypeSpecError();
3550      return;
3551    }
3552
3553    const char *PrevSpec = 0;
3554    unsigned DiagID;
3555    // Check for duplicate type specifiers (e.g. "int typeof(int)").
3556    if (DS.SetTypeSpecType(DeclSpec::TST_typeofType, StartLoc, PrevSpec,
3557                           DiagID, CastTy))
3558      Diag(StartLoc, DiagID) << PrevSpec;
3559    return;
3560  }
3561
3562  // If we get here, the operand to the typeof was an expresion.
3563  if (Operand.isInvalid()) {
3564    DS.SetTypeSpecError();
3565    return;
3566  }
3567
3568  const char *PrevSpec = 0;
3569  unsigned DiagID;
3570  // Check for duplicate type specifiers (e.g. "int typeof(int)").
3571  if (DS.SetTypeSpecType(DeclSpec::TST_typeofExpr, StartLoc, PrevSpec,
3572                         DiagID, Operand.get()))
3573    Diag(StartLoc, DiagID) << PrevSpec;
3574}
3575
3576
3577/// TryAltiVecVectorTokenOutOfLine - Out of line body that should only be called
3578/// from TryAltiVecVectorToken.
3579bool Parser::TryAltiVecVectorTokenOutOfLine() {
3580  Token Next = NextToken();
3581  switch (Next.getKind()) {
3582  default: return false;
3583  case tok::kw_short:
3584  case tok::kw_long:
3585  case tok::kw_signed:
3586  case tok::kw_unsigned:
3587  case tok::kw_void:
3588  case tok::kw_char:
3589  case tok::kw_int:
3590  case tok::kw_float:
3591  case tok::kw_double:
3592  case tok::kw_bool:
3593  case tok::kw___pixel:
3594    Tok.setKind(tok::kw___vector);
3595    return true;
3596  case tok::identifier:
3597    if (Next.getIdentifierInfo() == Ident_pixel) {
3598      Tok.setKind(tok::kw___vector);
3599      return true;
3600    }
3601    return false;
3602  }
3603}
3604
3605bool Parser::TryAltiVecTokenOutOfLine(DeclSpec &DS, SourceLocation Loc,
3606                                      const char *&PrevSpec, unsigned &DiagID,
3607                                      bool &isInvalid) {
3608  if (Tok.getIdentifierInfo() == Ident_vector) {
3609    Token Next = NextToken();
3610    switch (Next.getKind()) {
3611    case tok::kw_short:
3612    case tok::kw_long:
3613    case tok::kw_signed:
3614    case tok::kw_unsigned:
3615    case tok::kw_void:
3616    case tok::kw_char:
3617    case tok::kw_int:
3618    case tok::kw_float:
3619    case tok::kw_double:
3620    case tok::kw_bool:
3621    case tok::kw___pixel:
3622      isInvalid = DS.SetTypeAltiVecVector(true, Loc, PrevSpec, DiagID);
3623      return true;
3624    case tok::identifier:
3625      if (Next.getIdentifierInfo() == Ident_pixel) {
3626        isInvalid = DS.SetTypeAltiVecVector(true, Loc, PrevSpec, DiagID);
3627        return true;
3628      }
3629      break;
3630    default:
3631      break;
3632    }
3633  } else if ((Tok.getIdentifierInfo() == Ident_pixel) &&
3634             DS.isTypeAltiVecVector()) {
3635    isInvalid = DS.SetTypeAltiVecPixel(true, Loc, PrevSpec, DiagID);
3636    return true;
3637  }
3638  return false;
3639}
3640
3641