ParseCXXInlineMethods.cpp revision a891a32d3762ee641a29c091d286f2a7432671a5
14cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis//===--- ParseCXXInlineMethods.cpp - C++ class inline methods parsing------===// 24cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// 34cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// The LLVM Compiler Infrastructure 44cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// 54cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// This file is distributed under the University of Illinois Open Source 64cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// License. See LICENSE.TXT for details. 74cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// 84cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis//===----------------------------------------------------------------------===// 94cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// 104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// This file implements parsing for C++ class inline methods. 114cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis// 124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis//===----------------------------------------------------------------------===// 134cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 14500d3297d2a21edeac4d46cbcbe21bc2352c2a28Chris Lattner#include "clang/Parse/ParseDiagnostic.h" 154cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis#include "clang/Parse/Parser.h" 1619510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/DeclSpec.h" 1719510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/Scope.h" 188387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet#include "clang/AST/DeclTemplate.h" 194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidisusing namespace clang; 204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 21d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl/// ParseCXXInlineMethodDef - We parsed and verified that the specified 224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// Declarator is a well formed C++ inline method definition. Now lex its body 234cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// and store its tokens for parsing after the C++ class is complete. 24eee1d5434ebfa955ffc3c493aecd68bb7b3f4838John McCallDecl *Parser::ParseCXXInlineMethodDef(AccessSpecifier AS, ParsingDeclarator &D, 254867347e82648d3baf09524b98b09c297a5a198fNico Weber const ParsedTemplateInfo &TemplateInfo, 266a24747beed797b2f1184c66ca45beb4db20eb08Francois Pichet const VirtSpecifiers& VS, ExprResult& Init) { 27075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara assert(D.isFunctionDeclarator() && "This isn't a function declarator!"); 28e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try) || 29e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Tok.is(tok::equal)) && 30e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt "Current token not a '{', ':', '=', or 'try'!"); 314cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 32f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall MultiTemplateParamsArg TemplateParams(Actions, 334cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->data() : 0, 344cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->size() : 0); 354cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt 36d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall Decl *FnD; 3767d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall if (D.getDeclSpec().isFriendSpecified()) 3837b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor // FIXME: Friend templates 3923c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor FnD = Actions.ActOnFriendFunctionDecl(getCurScope(), D, true, 404cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt move(TemplateParams)); 414867347e82648d3baf09524b98b09c297a5a198fNico Weber else { // FIXME: pass template information through 4223c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor FnD = Actions.ActOnCXXMemberDeclarator(getCurScope(), AS, D, 4369a87357310260c4b2c5dce2cdcd10c3fd3a0a58Anders Carlsson move(TemplateParams), 0, 446a24747beed797b2f1184c66ca45beb4db20eb08Francois Pichet VS, Init.release(), 457a614d8380297fcd2bc23986241905d97222948cRichard Smith /*HasInit=*/false, 466a24747beed797b2f1184c66ca45beb4db20eb08Francois Pichet /*IsDefinition*/true); 474867347e82648d3baf09524b98b09c297a5a198fNico Weber } 484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 49d33133cdc1af466f9c276249b2621be03867888bEli Friedman HandleMemberFunctionDefaultArgs(D, FnD); 50d33133cdc1af466f9c276249b2621be03867888bEli Friedman 51eee1d5434ebfa955ffc3c493aecd68bb7b3f4838John McCall D.complete(FnD); 52eee1d5434ebfa955ffc3c493aecd68bb7b3f4838John McCall 53e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::equal)) { 54e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt ConsumeToken(); 55e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 56e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt bool Delete = false; 57e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt SourceLocation KWLoc; 58e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::kw_delete)) { 59e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (!getLang().CPlusPlus0x) 60e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Diag(Tok, diag::warn_deleted_function_accepted_as_extension); 61e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 62e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt KWLoc = ConsumeToken(); 63e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Actions.SetDeclDeleted(FnD, KWLoc); 64e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Delete = true; 65e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else if (Tok.is(tok::kw_default)) { 66e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (!getLang().CPlusPlus0x) 67e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Diag(Tok, diag::warn_defaulted_function_accepted_as_extension); 68e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 69e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt KWLoc = ConsumeToken(); 70e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Actions.SetDeclDefaulted(FnD, KWLoc); 71e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else { 72e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt llvm_unreachable("function definition after = not 'delete' or 'default'"); 73e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 74e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 75e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::comma)) { 76e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Diag(KWLoc, diag::err_default_delete_in_multiple_declaration) 77e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt << Delete; 78e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt SkipUntil(tok::semi); 79e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else { 80e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt ExpectAndConsume(tok::semi, diag::err_expected_semi_after, 81e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Delete ? "delete" : "default", tok::semi); 82e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 83e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 84e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt return FnD; 85e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 86e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 878387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // In delayed template parsing mode, if we are within a class template 888387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // or if we are about to parse function member template then consume 898387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // the tokens and store them for parsing at the end of the translation unit. 908387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet if (getLang().DelayedTemplateParsing && 918387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet ((Actions.CurContext->isDependentContext() || 928387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet TemplateInfo.Kind != ParsedTemplateInfo::NonTemplate) && 938387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet !Actions.IsInsideALocalClassWithinATemplateFunction()) && 948387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet !D.getDeclSpec().isFriendSpecified()) { 958387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 968387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet if (FnD) { 978387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LateParsedTemplatedFunction *LPT = 988387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet new LateParsedTemplatedFunction(this, FnD); 998387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1008387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet FunctionDecl *FD = 0; 1018387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet if (FunctionTemplateDecl *FunTmpl = dyn_cast<FunctionTemplateDecl>(FnD)) 1028387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet FD = FunTmpl->getTemplatedDecl(); 1038387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet else 1048387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet FD = cast<FunctionDecl>(FnD); 10581542fd91bd5e7e65ebae3eaad117bdaeaf7d737Chandler Carruth Actions.CheckForFunctionRedefinition(FD); 1068387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1078387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LateParsedTemplateMap[FD] = LPT; 1088387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet Actions.MarkAsLateParsedTemplate(FD); 1098387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LexTemplateFunctionForLateParsing(LPT->Toks); 1108387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } else { 1118387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet CachedTokens Toks; 1128387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LexTemplateFunctionForLateParsing(Toks); 1138387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } 1148387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1158387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet return FnD; 1168387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } 1178387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Consume the tokens and store them for later parsing. 1194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 120d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LexedMethod* LM = new LexedMethod(this, FnD); 121d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor getCurrentClass().LateParsedDeclarations.push_back(LM); 122d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM->TemplateScope = getCurScope()->isTemplateParamScope(); 123d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor CachedTokens &Toks = LM->Toks; 1244cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 125d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl tok::TokenKind kind = Tok.getKind(); 126a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Consume everything up to (and including) the left brace of the 127a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // function body. 128a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (ConsumeAndStoreFunctionPrologue(Toks)) { 129a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // We didn't find the left-brace we expected after the 130a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // constructor initializer. 131a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (Tok.is(tok::semi)) { 132a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // We found a semicolon; complain, consume the semicolon, and 133a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // don't try to parse this method later. 134a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl Diag(Tok.getLocation(), diag::err_expected_lbrace); 135a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeAnyToken(); 136a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl delete getCurrentClass().LateParsedDeclarations.back(); 137a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl getCurrentClass().LateParsedDeclarations.pop_back(); 138a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl return FnD; 1393f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor } 1407ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } else { 141a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Consume everything up to (and including) the matching right brace. 142a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 1437ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } 1444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 145d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl // If we're in a function-try-block, we need to store all the catch blocks. 146d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl if (kind == tok::kw_try) { 147d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl while (Tok.is(tok::kw_catch)) { 14814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::l_brace, Toks, /*StopAtSemi=*/false); 14914b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 150d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 151d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 152d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl 15387f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor 15487f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor if (!FnD) { 15587f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor // If semantic analysis could not build a function declaration, 15687f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor // just throw away the late-parsed declaration. 15787f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor delete getCurrentClass().LateParsedDeclarations.back(); 15887f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor getCurrentClass().LateParsedDeclarations.pop_back(); 15987f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor } 16087f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor 1614cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return FnD; 1624cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 1634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 1647a614d8380297fcd2bc23986241905d97222948cRichard Smith/// ParseCXXNonStaticMemberInitializer - We parsed and verified that the 1657a614d8380297fcd2bc23986241905d97222948cRichard Smith/// specified Declarator is a well formed C++ non-static data member 1667a614d8380297fcd2bc23986241905d97222948cRichard Smith/// declaration. Now lex its initializer and store its tokens for parsing 1677a614d8380297fcd2bc23986241905d97222948cRichard Smith/// after the class is complete. 1687a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseCXXNonStaticMemberInitializer(Decl *VarD) { 1697a614d8380297fcd2bc23986241905d97222948cRichard Smith assert((Tok.is(tok::l_brace) || Tok.is(tok::equal)) && 1707a614d8380297fcd2bc23986241905d97222948cRichard Smith "Current token not a '{' or '='!"); 1717a614d8380297fcd2bc23986241905d97222948cRichard Smith 1727a614d8380297fcd2bc23986241905d97222948cRichard Smith LateParsedMemberInitializer *MI = 1737a614d8380297fcd2bc23986241905d97222948cRichard Smith new LateParsedMemberInitializer(this, VarD); 1747a614d8380297fcd2bc23986241905d97222948cRichard Smith getCurrentClass().LateParsedDeclarations.push_back(MI); 1757a614d8380297fcd2bc23986241905d97222948cRichard Smith CachedTokens &Toks = MI->Toks; 1767a614d8380297fcd2bc23986241905d97222948cRichard Smith 1777a614d8380297fcd2bc23986241905d97222948cRichard Smith tok::TokenKind kind = Tok.getKind(); 1787a614d8380297fcd2bc23986241905d97222948cRichard Smith if (kind == tok::equal) { 1797a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Tok); 1807a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 1817a614d8380297fcd2bc23986241905d97222948cRichard Smith } 1827a614d8380297fcd2bc23986241905d97222948cRichard Smith 1837a614d8380297fcd2bc23986241905d97222948cRichard Smith if (kind == tok::l_brace) { 1847a614d8380297fcd2bc23986241905d97222948cRichard Smith // Begin by storing the '{' token. 1857a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Tok); 1867a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeBrace(); 1877a614d8380297fcd2bc23986241905d97222948cRichard Smith 1887a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume everything up to (and including) the matching right brace. 1897a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/true); 1907a614d8380297fcd2bc23986241905d97222948cRichard Smith } else { 1917a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume everything up to (but excluding) the comma or semicolon. 1927a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAndStoreUntil(tok::comma, Toks, /*StopAtSemi=*/true, 1937a614d8380297fcd2bc23986241905d97222948cRichard Smith /*ConsumeFinalToken=*/false); 1947a614d8380297fcd2bc23986241905d97222948cRichard Smith } 1957a614d8380297fcd2bc23986241905d97222948cRichard Smith 1967a614d8380297fcd2bc23986241905d97222948cRichard Smith // Store an artificial EOF token to ensure that we don't run off the end of 1977a614d8380297fcd2bc23986241905d97222948cRichard Smith // the initializer when we come to parse it. 1987a614d8380297fcd2bc23986241905d97222948cRichard Smith Token Eof; 1997a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.startToken(); 2007a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.setKind(tok::eof); 2017a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.setLocation(Tok.getLocation()); 2027a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Eof); 2037a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2047a614d8380297fcd2bc23986241905d97222948cRichard Smith 205d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedDeclaration::~LateParsedDeclaration() {} 206d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDeclarations() {} 2077a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedDeclaration::ParseLexedMemberInitializers() {} 208d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDefs() {} 209d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 210d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::LateParsedClass(Parser *P, ParsingClass *C) 211d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor : Self(P), Class(C) {} 212d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 213d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::~LateParsedClass() { 214d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->DeallocateParsedClasses(Class); 215d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 216d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 217d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDeclarations() { 218d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclarations(*Class); 219d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 220d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 2217a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedClass::ParseLexedMemberInitializers() { 2227a614d8380297fcd2bc23986241905d97222948cRichard Smith Self->ParseLexedMemberInitializers(*Class); 2237a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2247a614d8380297fcd2bc23986241905d97222948cRichard Smith 225d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDefs() { 226d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDefs(*Class); 227d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 228d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 229d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedMethodDeclaration::ParseLexedMethodDeclarations() { 230d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclaration(*this); 231d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 232d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 233d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LexedMethod::ParseLexedMethodDefs() { 234d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDef(*this); 235d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 236d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 2377a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedMemberInitializer::ParseLexedMemberInitializers() { 2387a614d8380297fcd2bc23986241905d97222948cRichard Smith Self->ParseLexedMemberInitializer(*this); 2397a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2407a614d8380297fcd2bc23986241905d97222948cRichard Smith 24172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// ParseLexedMethodDeclarations - We finished parsing the member 24272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// specification of a top (non-nested) C++ class. Now go over the 24372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// stack of method declarations with some parts for which parsing was 24472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// delayed (such as default arguments) and parse them. 2456569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDeclarations(ParsingClass &Class) { 2466569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 247d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 2486569d68745c8213709740337d2be52b031384f58Douglas Gregor if (HasTemplateScope) 24923c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 2506569d68745c8213709740337d2be52b031384f58Douglas Gregor 2517a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // The current scope is still active if we're the top-level class. 2527a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // Otherwise we'll need to push and enter a new scope. 2536569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 2544cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 2554cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt HasClassScope); 2567a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall if (HasClassScope) 25723c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnStartDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 2586569d68745c8213709740337d2be52b031384f58Douglas Gregor 259d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 260d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDeclarations(); 261d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 26272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 263d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (HasClassScope) 264d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 265d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 2667fd3a6456a88cdd225b92ae1606144f24c7f51d4Argyrios Kyrtzidis 267d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDeclaration(LateParsedMethodDeclaration &LM) { 268d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 269d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 270d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (LM.TemplateScope) 271d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.Method); 272d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 273d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Start the delayed C++ method declaration 274d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 275d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 276d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameters into scope and parse their default 277d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // arguments. 278d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope PrototypeScope(this, 279d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Scope::FunctionPrototypeScope|Scope::DeclScope); 280d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (unsigned I = 0, N = LM.DefaultArgs.size(); I != N; ++I) { 281d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameter into scope. 282d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnDelayedCXXMethodParameter(getCurScope(), LM.DefaultArgs[I].Param); 283d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 284d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (CachedTokens *Toks = LM.DefaultArgs[I].Toks) { 285d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 286d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 287d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 288d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the default argument from its saved token stream. 289d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Toks->push_back(Tok); // So that the current token doesn't get lost 290d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(&Toks->front(), Toks->size(), true, false); 291d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 292d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously-pushed token. 293d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 294d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 295d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the '='. 296d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(Tok.is(tok::equal) && "Default argument not starting with '='"); 297d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation EqualLoc = ConsumeToken(); 298d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 299d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // The argument isn't actually potentially evaluated unless it is 300d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // used. 301d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor EnterExpressionEvaluationContext Eval(Actions, 302d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Sema::PotentiallyEvaluatedIfUsed); 303d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 304d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ExprResult DefArgResult(ParseAssignmentExpression()); 305d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (DefArgResult.isInvalid()) 306d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgumentError(LM.DefaultArgs[I].Param); 307d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else { 308d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::cxx_defaultarg_end)) 309d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeToken(); 310d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else 311d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Diag(Tok.getLocation(), diag::err_default_arg_unparsed); 312d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgument(LM.DefaultArgs[I].Param, EqualLoc, 313d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor DefArgResult.take()); 314d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 31572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 316d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 317d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 318d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseAssignmentExpression went over the default arg tokens!"); 319d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 320d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 321d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 32272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 32372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 324d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor delete Toks; 325d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.DefaultArgs[I].Toks = 0; 32672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 32772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 328d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PrototypeScope.Exit(); 3296569d68745c8213709740337d2be52b031384f58Douglas Gregor 330d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Finish the delayed C++ method declaration. 331d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 33272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor} 33372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 3344cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ParseLexedMethodDefs - We finished parsing the member specification of a top 3354cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// (non-nested) C++ class. Now go over the stack of lexed methods that were 3364cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// collected during its parsing and parse them all. 3376569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDefs(ParsingClass &Class) { 3386569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 339d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 3406569d68745c8213709740337d2be52b031384f58Douglas Gregor if (HasTemplateScope) 34123c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 3426569d68745c8213709740337d2be52b031384f58Douglas Gregor 3436569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 3446569d68745c8213709740337d2be52b031384f58Douglas Gregor ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 3456569d68745c8213709740337d2be52b031384f58Douglas Gregor HasClassScope); 3466569d68745c8213709740337d2be52b031384f58Douglas Gregor 347d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 348d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDefs(); 349d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 350d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 3514cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 352d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDef(LexedMethod &LM) { 353d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 354d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 355d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (LM.TemplateScope) 356d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.D); 357d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 358d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 359d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 360d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 361d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!LM.Toks.empty() && "Empty body!"); 362d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Append the current token at the end of the new token stream so that it 363d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // doesn't get lost. 364d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.Toks.push_back(Tok); 365d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(LM.Toks.data(), LM.Toks.size(), true, false); 366d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 367d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously pushed token. 368d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 369d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try)) 370d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor && "Inline method not starting with '{', ':' or 'try'"); 371d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 372d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the method body. Function body parsing code is similar enough 373d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // to be re-used for method bodies as well. 374d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope FnScope(this, Scope::FnScope|Scope::DeclScope); 375d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartOfFunctionDef(getCurScope(), LM.D); 376d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 377d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::kw_try)) { 378c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor ParseFunctionTryBlock(LM.D, FnScope); 379d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 380d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 381d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseFunctionTryBlock went over the cached tokens!"); 382d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 383d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 384d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 385d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 386d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 387d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 388d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::colon)) { 389d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseConstructorInitializer(LM.D); 3904cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 391d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Error recovery. 392d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (!Tok.is(tok::l_brace)) { 393c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor FnScope.Exit(); 394d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishFunctionBody(LM.D, 0); 39510904527359605a76561a49769a2199351a072d8Matt Beaumont-Gay while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 39610904527359605a76561a49769a2199351a072d8Matt Beaumont-Gay ConsumeAnyToken(); 397d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 398d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 399d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } else 400d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnDefaultCtorInitializers(LM.D); 401d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 402c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor ParseFunctionStatementBody(LM.D, FnScope); 403d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 404d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.getLocation() != origLoc) { 405d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Due to parsing error, we either went over the cached tokens or 406d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // there are still cached tokens left. If it's the latter case skip the 407d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // leftover tokens. 408d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Since this is an uncommon situation that should be avoided, use the 409d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // expensive isBeforeInTranslationUnit call. 410d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (PP.getSourceManager().isBeforeInTranslationUnit(Tok.getLocation(), 411d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor origLoc)) 4128f9359f5ae1227f3b489d1d261225d8180b64ed3Argyrios Kyrtzidis while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 4137558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis ConsumeAnyToken(); 4147a614d8380297fcd2bc23986241905d97222948cRichard Smith } 4157a614d8380297fcd2bc23986241905d97222948cRichard Smith} 4167a614d8380297fcd2bc23986241905d97222948cRichard Smith 4177a614d8380297fcd2bc23986241905d97222948cRichard Smith/// ParseLexedMemberInitializers - We finished parsing the member specification 4187a614d8380297fcd2bc23986241905d97222948cRichard Smith/// of a top (non-nested) C++ class. Now go over the stack of lexed data member 4197a614d8380297fcd2bc23986241905d97222948cRichard Smith/// initializers that were collected during its parsing and parse them all. 4207a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseLexedMemberInitializers(ParsingClass &Class) { 4217a614d8380297fcd2bc23986241905d97222948cRichard Smith bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 4227a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, 4237a614d8380297fcd2bc23986241905d97222948cRichard Smith HasTemplateScope); 4247a614d8380297fcd2bc23986241905d97222948cRichard Smith if (HasTemplateScope) 4257a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 4267a614d8380297fcd2bc23986241905d97222948cRichard Smith 4277a614d8380297fcd2bc23986241905d97222948cRichard Smith // Set or update the scope flags to include Scope::ThisScope. 4287a614d8380297fcd2bc23986241905d97222948cRichard Smith bool AlreadyHasClassScope = Class.TopLevelClass; 4297a614d8380297fcd2bc23986241905d97222948cRichard Smith unsigned ScopeFlags = Scope::ClassScope|Scope::DeclScope|Scope::ThisScope; 4307a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScope ClassScope(this, ScopeFlags, !AlreadyHasClassScope); 4317a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScopeFlags ClassScopeFlags(this, ScopeFlags, AlreadyHasClassScope); 4327558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis 4337a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!AlreadyHasClassScope) 4347a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnStartDelayedMemberDeclarations(getCurScope(), 4357a614d8380297fcd2bc23986241905d97222948cRichard Smith Class.TagOrTemplate); 4367a614d8380297fcd2bc23986241905d97222948cRichard Smith 4377a614d8380297fcd2bc23986241905d97222948cRichard Smith for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 4387a614d8380297fcd2bc23986241905d97222948cRichard Smith Class.LateParsedDeclarations[i]->ParseLexedMemberInitializers(); 4394cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 4407a614d8380297fcd2bc23986241905d97222948cRichard Smith 4417a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!AlreadyHasClassScope) 4427a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnFinishDelayedMemberDeclarations(getCurScope(), 4437a614d8380297fcd2bc23986241905d97222948cRichard Smith Class.TagOrTemplate); 4447a614d8380297fcd2bc23986241905d97222948cRichard Smith 4457a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnFinishDelayedMemberInitializers(Class.TagOrTemplate); 4467a614d8380297fcd2bc23986241905d97222948cRichard Smith} 4477a614d8380297fcd2bc23986241905d97222948cRichard Smith 4487a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseLexedMemberInitializer(LateParsedMemberInitializer &MI) { 4491991b7139a92d73420336690a870f049e88cfad6Richard Smith if (!MI.Field || MI.Field->isInvalidDecl()) 4507a614d8380297fcd2bc23986241905d97222948cRichard Smith return; 4517a614d8380297fcd2bc23986241905d97222948cRichard Smith 4527a614d8380297fcd2bc23986241905d97222948cRichard Smith // Append the current token at the end of the new token stream so that it 4537a614d8380297fcd2bc23986241905d97222948cRichard Smith // doesn't get lost. 4547a614d8380297fcd2bc23986241905d97222948cRichard Smith MI.Toks.push_back(Tok); 4557a614d8380297fcd2bc23986241905d97222948cRichard Smith PP.EnterTokenStream(MI.Toks.data(), MI.Toks.size(), true, false); 4567a614d8380297fcd2bc23986241905d97222948cRichard Smith 4577a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume the previously pushed token. 4587a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 4597a614d8380297fcd2bc23986241905d97222948cRichard Smith 4607a614d8380297fcd2bc23986241905d97222948cRichard Smith SourceLocation EqualLoc; 4617a614d8380297fcd2bc23986241905d97222948cRichard Smith ExprResult Init = ParseCXXMemberInitializer(/*IsFunction=*/false, EqualLoc); 4627a614d8380297fcd2bc23986241905d97222948cRichard Smith 4637a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnCXXInClassMemberInitializer(MI.Field, EqualLoc, Init.release()); 4647a614d8380297fcd2bc23986241905d97222948cRichard Smith 4657a614d8380297fcd2bc23986241905d97222948cRichard Smith // The next token should be our artificial terminating EOF token. 4667a614d8380297fcd2bc23986241905d97222948cRichard Smith if (Tok.isNot(tok::eof)) { 4677a614d8380297fcd2bc23986241905d97222948cRichard Smith SourceLocation EndLoc = PP.getLocForEndOfToken(PrevTokLocation); 4687a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!EndLoc.isValid()) 4697a614d8380297fcd2bc23986241905d97222948cRichard Smith EndLoc = Tok.getLocation(); 4707a614d8380297fcd2bc23986241905d97222948cRichard Smith // No fixit; we can't recover as if there were a semicolon here. 4717a614d8380297fcd2bc23986241905d97222948cRichard Smith Diag(EndLoc, diag::err_expected_semi_decl_list); 4727a614d8380297fcd2bc23986241905d97222948cRichard Smith 4737a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume tokens until we hit the artificial EOF. 4747a614d8380297fcd2bc23986241905d97222948cRichard Smith while (Tok.isNot(tok::eof)) 4757a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 4767a614d8380297fcd2bc23986241905d97222948cRichard Smith } 4777a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 4784cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 4794cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 4804cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ConsumeAndStoreUntil - Consume and store the token at the passed token 48172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// container until the token 'T' is reached (which gets 4821eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// consumed/stored too, if ConsumeFinalToken). 48314b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis/// If StopAtSemi is true, then we will stop early at a ';' character. 48472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// Returns true if token 'T1' or 'T2' was found. 4854cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// NOTE: This is a specialized version of Parser::SkipUntil. 48672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregorbool Parser::ConsumeAndStoreUntil(tok::TokenKind T1, tok::TokenKind T2, 48772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens &Toks, 48814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis bool StopAtSemi, bool ConsumeFinalToken) { 4894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // We always want this function to consume at least one token if the first 4904cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // token isn't T and if not at EOF. 4914cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis bool isFirstTokenConsumed = true; 4924cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis while (1) { 4934cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // If we found one of the tokens, stop and return true. 49472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (Tok.is(T1) || Tok.is(T2)) { 49572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (ConsumeFinalToken) { 49672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor Toks.push_back(Tok); 49772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 49872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 4994cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return true; 5004cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5014cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5024cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis switch (Tok.getKind()) { 5034cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::eof: 5044cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Ran out of tokens. 5054cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; 5064cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5074cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_paren: 5084cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested parens. 5094cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 51114b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_paren, Toks, /*StopAtSemi=*/false); 5124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5134cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_square: 5144cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested square brackets. 5154cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5164cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 51714b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_square, Toks, /*StopAtSemi=*/false); 5184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_brace: 5204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested braces. 5214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 52314b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 5244cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5254cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5264cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Okay, we found a ']' or '}' or ')', which we think should be balanced. 5274cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Since the user wasn't looking for this token (if they were, it would 5284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // already be handled), this isn't balanced. If there is a LHS token at a 5294cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // higher level, we will assume that this matches the unbalanced token 5304cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // and return it. Otherwise, this is a spurious RHS token, which we skip. 5314cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_paren: 5324cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (ParenCount && !isFirstTokenConsumed) 5334cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 5344cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5354cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 5364cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5374cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_square: 5384cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BracketCount && !isFirstTokenConsumed) 5394cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 5404cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5414cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 5424cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_brace: 5444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BraceCount && !isFirstTokenConsumed) 5454cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 5464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 5484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5494cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5507d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis case tok::code_completion: 5517d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis Toks.push_back(Tok); 5527d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis ConsumeCodeCompletionToken(); 5537d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis break; 5547d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 5554cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::string_literal: 5564cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::wide_string_literal: 5575cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf8_string_literal: 5585cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf16_string_literal: 5595cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf32_string_literal: 5604cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5614cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeStringToken(); 5624cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 56314b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis case tok::semi: 56414b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis if (StopAtSemi) 56514b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis return false; 56614b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis // FALL THROUGH. 5674cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis default: 5684cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // consume this token. 5694cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5704cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeToken(); 5714cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5734cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis isFirstTokenConsumed = false; 5744cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 5766df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 5776df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// \brief Consume tokens and store them in the passed token container until 5786df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// we've passed the try keyword and constructor initializers and have consumed 579a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl/// the opening brace of the function body. The opening brace will be consumed 580a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl/// if and only if there was no error. 5816df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// 582a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl/// \return True on error. 583a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redlbool Parser::ConsumeAndStoreFunctionPrologue(CachedTokens &Toks) { 5846df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (Tok.is(tok::kw_try)) { 5856df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl Toks.push_back(Tok); 5866df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl ConsumeToken(); 5876df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 5886df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (Tok.is(tok::colon)) { 5896df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl // Initializers can contain braces too. 5906df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl Toks.push_back(Tok); 5916df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl ConsumeToken(); 5926df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 5936df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl while (Tok.is(tok::identifier) || Tok.is(tok::coloncolon)) { 5946df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (Tok.is(tok::eof) || Tok.is(tok::semi)) 5956df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl return true; 5966df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 5976df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl // Grab the identifier. 5986df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (!ConsumeAndStoreUntil(tok::l_paren, tok::l_brace, Toks, 5996df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl /*StopAtSemi=*/true, 6006df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl /*ConsumeFinalToken=*/false)) 6016df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl return true; 6026df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 6036df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl tok::TokenKind kind = Tok.getKind(); 6046df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl Toks.push_back(Tok); 6056df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (kind == tok::l_paren) 6066df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl ConsumeParen(); 6076df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl else { 6086df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl assert(kind == tok::l_brace && "Must be left paren or brace here."); 6096df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl ConsumeBrace(); 610a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // In C++03, this has to be the start of the function body, which 611a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // means the initializer is malformed. 612a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (!getLang().CPlusPlus0x) 613a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl return false; 6146df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 6156df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 6166df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl // Grab the initializer 6176df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (!ConsumeAndStoreUntil(kind == tok::l_paren ? tok::r_paren : 6186df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl tok::r_brace, 6196df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl Toks, /*StopAtSemi=*/true)) 6206df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl return true; 621a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl 622a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Grab the separating comma, if any. 623a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (Tok.is(tok::comma)) { 624a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl Toks.push_back(Tok); 625a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeToken(); 626a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl } 6276df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 6286df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 6296df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 630a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Grab any remaining garbage to be diagnosed later. We stop when we reach a 631a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // brace: an opening one is the function body, while a closing one probably 632a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // means we've reached the end of the class. 633a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (!ConsumeAndStoreUntil(tok::l_brace, tok::r_brace, Toks, 634a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl /*StopAtSemi=*/true, /*ConsumeFinalToken=*/false)) 635a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl return true; 636a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if(Tok.isNot(tok::l_brace)) 637a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl return true; 638a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl 639a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl Toks.push_back(Tok); 640a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeBrace(); 641a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl return false; 6426df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl} 643