Parser.cpp revision 7eeb4ec11043d4860361348f2b19299d957d47a9
15f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===--- Parser.cpp - C Language Family Parser ----------------------------===//
25f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
35f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//                     The LLVM Compiler Infrastructure
45f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
50bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// This file is distributed under the University of Illinois Open Source
60bc735ffcfb223c0186419547abaa5c84482663eChris Lattner// License. See LICENSE.TXT for details.
75f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
85f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
95f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//  This file implements the Parser interfaces.
115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//
125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer#include "clang/Parse/Parser.h"
15500d3297d2a21edeac4d46cbcbe21bc2352c2a28Chris Lattner#include "clang/Parse/ParseDiagnostic.h"
1619510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/DeclSpec.h"
1719510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/Scope.h"
1819510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/ParsedTemplate.h"
190102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner#include "llvm/Support/raw_ostream.h"
20d167ca0d26e43292b8b9e8d5300d92784ae0e27dChris Lattner#include "RAIIObjectsForParser.h"
21fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar#include "ParsePragma.h"
225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerusing namespace clang;
235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
24f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCallParser::Parser(Preprocessor &pp, Sema &actions)
251eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  : CrashInfo(*this), PP(pp), Actions(actions), Diags(PP.getDiagnostics()),
260fbda68b50ce17d7ad36ef7a5ed77518a5cd272eDouglas Gregor    GreaterThanIsOperator(true), ColonIsSacred(false),
270fbda68b50ce17d7ad36ef7a5ed77518a5cd272eDouglas Gregor    InMessageExpression(false), TemplateParameterDepth(0) {
285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Tok.setKind(tok::eof);
2923c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  Actions.CurScope = 0;
309e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner  NumCachedScopes = 0;
315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  ParenCount = BracketCount = BraceCount = 0;
32d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall  ObjCImpDecl = 0;
33fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar
34fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar  // Add #pragma handlers. These are removed and destroyed in the
35fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar  // destructor.
36cbb98edd530787c2ac019e437e7c599df8004ba7Daniel Dunbar  AlignHandler.reset(new PragmaAlignHandler(actions));
37cbb98edd530787c2ac019e437e7c599df8004ba7Daniel Dunbar  PP.AddPragmaHandler(AlignHandler.get());
38cbb98edd530787c2ac019e437e7c599df8004ba7Daniel Dunbar
39aa8b0d19244a6e7e8e5798fcc6aef003c274d3e0Eli Friedman  GCCVisibilityHandler.reset(new PragmaGCCVisibilityHandler(actions));
40aa8b0d19244a6e7e8e5798fcc6aef003c274d3e0Eli Friedman  PP.AddPragmaHandler("GCC", GCCVisibilityHandler.get());
41aa8b0d19244a6e7e8e5798fcc6aef003c274d3e0Eli Friedman
429b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  OptionsHandler.reset(new PragmaOptionsHandler(actions));
439b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.AddPragmaHandler(OptionsHandler.get());
449b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis
459b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PackHandler.reset(new PragmaPackHandler(actions));
469b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.AddPragmaHandler(PackHandler.get());
479b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis
489b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  UnusedHandler.reset(new PragmaUnusedHandler(actions, *this));
499b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.AddPragmaHandler(UnusedHandler.get());
509b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis
519b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  WeakHandler.reset(new PragmaWeakHandler(actions));
529b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.AddPragmaHandler(WeakHandler.get());
53f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor
54f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor  PP.setCodeCompletionHandler(*this);
555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
570102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner/// If a crash happens while the parser is active, print out a line indicating
580102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner/// what the current token is.
590102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattnervoid PrettyStackTraceParserEntry::print(llvm::raw_ostream &OS) const {
600102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner  const Token &Tok = P.getCurToken();
61ddcbc0a72a04a5ae2493088f1437200a9ea480b1Chris Lattner  if (Tok.is(tok::eof)) {
620102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner    OS << "<eof> parser at end of file\n";
630102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner    return;
640102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner  }
651eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
66ddcbc0a72a04a5ae2493088f1437200a9ea480b1Chris Lattner  if (Tok.getLocation().isInvalid()) {
67ddcbc0a72a04a5ae2493088f1437200a9ea480b1Chris Lattner    OS << "<unknown> parser at unknown location\n";
68ddcbc0a72a04a5ae2493088f1437200a9ea480b1Chris Lattner    return;
69ddcbc0a72a04a5ae2493088f1437200a9ea480b1Chris Lattner  }
701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
710102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner  const Preprocessor &PP = P.getPreprocessor();
720102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner  Tok.getLocation().print(OS, PP.getSourceManager());
739fa31dd71e0414e2ca905380e2f8d42710b22c82Daniel Dunbar  if (Tok.isAnnotation())
749fa31dd71e0414e2ca905380e2f8d42710b22c82Daniel Dunbar    OS << ": at annotation token \n";
759fa31dd71e0414e2ca905380e2f8d42710b22c82Daniel Dunbar  else
769fa31dd71e0414e2ca905380e2f8d42710b22c82Daniel Dunbar    OS << ": current parser token '" << PP.getSpelling(Tok) << "'\n";
77f780abc21c39cd4731b9e38f2d2d9f7d1510bd7bDouglas Gregor}
785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
790102c30896c83f70cf6b6519fd5c674cb981c0b5Chris Lattner
803cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris LattnerDiagnosticBuilder Parser::Diag(SourceLocation Loc, unsigned DiagID) {
8133e4e70c8c0a17e0ccb7465d96556b077a68ecb1Argyrios Kyrtzidis  return Diags.Report(Loc, DiagID);
821ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner}
831ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner
843cbfe2c4159e0a219ae660d50625c013aa4afbd0Chris LattnerDiagnosticBuilder Parser::Diag(const Token &Tok, unsigned DiagID) {
851ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner  return Diag(Tok.getLocation(), DiagID);
865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
884b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor/// \brief Emits a diagnostic suggesting parentheses surrounding a
894b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor/// given range.
904b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor///
914b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor/// \param Loc The location where we'll emit the diagnostic.
924b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor/// \param Loc The kind of diagnostic to emit.
934b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor/// \param ParenRange Source range enclosing code that should be parenthesized.
944b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregorvoid Parser::SuggestParentheses(SourceLocation Loc, unsigned DK,
954b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor                                SourceRange ParenRange) {
96b2fb6de9070fea9abc56c8e8d5469066e964cefeDouglas Gregor  SourceLocation EndLoc = PP.getLocForEndOfToken(ParenRange.getEnd());
97b2fb6de9070fea9abc56c8e8d5469066e964cefeDouglas Gregor  if (!ParenRange.getEnd().isFileID() || EndLoc.isInvalid()) {
984b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    // We can't display the parentheses, so just dig the
994b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    // warning/error and return.
1004b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    Diag(Loc, DK);
1014b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    return;
1024b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor  }
1031eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1041eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  Diag(Loc, DK)
105849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor    << FixItHint::CreateInsertion(ParenRange.getBegin(), "(")
106849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor    << FixItHint::CreateInsertion(EndLoc, ")");
1074b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor}
1084b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor
1095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// MatchRHSPunctuation - For punctuation with a LHS and RHS (e.g. '['/']'),
1105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// this helper function matches and consumes the specified RHS token if
1115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// present.  If not present, it emits the specified diagnostic indicating
1125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// that the parser failed to match the RHS of the token at LHSLoc.  LHSName
1135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// should be the name of the unmatched LHS token.
1145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerSourceLocation Parser::MatchRHSPunctuation(tok::TokenKind RHSTok,
1155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer                                           SourceLocation LHSLoc) {
116a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
117000732226610650837478cba97843d19b75f648eChris Lattner  if (Tok.is(RHSTok))
1185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return ConsumeAnyToken();
119a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
1205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  SourceLocation R = Tok.getLocation();
1215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  const char *LHSName = "unknown";
1225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  diag::kind DID = diag::err_parse_error;
1235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  switch (RHSTok) {
1245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  default: break;
1255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::r_paren : LHSName = "("; DID = diag::err_expected_rparen; break;
1265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::r_brace : LHSName = "{"; DID = diag::err_expected_rbrace; break;
1275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::r_square: LHSName = "["; DID = diag::err_expected_rsquare; break;
1285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::greater:  LHSName = "<"; DID = diag::err_expected_greater; break;
1295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
1305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  Diag(Tok, DID);
13128eb7e992b9a266abb300da25b6d3c1557cec361Chris Lattner  Diag(LHSLoc, diag::note_matching) << LHSName;
1329fc1873a3da0af8ef91e4f1927f3540f9af2038fChris Lattner  SkipUntil(RHSTok);
1335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  return R;
1345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
1355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
136837b1a37116cf4e64f8bb7db34982dee1fba7647John McCallstatic bool IsCommonTypo(tok::TokenKind ExpectedTok, const Token &Tok) {
137837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  switch (ExpectedTok) {
138837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  case tok::semi: return Tok.is(tok::colon); // : for ;
139837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  default: return false;
140837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  }
141837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall}
142837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall
1435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ExpectAndConsume - The parser expects that 'ExpectedTok' is next in the
1445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// input.  If so, it is consumed and false is returned.
1455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
1465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// If the input is malformed, this emits the specified diagnostic.  Next, if
1475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SkipToTok is specified, it calls SkipUntil(SkipToTok).  Finally, true is
1485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// returned.
1495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerbool Parser::ExpectAndConsume(tok::TokenKind ExpectedTok, unsigned DiagID,
1505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer                              const char *Msg, tok::TokenKind SkipToTok) {
151dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor  if (Tok.is(ExpectedTok) || Tok.is(tok::code_completion)) {
1525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ConsumeAnyToken();
1535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    return false;
1545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
155a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
156837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  // Detect common single-character typos and resume.
157837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  if (IsCommonTypo(ExpectedTok, Tok)) {
158837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall    SourceLocation Loc = Tok.getLocation();
159837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall    Diag(Loc, DiagID)
160837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall      << Msg
161837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall      << FixItHint::CreateReplacement(SourceRange(Loc),
162837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall                                      getTokenSimpleSpelling(ExpectedTok));
163837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall    ConsumeAnyToken();
164837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall
165837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall    // Pretend there wasn't a problem.
166837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall    return false;
167837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall  }
168837b1a37116cf4e64f8bb7db34982dee1fba7647John McCall
1694b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor  const char *Spelling = 0;
170b2fb6de9070fea9abc56c8e8d5469066e964cefeDouglas Gregor  SourceLocation EndLoc = PP.getLocForEndOfToken(PrevTokLocation);
1711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  if (EndLoc.isValid() &&
172b2fb6de9070fea9abc56c8e8d5469066e964cefeDouglas Gregor      (Spelling = tok::getTokenSimpleSpelling(ExpectedTok))) {
1734b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    // Show what code to insert to fix this problem.
1741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    Diag(EndLoc, DiagID)
1754b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor      << Msg
176849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor      << FixItHint::CreateInsertion(EndLoc, Spelling);
1774b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor  } else
1784b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor    Diag(Tok, DiagID) << Msg;
1794b2d3f7bcc4df31157df443af1b80bcaa9b58bbaDouglas Gregor
1805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  if (SkipToTok != tok::unknown)
1815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    SkipUntil(SkipToTok);
1825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  return true;
1835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
1845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
1859ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregorbool Parser::ExpectAndConsumeSemi(unsigned DiagID) {
1869ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor  if (Tok.is(tok::semi) || Tok.is(tok::code_completion)) {
1879ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    ConsumeAnyToken();
1889ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    return false;
1899ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor  }
1909ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor
1919ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor  if ((Tok.is(tok::r_paren) || Tok.is(tok::r_square)) &&
1929ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor      NextToken().is(tok::semi)) {
1939ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    Diag(Tok, diag::err_extraneous_token_before_semi)
1949ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor      << PP.getSpelling(Tok)
1959ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor      << FixItHint::CreateRemoval(Tok.getLocation());
1969ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    ConsumeAnyToken(); // The ')' or ']'.
1979ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    ConsumeToken(); // The ';'.
1989ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor    return false;
1999ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor  }
2009ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor
2019ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor  return ExpectAndConsume(tok::semi, DiagID);
2029ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor}
2039ba23b4ceacd77cd264501690a7a9e94184ef71bDouglas Gregor
2045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
2055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// Error recovery.
2065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
2075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// SkipUntil - Read tokens until we get to the specified token, then consume
209012cf464254804279efa84e21b4b493dde76c5f1Chris Lattner/// it (unless DontConsume is true).  Because we cannot guarantee that the
2105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// token will ever occur, this skips to the next token, or to some likely
2115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// good stopping point.  If StopAtSemi is true, skipping will stop at a ';'
2125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// character.
213a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump///
2145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// If SkipUntil finds the specified token, it returns true, otherwise it
215a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump/// returns false.
2165f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencerbool Parser::SkipUntil(const tok::TokenKind *Toks, unsigned NumToks,
2173437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis                       bool StopAtSemi, bool DontConsume,
2183437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis                       bool StopAtCodeCompletion) {
2195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // We always want this function to skip at least one token if the first token
2205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // isn't T and if not at EOF.
2215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  bool isFirstTokenSkipped = true;
2225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  while (1) {
2235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // If we found one of the tokens, stop and return true.
2245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    for (unsigned i = 0; i != NumToks; ++i) {
225000732226610650837478cba97843d19b75f648eChris Lattner      if (Tok.is(Toks[i])) {
2265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        if (DontConsume) {
2275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          // Noop, don't consume the token.
2285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        } else {
2295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          ConsumeAnyToken();
2305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        }
2315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        return true;
2325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      }
2335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
234a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
2355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    switch (Tok.getKind()) {
2365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::eof:
2375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Ran out of tokens.
2385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      return false;
239dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor
240dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    case tok::code_completion:
2413437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis      if (!StopAtCodeCompletion)
2423437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis        ConsumeToken();
243dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor      return false;
244dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor
2455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::l_paren:
2465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Recursively skip properly-nested parens.
2475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeParen();
2483437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis      SkipUntil(tok::r_paren, false, false, StopAtCodeCompletion);
2495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::l_square:
2515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Recursively skip properly-nested square brackets.
2525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeBracket();
2533437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis      SkipUntil(tok::r_square, false, false, StopAtCodeCompletion);
2545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::l_brace:
2565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Recursively skip properly-nested braces.
2575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeBrace();
2583437f1f1294499d4ef306c1089fcb3e29ec2aa68Argyrios Kyrtzidis      SkipUntil(tok::r_brace, false, false, StopAtCodeCompletion);
2595f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
260a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
2615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Okay, we found a ']' or '}' or ')', which we think should be balanced.
2625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Since the user wasn't looking for this token (if they were, it would
2635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // already be handled), this isn't balanced.  If there is a LHS token at a
2645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // higher level, we will assume that this matches the unbalanced token
2655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // and return it.  Otherwise, this is a spurious RHS token, which we skip.
2665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::r_paren:
2675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      if (ParenCount && !isFirstTokenSkipped)
2685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        return false;  // Matches something.
2695f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeParen();
2705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::r_square:
2725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      if (BracketCount && !isFirstTokenSkipped)
2735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        return false;  // Matches something.
2745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeBracket();
2755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::r_brace:
2775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      if (BraceCount && !isFirstTokenSkipped)
2785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        return false;  // Matches something.
2795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeBrace();
2805f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
281a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
2825f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::string_literal:
2835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::wide_string_literal:
2845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeStringToken();
2855f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    case tok::semi:
2875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      if (StopAtSemi)
2885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        return false;
2895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // FALL THROUGH.
2905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    default:
2915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Skip this token.
2925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeToken();
2935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      break;
2945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
2955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    isFirstTokenSkipped = false;
296a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump  }
2975f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
2985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
2995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
3005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// Scope manipulation
3015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
3025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// EnterScope - Start a new scope.
3045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Parser::EnterScope(unsigned ScopeFlags) {
3059e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner  if (NumCachedScopes) {
3069e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner    Scope *N = ScopeCache[--NumCachedScopes];
30723c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor    N->Init(getCurScope(), ScopeFlags);
30823c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor    Actions.CurScope = N;
3095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  } else {
3109c4eb1f3438370355f51dc8c62f2ca4803e3338dArgyrios Kyrtzidis    Actions.CurScope = new Scope(getCurScope(), ScopeFlags, Diags);
3115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
3125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
3135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ExitScope - Pop a scope off the scope stack.
3155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Parser::ExitScope() {
31623c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  assert(getCurScope() && "Scope imbalance!");
3175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
31890ae68aae98f12fe1950c63e2f6bd0fabce6cb1eChris Lattner  // Inform the actions module that this scope is going away if there are any
31990ae68aae98f12fe1950c63e2f6bd0fabce6cb1eChris Lattner  // decls in it.
32023c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  if (!getCurScope()->decl_empty())
32123c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor    Actions.ActOnPopScope(Tok.getLocation(), getCurScope());
322a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
32323c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  Scope *OldScope = getCurScope();
32423c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  Actions.CurScope = OldScope->getParent();
325a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
3269e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner  if (NumCachedScopes == ScopeCacheSize)
3279e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner    delete OldScope;
3285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  else
3299e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner    ScopeCache[NumCachedScopes++] = OldScope;
3305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
3315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
3365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer// C99 6.9: External Definitions.
3375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer//===----------------------------------------------------------------------===//
3385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid SpencerParser::~Parser() {
3405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // If we still have scopes active, delete the scope tree.
34123c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  delete getCurScope();
34223c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  Actions.CurScope = 0;
34323c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor
3445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // Free the scope cache.
3459e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner  for (unsigned i = 0, e = NumCachedScopes; i != e; ++i)
3469e344c65b1e8b83e1d3ada507cf653526ff2c005Chris Lattner    delete ScopeCache[i];
347fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar
348fcdd8fe26de3eee44927600bf1853e21bd90dd84Daniel Dunbar  // Remove the pragma handlers we installed.
349cbb98edd530787c2ac019e437e7c599df8004ba7Daniel Dunbar  PP.RemovePragmaHandler(AlignHandler.get());
350cbb98edd530787c2ac019e437e7c599df8004ba7Daniel Dunbar  AlignHandler.reset();
351aa8b0d19244a6e7e8e5798fcc6aef003c274d3e0Eli Friedman  PP.RemovePragmaHandler("GCC", GCCVisibilityHandler.get());
352aa8b0d19244a6e7e8e5798fcc6aef003c274d3e0Eli Friedman  GCCVisibilityHandler.reset();
3539b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.RemovePragmaHandler(OptionsHandler.get());
354861800c676004eabed5927f0552620d06c80a40aDaniel Dunbar  OptionsHandler.reset();
3559b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.RemovePragmaHandler(PackHandler.get());
3564726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek  PackHandler.reset();
3579b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.RemovePragmaHandler(UnusedHandler.get());
3584726d03ab3abce41911c31d1354a18f1258cae4dTed Kremenek  UnusedHandler.reset();
3599b36c3f0de0105e903130bbda3c4aea7d792c0afArgyrios Kyrtzidis  PP.RemovePragmaHandler(WeakHandler.get());
3609991479ad5dde617168cc1e4b18425cdbbfd9fa9Eli Friedman  WeakHandler.reset();
361f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor  PP.clearCodeCompletionHandler();
3625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
3635f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
3645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Initialize - Warm up the parser.
3655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
3665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Parser::Initialize() {
36731e057270232c1c37602579cb6461c2704175672Chris Lattner  // Create the translation unit scope.  Install it as the current scope.
36823c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  assert(getCurScope() == 0 && "A scope is already active?");
36931e057270232c1c37602579cb6461c2704175672Chris Lattner  EnterScope(Scope::DeclScope);
370c1a3e5e73859ece9f106ae9d84c78bef4111956aDouglas Gregor  Actions.ActOnTranslationUnitScope(getCurScope());
371c1a3e5e73859ece9f106ae9d84c78bef4111956aDouglas Gregor
372c1a3e5e73859ece9f106ae9d84c78bef4111956aDouglas Gregor  // Prime the lexer look-ahead.
373c1a3e5e73859ece9f106ae9d84c78bef4111956aDouglas Gregor  ConsumeToken();
374a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
375000732226610650837478cba97843d19b75f648eChris Lattner  if (Tok.is(tok::eof) &&
376f72617544287acf0281c3b1a733bcb22a02e6ca4Chris Lattner      !getLang().CPlusPlus)  // Empty source file is an extension in C
3775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    Diag(Tok, diag::ext_empty_source_file);
378a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
37934870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner  // Initialization for Objective-C context sensitive keywords recognition.
380a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek  // Referenced in Parser::ParseObjCTypeQualifierList.
38134870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner  if (getLang().ObjC1) {
382a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_in] = &PP.getIdentifierTable().get("in");
383a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_out] = &PP.getIdentifierTable().get("out");
384a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_inout] = &PP.getIdentifierTable().get("inout");
385a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_oneway] = &PP.getIdentifierTable().get("oneway");
386a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_bycopy] = &PP.getIdentifierTable().get("bycopy");
387a526c5c67e5a0473c340903ee542ce570119665fTed Kremenek    ObjCTypeQuals[objc_byref] = &PP.getIdentifierTable().get("byref");
38834870da70fa42b0391b79627ebd0cfc6eb22213bChris Lattner  }
389662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar
3907eeb4ec11043d4860361348f2b19299d957d47a9Anders Carlsson  Ident_final = 0;
3917eeb4ec11043d4860361348f2b19299d957d47a9Anders Carlsson  Ident_override = 0;
3921f3b6fdabbb10779a473d6315154d7325ce20aeaAnders Carlsson
393662e8b5647adbb1bc9eeceece7b64600cfa87471Daniel Dunbar  Ident_super = &PP.getIdentifierTable().get("super");
39482287d19ded35248c4ce6a425ce74116a13ce44eJohn Thompson
39582287d19ded35248c4ce6a425ce74116a13ce44eJohn Thompson  if (getLang().AltiVec) {
39682287d19ded35248c4ce6a425ce74116a13ce44eJohn Thompson    Ident_vector = &PP.getIdentifierTable().get("vector");
39782287d19ded35248c4ce6a425ce74116a13ce44eJohn Thompson    Ident_pixel = &PP.getIdentifierTable().get("pixel");
39882287d19ded35248c4ce6a425ce74116a13ce44eJohn Thompson  }
3995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4015f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseTopLevelDecl - Parse one top-level declaration, return whatever the
4025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// action tells us to.  This returns true if the EOF was encountered.
403682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattnerbool Parser::ParseTopLevelDecl(DeclGroupPtrTy &Result) {
404b918d0f5d8f147e1e26c34e6cf42a79af2d2ec41Argyrios Kyrtzidis
405b918d0f5d8f147e1e26c34e6cf42a79af2d2ec41Argyrios Kyrtzidis  while (Tok.is(tok::annot_pragma_unused))
406b918d0f5d8f147e1e26c34e6cf42a79af2d2ec41Argyrios Kyrtzidis    HandlePragmaUnused();
407b918d0f5d8f147e1e26c34e6cf42a79af2d2ec41Argyrios Kyrtzidis
408682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  Result = DeclGroupPtrTy();
4099299f3fa85796613cc787a2062c9562d07c8613eChris Lattner  if (Tok.is(tok::eof)) {
4109299f3fa85796613cc787a2062c9562d07c8613eChris Lattner    Actions.ActOnEndOfTranslationUnit();
4119299f3fa85796613cc787a2062c9562d07c8613eChris Lattner    return true;
4129299f3fa85796613cc787a2062c9562d07c8613eChris Lattner  }
413a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
4147f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  ParsedAttributesWithRange attrs;
4157f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  MaybeParseCXX0XAttributes(attrs);
4167f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  MaybeParseMicrosoftAttributes(attrs);
417334d47e92e9f241576fdeb7477b69a03136ba854Francois Pichet
4187f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  Result = ParseExternalDeclaration(attrs);
4195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  return false;
4205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4215f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseTranslationUnit:
4235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///       translation-unit: [C99 6.9]
424a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump///         external-declaration
425a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump///         translation-unit external-declaration
4265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Parser::ParseTranslationUnit() {
4278935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor  Initialize();
428a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
429682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  DeclGroupPtrTy Res;
43089307ffaf8acf4d6fdffd72b607ca4fbcfdffc9dSteve Naroff  while (!ParseTopLevelDecl(Res))
4315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    /*parse them all*/;
4321eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
43306f548596beef4c0a227a45cba996497f99566c0Chris Lattner  ExitScope();
43423c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  assert(getCurScope() == 0 && "Scope imbalance!");
4355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
4365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
4375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseExternalDeclaration:
43890b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner///
439c19923dda3d28f67aab4726cd40bb07032758383Douglas Gregor///       external-declaration: [C99 6.9], declaration: [C++ dcl.dcl]
440c3018153a11afe91849748a93d920040a571b76cChris Lattner///         function-definition
441c3018153a11afe91849748a93d920040a571b76cChris Lattner///         declaration
442a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor/// [C++0x] empty-declaration
4435f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [GNU]   asm-definition
444c3018153a11afe91849748a93d920040a571b76cChris Lattner/// [GNU]   __extension__ external-declaration
4455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  objc-class-definition
4465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  objc-class-declaration
4475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  objc-alias-declaration
4485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  objc-protocol-definition
4495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  objc-method-definition
4505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OBJC]  @end
451c19923dda3d28f67aab4726cd40bb07032758383Douglas Gregor/// [C++]   linkage-specification
4525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [GNU] asm-definition:
4535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         simple-asm-expr ';'
4545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
455a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor/// [C++0x] empty-declaration:
456a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor///           ';'
457a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor///
45845f965581935791a018df829a14dff53c1dd8f47Douglas Gregor/// [C++0x/GNU] 'extern' 'template' declaration
4597f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCallParser::DeclGroupPtrTy
4607f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCallParser::ParseExternalDeclaration(ParsedAttributesWithRange &attrs,
4617f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall                                 ParsingDeclSpec *DS) {
46236d36806f1972f7ec1d2a3f59155187278c56508Argyrios Kyrtzidis  ParenBraceBracketBalancer BalancerRAIIObj(*this);
46336d36806f1972f7ec1d2a3f59155187278c56508Argyrios Kyrtzidis
464d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall  Decl *SingleDecl = 0;
4655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  switch (Tok.getKind()) {
4665f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::semi:
467a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor    if (!getLang().CPlusPlus0x)
468a1d71aea847a50b3acbd187d2ae9e5c1ead0f4e2Douglas Gregor      Diag(Tok, diag::ext_top_level_semi)
469849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor        << FixItHint::CreateRemoval(Tok.getLocation());
4701eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
4715f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ConsumeToken();
4725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // TODO: Invoke action for top-level semicolon.
473682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return DeclGroupPtrTy();
47490b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner  case tok::r_brace:
47590b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner    Diag(Tok, diag::err_expected_external_declaration);
47690b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner    ConsumeBrace();
477682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return DeclGroupPtrTy();
47890b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner  case tok::eof:
47990b93d6f6961edd8f17e089253d655892adc1ef7Chris Lattner    Diag(Tok, diag::err_expected_external_declaration);
480682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return DeclGroupPtrTy();
481c3018153a11afe91849748a93d920040a571b76cChris Lattner  case tok::kw___extension__: {
482c46d1a1f8af67a87689d7db9eaf96027282ccaeaChris Lattner    // __extension__ silences extension warnings in the subexpression.
483c46d1a1f8af67a87689d7db9eaf96027282ccaeaChris Lattner    ExtensionRAIIObject O(Diags);  // Use RAII to do this.
48439146d6497ad5e7ca8ef639221e7b3e15d07c888Chris Lattner    ConsumeToken();
4857f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    return ParseExternalDeclaration(attrs);
486c3018153a11afe91849748a93d920040a571b76cChris Lattner  }
487dfab6cb59a703f2ce4d58371652ce879f4c85a09Anders Carlsson  case tok::kw_asm: {
4887f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    ProhibitAttributes(attrs);
489bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt
49060d7b3a319d84d688752be3870615ac0f111fb16John McCall    ExprResult Result(ParseSimpleAsm());
491a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
4923f9424f3206b834b5dd0e7c403348651ab6fafbbAnders Carlsson    ExpectAndConsume(tok::semi, diag::err_expected_semi_after,
4933f9424f3206b834b5dd0e7c403348651ab6fafbbAnders Carlsson                     "top-level asm block");
494dfab6cb59a703f2ce4d58371652ce879f4c85a09Anders Carlsson
495682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    if (Result.isInvalid())
496682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      return DeclGroupPtrTy();
4979ae2f076ca5ab1feb3ba95629099ec2319833701John McCall    SingleDecl = Actions.ActOnFileScopeAsmDecl(Tok.getLocation(), Result.get());
498682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    break;
499dfab6cb59a703f2ce4d58371652ce879f4c85a09Anders Carlsson  }
5005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::at:
501682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    // @ is not a legal token unless objc is enabled, no need to check for ObjC.
502682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    /// FIXME: ParseObjCAtDirectives should return a DeclGroup for things like
503682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    /// @class foo, bar;
504682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    SingleDecl = ParseObjCAtDirectives();
505682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    break;
5065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::minus:
5075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::plus:
508682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    if (!getLang().ObjC1) {
509682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      Diag(Tok, diag::err_expected_external_declaration);
510682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      ConsumeToken();
511682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      return DeclGroupPtrTy();
512682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    }
513682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    SingleDecl = ParseObjCMethodDefinition();
514682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    break;
515791215b7a24666912c0b71175d2ca5ba082f666eDouglas Gregor  case tok::code_completion:
51623c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor      Actions.CodeCompleteOrdinaryName(getCurScope(),
517f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall                                   ObjCImpDecl? Sema::PCC_ObjCImplementation
518f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall                                              : Sema::PCC_Namespace);
519dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    ConsumeCodeCompletionToken();
5207f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    return ParseExternalDeclaration(attrs);
521f780abc21c39cd4731b9e38f2d2d9f7d1510bd7bDouglas Gregor  case tok::kw_using:
5228f08cb7d0b97786b17ef05e05caa55aad4d6bd39Chris Lattner  case tok::kw_namespace:
5235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  case tok::kw_typedef:
524adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor  case tok::kw_template:
525adcac8824a9cff13f1ef61a69e38c1041cba12eeDouglas Gregor  case tok::kw_export:    // As in 'export template'
526511d7aba3b12853fdb88729a0313b80a60eab8adAnders Carlsson  case tok::kw_static_assert:
527bae35118fc5cea2da08567dbb9763af7f906dae2Chris Lattner    // A function definition cannot start with a these keywords.
52897144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner    {
52997144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner      SourceLocation DeclEnd;
530c5be7b0fc804d8e6f87298ec03c94d8cccd74f29Fariborz Jahanian      StmtVector Stmts(Actions);
5317f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      return ParseDeclaration(Stmts, Declarator::FileContext, DeclEnd, attrs);
53297144fc41a9419bf6d74fc9450e8ef3f6e11f7e0Chris Lattner    }
533d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl
5347306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor  case tok::kw_static:
5357306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    // Parse (then ignore) 'static' prior to a template instantiation. This is
5367306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    // a GCC extension that we intentionally do not support.
5377306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    if (getLang().CPlusPlus && NextToken().is(tok::kw_template)) {
5387306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      Diag(ConsumeToken(), diag::warn_static_inline_explicit_inst_ignored)
5397306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        << 0;
540d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl      SourceLocation DeclEnd;
541c5be7b0fc804d8e6f87298ec03c94d8cccd74f29Fariborz Jahanian      StmtVector Stmts(Actions);
5427f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      return ParseDeclaration(Stmts, Declarator::FileContext, DeclEnd, attrs);
5437306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    }
5447306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    goto dont_know;
5457306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor
5467306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor  case tok::kw_inline:
5477306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor    if (getLang().CPlusPlus) {
5487306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      tok::TokenKind NextKind = NextToken().getKind();
5497306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor
5507306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      // Inline namespaces. Allowed as an extension even in C++03.
5517306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      if (NextKind == tok::kw_namespace) {
5527306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        SourceLocation DeclEnd;
5537306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        StmtVector Stmts(Actions);
5547f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall        return ParseDeclaration(Stmts, Declarator::FileContext, DeclEnd, attrs);
5557306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      }
5567306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor
5577306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      // Parse (then ignore) 'inline' prior to a template instantiation. This is
5587306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      // a GCC extension that we intentionally do not support.
5597306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      if (NextKind == tok::kw_template) {
5607306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        Diag(ConsumeToken(), diag::warn_static_inline_explicit_inst_ignored)
5617306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor          << 1;
5627306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        SourceLocation DeclEnd;
5637306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor        StmtVector Stmts(Actions);
5647f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall        return ParseDeclaration(Stmts, Declarator::FileContext, DeclEnd, attrs);
5657306ebfacfa51ba5270fd20f162f62d2ed813485Douglas Gregor      }
566d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl    }
567d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl    goto dont_know;
568d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl
56945f965581935791a018df829a14dff53c1dd8f47Douglas Gregor  case tok::kw_extern:
57045f965581935791a018df829a14dff53c1dd8f47Douglas Gregor    if (getLang().CPlusPlus && NextToken().is(tok::kw_template)) {
57145f965581935791a018df829a14dff53c1dd8f47Douglas Gregor      // Extern templates
57245f965581935791a018df829a14dff53c1dd8f47Douglas Gregor      SourceLocation ExternLoc = ConsumeToken();
57345f965581935791a018df829a14dff53c1dd8f47Douglas Gregor      SourceLocation TemplateLoc = ConsumeToken();
57445f965581935791a018df829a14dff53c1dd8f47Douglas Gregor      SourceLocation DeclEnd;
57545f965581935791a018df829a14dff53c1dd8f47Douglas Gregor      return Actions.ConvertDeclToDeclGroup(
57645f965581935791a018df829a14dff53c1dd8f47Douglas Gregor                  ParseExplicitInstantiation(ExternLoc, TemplateLoc, DeclEnd));
57745f965581935791a018df829a14dff53c1dd8f47Douglas Gregor    }
57845f965581935791a018df829a14dff53c1dd8f47Douglas Gregor    // FIXME: Detect C++ linkage specifications here?
579d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl    goto dont_know;
5801eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
5815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  default:
582d078e641450bbc5a20df8d3b54f87b27e398acb3Sebastian Redl  dont_know:
5835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // We can't tell whether this is a function-definition or declaration yet.
5847f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    if (DS) {
5857f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      DS->takeAttributesFrom(attrs);
5867f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      return ParseDeclarationOrFunctionDefinition(*DS);
5877f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    } else {
5887f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      return ParseDeclarationOrFunctionDefinition(attrs);
5897f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall    }
5905f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
5911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
592682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  // This routine returns a DeclGroup, if the thing we parsed only contains a
593682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  // single decl, convert it now.
594682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  return Actions.ConvertDeclToDeclGroup(SingleDecl);
5955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
5965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
5971426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor/// \brief Determine whether the current token, if it occurs after a
5981426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor/// declarator, continues a declaration or declaration list.
599c82daefa3062721e98947e08193cd81b4e9df915Chris Lattnerbool Parser::isDeclarationAfterDeclarator() const {
6001426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor  return Tok.is(tok::equal) ||      // int X()=  -> not a function def
6011426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor    Tok.is(tok::comma) ||           // int X(),  -> not a function def
6021426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor    Tok.is(tok::semi)  ||           // int X();  -> not a function def
6031426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor    Tok.is(tok::kw_asm) ||          // int X() __asm__ -> not a function def
6041426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor    Tok.is(tok::kw___attribute) ||  // int X() __attr__ -> not a function def
6051426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor    (getLang().CPlusPlus &&
6061426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor     Tok.is(tok::l_paren));         // int X(0) -> not a function def [C++]
6071426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor}
6081426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor
6091426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor/// \brief Determine whether the current token, if it occurs after a
6101426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor/// declarator, indicates the start of a function definition.
611004659a56916f2f81ede507c12516c146d6c0df3Chris Lattnerbool Parser::isStartOfFunctionDefinition(const ParsingDeclarator &Declarator) {
612075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara  assert(Declarator.isFunctionDeclarator() && "Isn't a function declarator");
6135d1c6198cfe55f8de025902c621c0721b640ff60Chris Lattner  if (Tok.is(tok::l_brace))   // int X() {}
6145d1c6198cfe55f8de025902c621c0721b640ff60Chris Lattner    return true;
6155d1c6198cfe55f8de025902c621c0721b640ff60Chris Lattner
616004659a56916f2f81ede507c12516c146d6c0df3Chris Lattner  // Handle K&R C argument lists: int X(f) int f; {}
617004659a56916f2f81ede507c12516c146d6c0df3Chris Lattner  if (!getLang().CPlusPlus &&
618075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara      Declarator.getFunctionTypeInfo().isKNRPrototype())
619004659a56916f2f81ede507c12516c146d6c0df3Chris Lattner    return isDeclarationSpecifier();
620004659a56916f2f81ede507c12516c146d6c0df3Chris Lattner
6215d1c6198cfe55f8de025902c621c0721b640ff60Chris Lattner  return Tok.is(tok::colon) ||         // X() : Base() {} (used for ctors)
6225d1c6198cfe55f8de025902c621c0721b640ff60Chris Lattner         Tok.is(tok::kw_try);          // X() try { ... }
6231426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor}
6241426e534b4fca6a05b1120d634aae46be79ca17cDouglas Gregor
6255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseDeclarationOrFunctionDefinition - Parse either a function-definition or
6265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// a declaration.  We can't tell which we have until we read up to the
627c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor/// compound-statement in function-definition. TemplateParams, if
628c4b4e7b8f6ca9b036824e048af49cd2a52b57cdfDouglas Gregor/// non-NULL, provides the template parameters when we're parsing a
6291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// C++ template-declaration.
6305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
6315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///       function-definition: [C99 6.9.1]
632a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner///         decl-specs      declarator declaration-list[opt] compound-statement
633a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner/// [C90] function-definition: [C99 6.7.1] - implicit int result
634a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump/// [C90]   decl-specs[opt] declarator declaration-list[opt] compound-statement
635a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner///
6365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///       declaration: [C99 6.7]
637697e15f2a028f8997cccb24ecd05099988cfb1a9Chris Lattner///         declaration-specifiers init-declarator-list[opt] ';'
638697e15f2a028f8997cccb24ecd05099988cfb1a9Chris Lattner/// [!C99]  init-declarator-list ';'                   [TODO: warn in c99 mode]
6395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [OMP]   threadprivate-directive                              [TODO]
6405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
641682bf92db408a6cbc3d37b5496a99b6ef85041ecChris LattnerParser::DeclGroupPtrTy
6423acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz JahanianParser::ParseDeclarationOrFunctionDefinition(ParsingDeclSpec &DS,
643bbd37c62e34db3f5a95c899723484a76c71d7757Sean Hunt                                             AccessSpecifier AS) {
6445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // Parse the common declaration-specifiers piece.
6450efc2c1716be4f1c5f1343cad3b047e74861f030Douglas Gregor  ParseDeclarationSpecifiers(DS, ParsedTemplateInfo(), AS, DSC_top_level);
646a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
6475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // C99 6.7.2.3p6: Handle "struct-or-union identifier;", "enum { X };"
6485f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // declaration-specifiers init-declarator-list[opt] ';'
649000732226610650837478cba97843d19b75f648eChris Lattner  if (Tok.is(tok::semi)) {
6505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ConsumeToken();
651d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall    Decl *TheDecl = Actions.ParsedFreeStandingDeclSpec(getCurScope(), AS, DS);
65254abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall    DS.complete(TheDecl);
653682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return Actions.ConvertDeclToDeclGroup(TheDecl);
6545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
655a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
656246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar  // ObjC2 allows prefix attributes on class interfaces and protocols.
657246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar  // FIXME: This still needs better diagnostics. We should only accept
658246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar  // attributes here, no types, etc.
659000732226610650837478cba97843d19b75f648eChris Lattner  if (getLang().ObjC2 && Tok.is(tok::at)) {
660dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff    SourceLocation AtLoc = ConsumeToken(); // the "@"
6611eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    if (!Tok.isObjCAtKeyword(tok::objc_interface) &&
662246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar        !Tok.isObjCAtKeyword(tok::objc_protocol)) {
663246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar      Diag(Tok, diag::err_objc_unexpected_attr);
664cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner      SkipUntil(tok::semi); // FIXME: better skip?
665682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      return DeclGroupPtrTy();
666cb53b361bce341c8591333c6997f62e480acc0b4Chris Lattner    }
667d8ac05753dc4506224d445ff98399c01da3136e5John McCall
66854abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall    DS.abort();
66954abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall
6700de2ae28c603322f05e2d9200c7d457c8b928983Fariborz Jahanian    const char *PrevSpec = 0;
671fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    unsigned DiagID;
672fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    if (DS.SetTypeSpecType(DeclSpec::TST_unspecified, AtLoc, PrevSpec, DiagID))
673fec54013fcd0eb72642741584ca04c1bc292bef8John McCall      Diag(AtLoc, DiagID) << PrevSpec;
6741eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
675d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall    Decl *TheDecl = 0;
676246e70f69cb8aeb67225c54690f1c6b25abd5a86Daniel Dunbar    if (Tok.isObjCAtKeyword(tok::objc_protocol))
677682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      TheDecl = ParseObjCAtProtocolDeclaration(AtLoc, DS.getAttributes());
678682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    else
679682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      TheDecl = ParseObjCAtInterfaceDeclaration(AtLoc, DS.getAttributes());
680682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return Actions.ConvertDeclToDeclGroup(TheDecl);
681dac269b65eed82182fc3e96566dedd6562dfe11eSteve Naroff  }
682a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
683c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner  // If the declspec consisted only of 'extern' and we have a string
684c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner  // literal following it, this must be a C++ linkage specifier like
685c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner  // 'extern "C"'.
6863c6f6a7a1bb9969112617a26d2333bab2f6efd65Chris Lattner  if (Tok.is(tok::string_literal) && getLang().CPlusPlus &&
687c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner      DS.getStorageClassSpec() == DeclSpec::SCS_extern &&
688682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner      DS.getParsedSpecifiers() == DeclSpec::PQ_StorageClassSpecifier) {
689d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall    Decl *TheDecl = ParseLinkage(DS, Declarator::FileContext);
690682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner    return Actions.ConvertDeclToDeclGroup(TheDecl);
691682bf92db408a6cbc3d37b5496a99b6ef85041ecChris Lattner  }
692c6fdc34ac0183bfa03d65f317c78b7bdac52897eChris Lattner
693d8ac05753dc4506224d445ff98399c01da3136e5John McCall  return ParseDeclGroup(DS, Declarator::FileContext, true);
6945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
6955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
6963acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz JahanianParser::DeclGroupPtrTy
6977f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCallParser::ParseDeclarationOrFunctionDefinition(ParsedAttributes &attrs,
6983acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz Jahanian                                             AccessSpecifier AS) {
6993acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz Jahanian  ParsingDeclSpec DS(*this);
7007f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  DS.takeAttributesFrom(attrs);
7017f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall  return ParseDeclarationOrFunctionDefinition(DS, AS);
7023acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz Jahanian}
7033acd9aaa4ddd14afecb4f1c02ca6f585a6d51849Fariborz Jahanian
7045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseFunctionDefinition - We parsed and verified that the specified
7055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// Declarator is well formed.  If this is a K&R-style function, read the
7065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// parameters declaration-list, then start the compound-statement.
7075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
708a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner///       function-definition: [C99 6.9.1]
709a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner///         decl-specs      declarator declaration-list[opt] compound-statement
710a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner/// [C90] function-definition: [C99 6.7.1] - implicit int result
711a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump/// [C90]   decl-specs[opt] declarator declaration-list[opt] compound-statement
7127ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor/// [C++] function-definition: [C++ 8.4]
71323c4b1883b13dc17484b7214091b73f3ba29096eChris Lattner///         decl-specifier-seq[opt] declarator ctor-initializer[opt]
71423c4b1883b13dc17484b7214091b73f3ba29096eChris Lattner///         function-body
7157ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor/// [C++] function-definition: [C++ 8.4]
716d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl///         decl-specifier-seq[opt] declarator function-try-block
7175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
718d226f65006733ed7f709c3174f22ce33391cb58fJohn McCallDecl *Parser::ParseFunctionDefinition(ParsingDeclarator &D,
719075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara                                      const ParsedTemplateInfo &TemplateInfo) {
720075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara  const DeclaratorChunk::FunctionTypeInfo &FTI = D.getFunctionTypeInfo();
721a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
722a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner  // If this is C90 and the declspecs were completely missing, fudge in an
723a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner  // implicit int.  We do this here because this is the only place where
724a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner  // declaration-specifiers are completely optional in the grammar.
7252a327d11a07dfbdf20910cebbae38910eda111fdChris Lattner  if (getLang().ImplicitInt && D.getDeclSpec().isEmpty()) {
726a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner    const char *PrevSpec;
727fec54013fcd0eb72642741584ca04c1bc292bef8John McCall    unsigned DiagID;
72831c286803c60c59d314525e047d0e72f9a1cb55bChris Lattner    D.getMutableDeclSpec().SetTypeSpecType(DeclSpec::TST_int,
72931c286803c60c59d314525e047d0e72f9a1cb55bChris Lattner                                           D.getIdentifierLoc(),
730fec54013fcd0eb72642741584ca04c1bc292bef8John McCall                                           PrevSpec, DiagID);
731ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    D.SetRangeBegin(D.getDeclSpec().getSourceRange().getBegin());
732a798ebc82627ea9cb7a00da07d2b60f9f2114f69Chris Lattner  }
733a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
7345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // If this declaration was formed with a K&R-style identifier list for the
7355f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // arguments, parse declarations for all of the args next.
7365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // int foo(a,b) int a; float b; {}
737004659a56916f2f81ede507c12516c146d6c0df3Chris Lattner  if (FTI.isKNRPrototype())
7385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ParseKNRParamDeclarations(D);
7395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7407ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor  // We should have either an opening brace or, in a C++ constructor,
7417ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor  // we may have a colon.
742d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl  if (Tok.isNot(tok::l_brace) && Tok.isNot(tok::colon) &&
743d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl      Tok.isNot(tok::kw_try)) {
7445f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    Diag(Tok, diag::err_expected_fn_body);
7455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7465f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Skip over garbage, until we get to '{'.  Don't eat the '{'.
7475f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    SkipUntil(tok::l_brace, true, true);
748a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
7495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // If we didn't find the '{', bail out.
750000732226610650837478cba97843d19b75f648eChris Lattner    if (Tok.isNot(tok::l_brace))
751d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall      return 0;
7525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
753a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
754b652cea7d7b70ebe3744fb6d72c9ad9cf3c95429Chris Lattner  // Enter a scope for the function body.
7558935b8b49053122ddd3ab4cd59af0fe5eb9c23cfDouglas Gregor  ParseScope BodyScope(this, Scope::FnScope|Scope::DeclScope);
756a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
757b652cea7d7b70ebe3744fb6d72c9ad9cf3c95429Chris Lattner  // Tell the actions module that we have entered a function definition with the
758b652cea7d7b70ebe3744fb6d72c9ad9cf3c95429Chris Lattner  // specified Declarator for the function.
759d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall  Decl *Res = TemplateInfo.TemplateParams?
76023c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor      Actions.ActOnStartOfFunctionTemplateDef(getCurScope(),
761f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall                              MultiTemplateParamsArg(Actions,
76252591bf224b2c43e2b00e265bb8599a620081925Douglas Gregor                                          TemplateInfo.TemplateParams->data(),
76352591bf224b2c43e2b00e265bb8599a620081925Douglas Gregor                                         TemplateInfo.TemplateParams->size()),
76452591bf224b2c43e2b00e265bb8599a620081925Douglas Gregor                                              D)
76523c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor    : Actions.ActOnStartOfFunctionDef(getCurScope(), D);
766a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
76754abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall  // Break out of the ParsingDeclarator context before we parse the body.
76854abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall  D.complete(Res);
76954abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall
77054abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall  // Break out of the ParsingDeclSpec context, too.  This const_cast is
77154abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall  // safe because we're always the sole owner.
77254abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall  D.getMutableDeclSpec().abort();
77354abf7d4fa3123b8324c09d2a4dfb789fd818403John McCall
774d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl  if (Tok.is(tok::kw_try))
775d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl    return ParseFunctionTryBlock(Res);
776d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl
7777ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor  // If we have a colon, then we're probably parsing a C++
7787ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor  // ctor-initializer.
779d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall  if (Tok.is(tok::colon)) {
7807ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor    ParseConstructorInitializer(Res);
781d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall
782d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall    // Recover from error.
783d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall    if (!Tok.is(tok::l_brace)) {
7849ae2f076ca5ab1feb3ba95629099ec2319833701John McCall      Actions.ActOnFinishFunctionBody(Res, 0);
785d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall      return Res;
786d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall    }
787d6ca8da0f5a4115813055729faaa5128e994806dJohn McCall  } else
788393612e6c7727f1fee50039254d9f434364cc0b2Fariborz Jahanian    Actions.ActOnDefaultCtorInitializers(Res);
7897ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor
79040e9bc84a2ab49fc33c2b1a95c6674ab2b820e9eChris Lattner  return ParseFunctionStatementBody(Res);
7915f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
7925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
7935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseKNRParamDeclarations - Parse 'declaration-list[opt]' which provides
7945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// types for a function with a K&R-style identifier list for arguments.
7955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencervoid Parser::ParseKNRParamDeclarations(Declarator &D) {
7965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // We know that the top-level of this declarator is a function.
797075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara  DeclaratorChunk::FunctionTypeInfo &FTI = D.getFunctionTypeInfo();
7985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
79904421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner  // Enter function-declaration scope, limiting any declarators to the
80004421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner  // function prototype scope, including parameter declarators.
8013218c4bb3b5d7250f12420de6db7ef3e3f805a75Douglas Gregor  ParseScope PrototypeScope(this, Scope::FunctionPrototypeScope|Scope::DeclScope);
80204421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner
8035f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // Read all the argument declarations.
8045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  while (isDeclarationSpecifier()) {
8055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    SourceLocation DSStart = Tok.getLocation();
806a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Parse the common declaration-specifiers piece.
8085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    DeclSpec DS;
8095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ParseDeclarationSpecifiers(DS);
810a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // C99 6.9.1p6: 'each declaration in the declaration list shall have at
8125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // least one declarator'.
8135f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // NOTE: GCC just makes this an ext-warn.  It's not clear what it does with
8145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // the declarations though.  It's trivial to ignore them, really hard to do
8155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // anything else with them.
816000732226610650837478cba97843d19b75f648eChris Lattner    if (Tok.is(tok::semi)) {
8175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      Diag(DSStart, diag::err_declaration_does_not_declare_param);
8185f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeToken();
8195f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      continue;
8205f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
821a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // C99 6.9.1p6: Declarations shall contain no storage-class specifiers other
8235f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // than register.
8245f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    if (DS.getStorageClassSpec() != DeclSpec::SCS_unspecified &&
8255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        DS.getStorageClassSpec() != DeclSpec::SCS_register) {
8265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      Diag(DS.getStorageClassSpecLoc(),
8275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer           diag::err_invalid_storage_class_in_func_decl);
8285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      DS.ClearStorageClassSpecs();
8295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
8305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    if (DS.isThreadSpecified()) {
8315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      Diag(DS.getThreadSpecLoc(),
8325f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer           diag::err_invalid_storage_class_in_func_decl);
8335f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      DS.ClearStorageClassSpecs();
8345f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
835a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8365f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Parse the first declarator attached to this declspec.
8375f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    Declarator ParmDeclarator(DS, Declarator::KNRTypeListContext);
8385f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    ParseDeclarator(ParmDeclarator);
8395f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8405f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    // Handle the full declarator list.
8415f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    while (1) {
8425f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // If attributes are present, parse them.
8437f040a9d817cd1c72b565e92abff473510bf9e1dJohn McCall      MaybeParseGNUAttributes(ParmDeclarator);
844a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8455f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Ask the actions module to compute the type for this declarator.
846d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall      Decl *Param =
84723c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor        Actions.ActOnParamDeclarator(getCurScope(), ParmDeclarator);
8482bd42fadafddc8acf744b57a970bdc96a077c617Steve Naroff
849a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump      if (Param &&
8505f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          // A missing identifier has already been diagnosed.
8515f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          ParmDeclarator.getIdentifier()) {
8525f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8535f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        // Scan the argument list looking for the correct param to apply this
8545f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        // type.
8555f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        for (unsigned i = 0; ; ++i) {
8565f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          // C99 6.9.1p6: those declarators shall declare only identifiers from
8575f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          // the identifier list.
8585f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          if (i == FTI.NumArgs) {
8591ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner            Diag(ParmDeclarator.getIdentifierLoc(), diag::err_no_matching_param)
8606898e33d0b28346a4dbe9a666e0e4188fea80460Chris Lattner              << ParmDeclarator.getIdentifier();
8615f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer            break;
8625f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          }
863a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8645f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          if (FTI.ArgInfo[i].Ident == ParmDeclarator.getIdentifier()) {
8655f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer            // Reject redefinitions of parameters.
86604421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner            if (FTI.ArgInfo[i].Param) {
8675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer              Diag(ParmDeclarator.getIdentifierLoc(),
8681ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner                   diag::err_param_redefinition)
8696898e33d0b28346a4dbe9a666e0e4188fea80460Chris Lattner                 << ParmDeclarator.getIdentifier();
8705f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer            } else {
87104421087832a031c90bd58f128c7c0e741db8dd2Chris Lattner              FTI.ArgInfo[i].Param = Param;
8725f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer            }
8735f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer            break;
8745f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer          }
8755f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        }
8765f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      }
8775f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
8785f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // If we don't have a comma, it is either the end of the list (a ';') or
8795f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // an error, bail out.
880000732226610650837478cba97843d19b75f648eChris Lattner      if (Tok.isNot(tok::comma))
8815f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        break;
882a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8835f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Consume the comma.
8845f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeToken();
885a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
8865f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Parse the next declarator.
8875f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ParmDeclarator.clear();
8885f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ParseDeclarator(ParmDeclarator);
8895f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
890a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
891000732226610650837478cba97843d19b75f648eChris Lattner    if (Tok.is(tok::semi)) {
8925f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      ConsumeToken();
8935f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    } else {
8945f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      Diag(Tok, diag::err_parse_error);
8955f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      // Skip to end of block or statement
8965f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer      SkipUntil(tok::semi, true);
897000732226610650837478cba97843d19b75f648eChris Lattner      if (Tok.is(tok::semi))
8985f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer        ConsumeToken();
8995f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    }
9005f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
901a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
9025f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // The actions module must verify that all arguments were declared.
90323c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  Actions.ActOnFinishKNRParamDeclarations(getCurScope(), D, Tok.getLocation());
9045f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
9055f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
9065f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
9075f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseAsmStringLiteral - This is just a normal string-literal, but is not
9085f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// allowed to be a wide string, and is not subject to character translation.
9095f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
9105f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [GNU] asm-string-literal:
9115f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         string-literal
9125f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
91360d7b3a319d84d688752be3870615ac0f111fb16John McCallParser::ExprResult Parser::ParseAsmStringLiteral() {
9145f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  if (!isTokenStringLiteral()) {
9155f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer    Diag(Tok, diag::err_expected_string_literal);
91661364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl    return ExprError();
9175f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
918a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
91960d7b3a319d84d688752be3870615ac0f111fb16John McCall  ExprResult Res(ParseStringLiteralExpression());
920effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl  if (Res.isInvalid()) return move(Res);
921a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
9225f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  // TODO: Diagnose: wide string literal in 'asm'
923a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
924effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl  return move(Res);
9255f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
9265f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
9275f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// ParseSimpleAsm
9285f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
9295f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer/// [GNU] simple-asm-expr:
9305f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///         'asm' '(' asm-string-literal ')'
9315f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer///
93260d7b3a319d84d688752be3870615ac0f111fb16John McCallParser::ExprResult Parser::ParseSimpleAsm(SourceLocation *EndLoc) {
933000732226610650837478cba97843d19b75f648eChris Lattner  assert(Tok.is(tok::kw_asm) && "Not an asm!");
934dfab6cb59a703f2ce4d58371652ce879f4c85a09Anders Carlsson  SourceLocation Loc = ConsumeToken();
935a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
9367a6ae743b2ecfdfadadf7df53b569a9a3871a8fdJohn McCall  if (Tok.is(tok::kw_volatile)) {
937841d5e607f81bf5627e47d0c62ead29f28b5b0c2John McCall    // Remove from the end of 'asm' to the end of 'volatile'.
938841d5e607f81bf5627e47d0c62ead29f28b5b0c2John McCall    SourceRange RemovalRange(PP.getLocForEndOfToken(Loc),
939841d5e607f81bf5627e47d0c62ead29f28b5b0c2John McCall                             PP.getLocForEndOfToken(Tok.getLocation()));
940841d5e607f81bf5627e47d0c62ead29f28b5b0c2John McCall
941841d5e607f81bf5627e47d0c62ead29f28b5b0c2John McCall    Diag(Tok, diag::warn_file_asm_volatile)
942849b243d4065f56742a4677d6dc8277609a151f8Douglas Gregor      << FixItHint::CreateRemoval(RemovalRange);
9437a6ae743b2ecfdfadadf7df53b569a9a3871a8fdJohn McCall    ConsumeToken();
9447a6ae743b2ecfdfadadf7df53b569a9a3871a8fdJohn McCall  }
9457a6ae743b2ecfdfadadf7df53b569a9a3871a8fdJohn McCall
946000732226610650837478cba97843d19b75f648eChris Lattner  if (Tok.isNot(tok::l_paren)) {
9471ab3b96de160e4fbffec2a776e284a48a3bb543dChris Lattner    Diag(Tok, diag::err_expected_lparen_after) << "asm";
94861364dddc33383e62cfe3b841dbc0f471280d95bSebastian Redl    return ExprError();
9495f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer  }
950a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
951ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  Loc = ConsumeParen();
952a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
95360d7b3a319d84d688752be3870615ac0f111fb16John McCall  ExprResult Result(ParseAsmStringLiteral());
954a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
955ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  if (Result.isInvalid()) {
956ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    SkipUntil(tok::r_paren, true, true);
957ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    if (EndLoc)
958ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl      *EndLoc = Tok.getLocation();
959ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    ConsumeAnyToken();
960ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  } else {
961ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    Loc = MatchRHSPunctuation(tok::r_paren, Loc);
962ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl    if (EndLoc)
963ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl      *EndLoc = Loc;
964ab197baec16bacade82325fb274cf6b992ac5d8aSebastian Redl  }
965a6f0177a864ac478eb9890319f2e8ea03695e91dMike Stump
966effa8d1c97b00a3f53e972b0e61d9aade5ea1c57Sebastian Redl  return move(Result);
9675f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer}
9685f016e2cb5d11daeb237544de1c5d59f20fe1a6eReid Spencer
969eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// TryAnnotateTypeOrScopeToken - If the current token position is on a
970eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// typename (possibly qualified in C++) or a C++ scope specifier not followed
971eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// by a typename, TryAnnotateTypeOrScopeToken will replace one or more tokens
972eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// with a single annotation token representing the typename or C++ scope
973eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// respectively.
974eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// This simplifies handling of C++ scope specifiers and allows efficient
975eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// backtracking without the need to re-parse and resolve nested-names and
976eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// typenames.
97744802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// It will mainly be called when we expect to treat identifiers as typenames
97844802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// (if they are typenames). For example, in C we do not expect identifiers
97944802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// inside expressions to be treated as typenames so it will not be called
98044802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// for expressions in C.
98144802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// The benefit for C/ObjC is that a typename will be annotated and
982b43a50ff1b0b171ece84425b0ad83a9a31f038faSteve Naroff/// Actions.getTypeName will not be needed to be called again (e.g. getTypeName
98344802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// will not be called twice, once to check whether we have a declaration
98444802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// specifier, and another one to get the actual type inside
98544802cc435d5122701e4f1a9354381cff4b171c0Argyrios Kyrtzidis/// ParseDeclarationSpecifiers).
986a7bc7c880f86bc180684ef032d06df51bcae7a23Chris Lattner///
9879ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall/// This returns true if an error occurred.
9881eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump///
98955a7cefc846765ac7d142a63f773747a20518d71Chris Lattner/// Note that this routine emits an error if you call it with ::new or ::delete
99055a7cefc846765ac7d142a63f773747a20518d71Chris Lattner/// as the current tokens, so only call it in contexts where these are invalid.
991495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregorbool Parser::TryAnnotateTypeOrScopeToken(bool EnteringContext) {
9921eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  assert((Tok.is(tok::identifier) || Tok.is(tok::coloncolon)
993ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall          || Tok.is(tok::kw_typename) || Tok.is(tok::annot_cxxscope)) &&
9947452c6fc567ea1799f617395d0fa4c7ed075e5d9Chris Lattner         "Cannot be a type or scope token!");
9951eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
996d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor  if (Tok.is(tok::kw_typename)) {
997d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    // Parse a C++ typename-specifier, e.g., "typename T::type".
998d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    //
999d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    //   typename-specifier:
1000d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    //     'typename' '::' [opt] nested-name-specifier identifier
10011eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    //     'typename' '::' [opt] nested-name-specifier template [opt]
10021734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    //            simple-template-id
1003d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    SourceLocation TypenameLoc = ConsumeToken();
1004d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    CXXScopeSpec SS;
1005b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall    if (ParseOptionalCXXScopeSpecifier(SS, /*ObjectType=*/ParsedType(), false))
10069ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return true;
10079ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall    if (!SS.isSet()) {
1008d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor      Diag(Tok.getLocation(), diag::err_expected_qualified_after_typename);
10099ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return true;
1010d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    }
1011d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor
1012d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    TypeResult Ty;
1013d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor    if (Tok.is(tok::identifier)) {
1014d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor      // FIXME: check whether the next token is '<', first!
101523c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor      Ty = Actions.ActOnTypenameType(getCurScope(), TypenameLoc, SS,
10161a15dae8be2b28e02b6639aa92b832465c5be420Douglas Gregor                                     *Tok.getIdentifierInfo(),
1017d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor                                     Tok.getLocation());
10181734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    } else if (Tok.is(tok::annot_template_id)) {
10191eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      TemplateIdAnnotation *TemplateId
10201734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor        = static_cast<TemplateIdAnnotation *>(Tok.getAnnotationValue());
10211734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor      if (TemplateId->Kind == TNK_Function_template) {
10221734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor        Diag(Tok, diag::err_typename_refers_to_non_type_template)
10231734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor          << Tok.getAnnotationRange();
10249ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall        return true;
10251734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor      }
1026d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor
102731a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor      AnnotateTemplateIdTokenAsType(0);
10281eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      assert(Tok.is(tok::annot_typename) &&
10291734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor             "AnnotateTemplateIdTokenAsType isn't working properly");
103031a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor      if (Tok.getAnnotationValue())
103123c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor        Ty = Actions.ActOnTypenameType(getCurScope(), TypenameLoc, SS,
10321a15dae8be2b28e02b6639aa92b832465c5be420Douglas Gregor                                       SourceLocation(),
1033b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall                                       getTypeAnnotation(Tok));
103431a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor      else
103531a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor        Ty = true;
10361734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    } else {
10371734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor      Diag(Tok, diag::err_expected_type_name_after_typename)
10381734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor        << SS.getRange();
10399ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return true;
10401734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    }
10411734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor
104239d67117f896c6e2faa727671ef64b3c04b0e3feSebastian Redl    SourceLocation EndLoc = Tok.getLastLoc();
10431734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    Tok.setKind(tok::annot_typename);
1044b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall    setTypeAnnotation(Tok, Ty.isInvalid() ? ParsedType() : Ty.get());
104539d67117f896c6e2faa727671ef64b3c04b0e3feSebastian Redl    Tok.setAnnotationEndLoc(EndLoc);
10461734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    Tok.setLocation(TypenameLoc);
10471734317845d60307d474b5da8a8d33adbaf5e723Douglas Gregor    PP.AnnotateCachedTokens(Tok);
10489ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall    return false;
1049d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor  }
1050d57959af02b4af695276f4204443afe6e5d86bd8Douglas Gregor
1051ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  // Remembers whether the token was originally a scope annotation.
1052ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  bool wasScopeAnnotation = Tok.is(tok::annot_cxxscope);
1053ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall
1054eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  CXXScopeSpec SS;
10554bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis  if (getLang().CPlusPlus)
1056b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall    if (ParseOptionalCXXScopeSpecifier(SS, ParsedType(), EnteringContext))
10579ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return true;
1058eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
1059eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis  if (Tok.is(tok::identifier)) {
1060608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner    // Determine whether the identifier is a type name.
1061b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall    if (ParsedType Ty = Actions.getTypeName(*Tok.getIdentifierInfo(),
1062b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall                                            Tok.getLocation(), getCurScope(),
1063b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall                                            &SS)) {
1064608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // This is a typename. Replace the current token in-place with an
1065608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // annotation type token.
1066b31757b68afe06ba442a05775d08fe7aa0f6f889Chris Lattner      Tok.setKind(tok::annot_typename);
1067b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall      setTypeAnnotation(Tok, Ty);
1068608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      Tok.setAnnotationEndLoc(Tok.getLocation());
1069608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      if (SS.isNotEmpty()) // it was a C++ qualified type name.
1070608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner        Tok.setLocation(SS.getBeginLoc());
10711eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
1072608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // In case the tokens were cached, have Preprocessor replace
1073608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // them with the annotation token.
1074608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      PP.AnnotateCachedTokens(Tok);
10759ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return false;
10761eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    }
107739a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor
107839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    if (!getLang().CPlusPlus) {
1079608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // If we're in C, we can't have :: tokens at all (the lexer won't return
1080608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      // them).  If the identifier is not a type, then it can't be scope either,
10811eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      // just early exit.
1082608d1fc9c4db3e3769f03a4f989d7692aefbf073Chris Lattner      return false;
1083eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis    }
10841eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
108539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // If this is a template-id, annotate with a template-id or type token.
108655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor    if (NextToken().is(tok::less)) {
10877532dc66648cfe7432c9fe66dec5225f0ab301c6Douglas Gregor      TemplateTy Template;
1088014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      UnqualifiedId TemplateName;
1089014e88d94ff83e3aad4e33b16413a2d1817ec208Douglas Gregor      TemplateName.setIdentifier(Tok.getIdentifierInfo(), Tok.getLocation());
10901fd6d44d7ca97631497551bbf98866263143d706Douglas Gregor      bool MemberOfUnknownSpecialization;
10911eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump      if (TemplateNameKind TNK
10927c15353ccaed24f2df932571166bf305c1b98b6dAbramo Bagnara          = Actions.isTemplateName(getCurScope(), SS,
10937c15353ccaed24f2df932571166bf305c1b98b6dAbramo Bagnara                                   /*hasTemplateKeyword=*/false, TemplateName,
1094b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall                                   /*ObjectType=*/ ParsedType(),
1095b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall                                   EnteringContext,
10967c15353ccaed24f2df932571166bf305c1b98b6dAbramo Bagnara                                   Template, MemberOfUnknownSpecialization)) {
1097ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        // Consume the identifier.
1098ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        ConsumeToken();
1099ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor        if (AnnotateTemplateIdToken(Template, TNK, &SS, TemplateName)) {
1100c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner          // If an unrecoverable error occurred, we need to return true here,
1101c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner          // because the token stream is in a damaged state.  We may not return
1102c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner          // a valid identifier.
11039ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall          return true;
1104c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner        }
1105ca1bdd7c269a2390d43c040a60511edd017ee130Douglas Gregor      }
110655f6b14230c94272efbbcdd89a92224c8db9f225Douglas Gregor    }
1107d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor
110839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // The current token, which is either an identifier or a
110939a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // template-id, is not part of the annotation. Fall through to
111039a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // push that token back into the stream and complete the C++ scope
111139a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    // specifier annotation.
11121eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump  }
1113eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
111439a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  if (Tok.is(tok::annot_template_id)) {
11151eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump    TemplateIdAnnotation *TemplateId
111639a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      = static_cast<TemplateIdAnnotation *>(Tok.getAnnotationValue());
1117c45c232440dfafedca1a3773b904fb42609b1b19Douglas Gregor    if (TemplateId->Kind == TNK_Type_template) {
111839a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      // A template-id that refers to a type was parsed into a
111939a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      // template-id annotation in a context where we weren't allowed
112039a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      // to produce a type annotation token. Update the template-id
112139a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor      // annotation token to a type annotation token now.
112231a19b6989bbf326d2de5ae12e712e2a65ca9c34Douglas Gregor      AnnotateTemplateIdTokenAsType(&SS);
11239ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall      return false;
112439a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor    }
112539a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor  }
1126d6fb7ef028d9aa0b3e8943b7bc049c524437b407Douglas Gregor
11276ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  if (SS.isEmpty())
11289ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall    return false;
11291eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump
11306ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // A C++ scope specifier that isn't followed by a typename.
11316ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // Push the current token back into the token stream (or revert it if it is
11326ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // cached) and use an annotation scope token for current token.
11336ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  if (PP.isBacktrackEnabled())
11346ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner    PP.RevertCachedTokens(1);
11356ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  else
11366ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner    PP.EnterToken(Tok);
11376ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  Tok.setKind(tok::annot_cxxscope);
11383507369940bfb269551bfa1fec812481f60e3552Douglas Gregor  Tok.setAnnotationValue(SS.getScopeRep());
11396ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  Tok.setAnnotationRange(SS.getRange());
11406ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner
1141ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  // In case the tokens were cached, have Preprocessor replace them
1142ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  // with the annotation token.  We don't need to do this if we've
1143ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  // just reverted back to the state we were in before being called.
1144ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall  if (!wasScopeAnnotation)
1145ae03cb5a84d13c7a0d4b21865bd63aabd18120d2John McCall    PP.AnnotateCachedTokens(Tok);
11469ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall  return false;
1147eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis}
1148eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
1149eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis/// TryAnnotateScopeToken - Like TryAnnotateTypeOrScopeToken but only
115039a8de10c18365bde7062d8959b7ed525449c561Douglas Gregor/// annotates C++ scope specifiers and template-ids.  This returns
1151c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner/// true if the token was annotated or there was an error that could not be
1152c8e27cc402043ec86c1698c09e4ee9e415b16207Chris Lattner/// recovered from.
11531eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump///
115455a7cefc846765ac7d142a63f773747a20518d71Chris Lattner/// Note that this routine emits an error if you call it with ::new or ::delete
115555a7cefc846765ac7d142a63f773747a20518d71Chris Lattner/// as the current tokens, so only call it in contexts where these are invalid.
1156495c35d291da48c4f5655bbb54d15128ddde0d4dDouglas Gregorbool Parser::TryAnnotateCXXScopeToken(bool EnteringContext) {
11574bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis  assert(getLang().CPlusPlus &&
11586ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner         "Call sites of this function should be guarded by checking for C++");
11597452c6fc567ea1799f617395d0fa4c7ed075e5d9Chris Lattner  assert((Tok.is(tok::identifier) || Tok.is(tok::coloncolon)) &&
11607452c6fc567ea1799f617395d0fa4c7ed075e5d9Chris Lattner         "Cannot be a type or scope token!");
1161eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
11624bdd91c09fd59e0c154d759288beff300e31e1d0Argyrios Kyrtzidis  CXXScopeSpec SS;
1163b3d8748e797c6c2f1dc01186c8eeb3b1b5fe970cJohn McCall  if (ParseOptionalCXXScopeSpecifier(SS, ParsedType(), EnteringContext))
11649ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall    return true;
1165edc287751a4b05e3b4d8ff2b38fa30c5b59a548bJeffrey Yasskin  if (SS.isEmpty())
11669ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall    return false;
1167eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis
11686ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // Push the current token back into the token stream (or revert it if it is
11696ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // cached) and use an annotation scope token for current token.
11706ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  if (PP.isBacktrackEnabled())
11716ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner    PP.RevertCachedTokens(1);
11726ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  else
11736ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner    PP.EnterToken(Tok);
11746ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  Tok.setKind(tok::annot_cxxscope);
11753507369940bfb269551bfa1fec812481f60e3552Douglas Gregor  Tok.setAnnotationValue(SS.getScopeRep());
11766ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  Tok.setAnnotationRange(SS.getRange());
11776ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner
11786ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // In case the tokens were cached, have Preprocessor replace them with the
11796ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  // annotation token.
11806ec76d45bd3111013c357f16e08720407c2f9ae8Chris Lattner  PP.AnnotateCachedTokens(Tok);
11819ba6166f4a78722e7df8ffbd64eb788bfdf2764aJohn McCall  return false;
1182eb83ecde1a822b1c38cd060a85a08c1ac9f82cf8Argyrios Kyrtzidis}
11836c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall
1184a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidisbool Parser::isTokenEqualOrMistypedEqualEqual(unsigned DiagID) {
1185a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis  if (Tok.is(tok::equalequal)) {
1186a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis    // We have '==' in a context that we would expect a '='.
1187a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis    // The user probably made a typo, intending to type '='. Emit diagnostic,
1188a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis    // fixit hint to turn '==' -> '=' and continue as if the user typed '='.
1189a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis    Diag(Tok, DiagID)
1190a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis      << FixItHint::CreateReplacement(SourceRange(Tok.getLocation()),
1191a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis                                      getTokenSimpleSpelling(tok::equal));
1192a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis    return true;
1193a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis  }
1194a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis
1195a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis  return Tok.is(tok::equal);
1196a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis}
1197a6eb5f81d13bacac01faff70a947047725b4413fArgyrios Kyrtzidis
1198dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregorvoid Parser::CodeCompletionRecovery() {
119923c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor  for (Scope *S = getCurScope(); S; S = S->getParent()) {
1200dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    if (S->getFlags() & Scope::FnScope) {
1201f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall      Actions.CodeCompleteOrdinaryName(getCurScope(), Sema::PCC_RecoveryInFunction);
1202dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor      return;
1203dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    }
1204dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor
1205dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    if (S->getFlags() & Scope::ClassScope) {
1206f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall      Actions.CodeCompleteOrdinaryName(getCurScope(), Sema::PCC_Class);
1207dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor      return;
1208dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor    }
1209dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor  }
1210dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor
1211f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall  Actions.CodeCompleteOrdinaryName(getCurScope(), Sema::PCC_Namespace);
1212dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor}
1213dc8453422bec3bbf70c03920e01498d75783d122Douglas Gregor
12146c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall// Anchor the Parser::FieldCallback vtable to this translation unit.
12156c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall// We use a spurious method instead of the destructor because
12166c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall// destroying FieldCallbacks can actually be slightly
12176c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall// performance-sensitive.
12186c94a6d77f456f23ecd4c2061e6413786b5e6571John McCallvoid Parser::FieldCallback::_anchor() {
12196c94a6d77f456f23ecd4c2061e6413786b5e6571John McCall}
1220f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor
1221f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor// Code-completion pass-through functions
1222f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor
1223f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregorvoid Parser::CodeCompleteDirective(bool InConditional) {
1224f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor  Actions.CodeCompletePreprocessorDirective(InConditional);
1225f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor}
1226f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor
1227f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregorvoid Parser::CodeCompleteInConditionalExclusion() {
1228f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor  Actions.CodeCompleteInPreprocessorConditionalExclusion(getCurScope());
1229f44e854ed1e3aa86d2ed6d615ccd109d50ddcff9Douglas Gregor}
12301fbb447e9d43c2c676e94081fbfee7eb6cbe933bDouglas Gregor
12311fbb447e9d43c2c676e94081fbfee7eb6cbe933bDouglas Gregorvoid Parser::CodeCompleteMacroName(bool IsDefinition) {
1232f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor  Actions.CodeCompletePreprocessorMacroName(IsDefinition);
1233f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor}
1234f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor
1235f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregorvoid Parser::CodeCompletePreprocessorExpression() {
1236f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor  Actions.CodeCompletePreprocessorExpression();
1237f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor}
1238f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor
1239f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregorvoid Parser::CodeCompleteMacroArgument(IdentifierInfo *Macro,
1240f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor                                       MacroInfo *MacroInfo,
1241f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor                                       unsigned ArgumentIndex) {
1242f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor  Actions.CodeCompletePreprocessorMacroArgument(getCurScope(), Macro, MacroInfo,
1243f29c5233085a5af795c3c01b94d319e5b3235d56Douglas Gregor                                                ArgumentIndex);
12441fbb447e9d43c2c676e94081fbfee7eb6cbe933bDouglas Gregor}
124555817afdf9d453a443262a733f6caf6692dca118Douglas Gregor
124655817afdf9d453a443262a733f6caf6692dca118Douglas Gregorvoid Parser::CodeCompleteNaturalLanguage() {
124755817afdf9d453a443262a733f6caf6692dca118Douglas Gregor  Actions.CodeCompleteNaturalLanguage();
124855817afdf9d453a443262a733f6caf6692dca118Douglas Gregor}
1249