ParseCXXInlineMethods.cpp revision 69a87357310260c4b2c5dce2cdcd10c3fd3a0a58
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" 184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidisusing namespace clang; 194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 20d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl/// ParseCXXInlineMethodDef - We parsed and verified that the specified 214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// Declarator is a well formed C++ inline method definition. Now lex its body 224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// and store its tokens for parsing after the C++ class is complete. 23d226f65006733ed7f709c3174f22ce33391cb58fJohn McCallDecl *Parser::ParseCXXInlineMethodDef(AccessSpecifier AS, Declarator &D, 2437b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor const ParsedTemplateInfo &TemplateInfo) { 25075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara assert(D.isFunctionDeclarator() && "This isn't a function declarator!"); 26d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try)) && 27d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl "Current token not a '{', ':' or 'try'!"); 284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 29f312b1ea179f1c44371f9ee0cd0bc006f612de11John McCall MultiTemplateParamsArg TemplateParams(Actions, 304cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->data() : 0, 314cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->size() : 0); 324cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt 33d226f65006733ed7f709c3174f22ce33391cb58fJohn McCall Decl *FnD; 3467d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall if (D.getDeclSpec().isFriendSpecified()) 3537b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor // FIXME: Friend templates 3623c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor FnD = Actions.ActOnFriendFunctionDecl(getCurScope(), D, true, 374cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt move(TemplateParams)); 3837b372b76a3fafe77186d7e6079e5642e2017478Douglas Gregor else // FIXME: pass template information through 3923c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor FnD = Actions.ActOnCXXMemberDeclarator(getCurScope(), AS, D, 4069a87357310260c4b2c5dce2cdcd10c3fd3a0a58Anders Carlsson move(TemplateParams), 0, 4169a87357310260c4b2c5dce2cdcd10c3fd3a0a58Anders Carlsson VirtSpecifiers(), 0, 42d1a7846699a82f85ff3ce6b2e383409537c3f5c5Sebastian Redl /*IsDefinition*/true); 434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 44d33133cdc1af466f9c276249b2621be03867888bEli Friedman HandleMemberFunctionDefaultArgs(D, FnD); 45d33133cdc1af466f9c276249b2621be03867888bEli Friedman 464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Consume the tokens and store them for later parsing. 474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 48d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LexedMethod* LM = new LexedMethod(this, FnD); 49d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor getCurrentClass().LateParsedDeclarations.push_back(LM); 50d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM->TemplateScope = getCurScope()->isTemplateParamScope(); 51d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor CachedTokens &Toks = LM->Toks; 524cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 53d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl tok::TokenKind kind = Tok.getKind(); 54d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl // We may have a constructor initializer or function-try-block here. 55d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl if (kind == tok::colon || kind == tok::kw_try) { 567ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor // Consume everything up to (and including) the left brace. 5714b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis if (!ConsumeAndStoreUntil(tok::l_brace, Toks)) { 583f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor // We didn't find the left-brace we expected after the 591eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // constructor initializer. 603f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor if (Tok.is(tok::semi)) { 613f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor // We found a semicolon; complain, consume the semicolon, and 623f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor // don't try to parse this method later. 633f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor Diag(Tok.getLocation(), diag::err_expected_lbrace); 643f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor ConsumeAnyToken(); 65d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor delete getCurrentClass().LateParsedDeclarations.back(); 66d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor getCurrentClass().LateParsedDeclarations.pop_back(); 673f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor return FnD; 683f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor } 693f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor } 703f08d181f620e6bf4971c436fc9878f98a02bbe3Douglas Gregor 717ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } else { 721eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump // Begin by storing the '{' token. 737ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor Toks.push_back(Tok); 747ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor ConsumeBrace(); 757ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } 767ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor // Consume everything up to (and including) the matching right brace. 7714b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 784cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 79d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl // If we're in a function-try-block, we need to store all the catch blocks. 80d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl if (kind == tok::kw_try) { 81d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl while (Tok.is(tok::kw_catch)) { 8214b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::l_brace, Toks, /*StopAtSemi=*/false); 8314b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 84d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 85d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 86d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl 874cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return FnD; 884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 90d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedDeclaration::~LateParsedDeclaration() {} 91d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDeclarations() {} 92d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDefs() {} 93d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 94d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::LateParsedClass(Parser *P, ParsingClass *C) 95d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor : Self(P), Class(C) {} 96d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 97d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::~LateParsedClass() { 98d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->DeallocateParsedClasses(Class); 99d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 100d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 101d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDeclarations() { 102d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclarations(*Class); 103d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 104d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 105d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDefs() { 106d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDefs(*Class); 107d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 108d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 109d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedMethodDeclaration::ParseLexedMethodDeclarations() { 110d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclaration(*this); 111d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 112d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 113d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LexedMethod::ParseLexedMethodDefs() { 114d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDef(*this); 115d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 116d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 11772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// ParseLexedMethodDeclarations - We finished parsing the member 11872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// specification of a top (non-nested) C++ class. Now go over the 11972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// stack of method declarations with some parts for which parsing was 12072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// delayed (such as default arguments) and parse them. 1216569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDeclarations(ParsingClass &Class) { 1226569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 123d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 1246569d68745c8213709740337d2be52b031384f58Douglas Gregor if (HasTemplateScope) 12523c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 1266569d68745c8213709740337d2be52b031384f58Douglas Gregor 1277a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // The current scope is still active if we're the top-level class. 1287a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // Otherwise we'll need to push and enter a new scope. 1296569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 1304cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 1314cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt HasClassScope); 1327a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall if (HasClassScope) 13323c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnStartDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 1346569d68745c8213709740337d2be52b031384f58Douglas Gregor 135d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 136d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDeclarations(); 137d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 13872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 139d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (HasClassScope) 140d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 141d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 1427fd3a6456a88cdd225b92ae1606144f24c7f51d4Argyrios Kyrtzidis 143d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDeclaration(LateParsedMethodDeclaration &LM) { 144d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 145d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 146d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (LM.TemplateScope) 147d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.Method); 148d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 149d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Start the delayed C++ method declaration 150d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 151d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 152d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameters into scope and parse their default 153d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // arguments. 154d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope PrototypeScope(this, 155d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Scope::FunctionPrototypeScope|Scope::DeclScope); 156d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (unsigned I = 0, N = LM.DefaultArgs.size(); I != N; ++I) { 157d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameter into scope. 158d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnDelayedCXXMethodParameter(getCurScope(), LM.DefaultArgs[I].Param); 159d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 160d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (CachedTokens *Toks = LM.DefaultArgs[I].Toks) { 161d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 162d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 163d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 164d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the default argument from its saved token stream. 165d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Toks->push_back(Tok); // So that the current token doesn't get lost 166d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(&Toks->front(), Toks->size(), true, false); 167d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 168d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously-pushed token. 169d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 170d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 171d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the '='. 172d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(Tok.is(tok::equal) && "Default argument not starting with '='"); 173d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation EqualLoc = ConsumeToken(); 174d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 175d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // The argument isn't actually potentially evaluated unless it is 176d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // used. 177d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor EnterExpressionEvaluationContext Eval(Actions, 178d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Sema::PotentiallyEvaluatedIfUsed); 179d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 180d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ExprResult DefArgResult(ParseAssignmentExpression()); 181d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (DefArgResult.isInvalid()) 182d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgumentError(LM.DefaultArgs[I].Param); 183d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else { 184d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::cxx_defaultarg_end)) 185d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeToken(); 186d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else 187d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Diag(Tok.getLocation(), diag::err_default_arg_unparsed); 188d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgument(LM.DefaultArgs[I].Param, EqualLoc, 189d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor DefArgResult.take()); 190d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 19172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 192d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 193d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 194d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseAssignmentExpression went over the default arg tokens!"); 195d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 196d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 197d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 19872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 19972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 200d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor delete Toks; 201d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.DefaultArgs[I].Toks = 0; 20272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 20372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 204d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PrototypeScope.Exit(); 2056569d68745c8213709740337d2be52b031384f58Douglas Gregor 206d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Finish the delayed C++ method declaration. 207d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 20872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor} 20972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 2104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ParseLexedMethodDefs - We finished parsing the member specification of a top 2114cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// (non-nested) C++ class. Now go over the stack of lexed methods that were 2124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// collected during its parsing and parse them all. 2136569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDefs(ParsingClass &Class) { 2146569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 215d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 2166569d68745c8213709740337d2be52b031384f58Douglas Gregor if (HasTemplateScope) 21723c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 2186569d68745c8213709740337d2be52b031384f58Douglas Gregor 2196569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 2206569d68745c8213709740337d2be52b031384f58Douglas Gregor ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 2216569d68745c8213709740337d2be52b031384f58Douglas Gregor HasClassScope); 2226569d68745c8213709740337d2be52b031384f58Douglas Gregor 223d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 224d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDefs(); 225d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 226d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 2274cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 228d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDef(LexedMethod &LM) { 229d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 230d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 231d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (LM.TemplateScope) 232d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.D); 233d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 234d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 235d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 236d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 237d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!LM.Toks.empty() && "Empty body!"); 238d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Append the current token at the end of the new token stream so that it 239d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // doesn't get lost. 240d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.Toks.push_back(Tok); 241d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(LM.Toks.data(), LM.Toks.size(), true, false); 242d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 243d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously pushed token. 244d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 245d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try)) 246d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor && "Inline method not starting with '{', ':' or 'try'"); 247d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 248d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the method body. Function body parsing code is similar enough 249d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // to be re-used for method bodies as well. 250d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope FnScope(this, Scope::FnScope|Scope::DeclScope); 251d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartOfFunctionDef(getCurScope(), LM.D); 252d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 253d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::kw_try)) { 254d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseFunctionTryBlock(LM.D); 255d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 256d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 257d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseFunctionTryBlock went over the cached tokens!"); 258d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 259d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 260d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 261d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 262d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 263d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 264d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::colon)) { 265d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseConstructorInitializer(LM.D); 2664cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 267d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Error recovery. 268d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (!Tok.is(tok::l_brace)) { 269d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishFunctionBody(LM.D, 0); 270d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 271d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 272d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } else 273d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnDefaultCtorInitializers(LM.D); 274d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 275d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseFunctionStatementBody(LM.D); 276d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 277d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.getLocation() != origLoc) { 278d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Due to parsing error, we either went over the cached tokens or 279d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // there are still cached tokens left. If it's the latter case skip the 280d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // leftover tokens. 281d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Since this is an uncommon situation that should be avoided, use the 282d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // expensive isBeforeInTranslationUnit call. 283d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (PP.getSourceManager().isBeforeInTranslationUnit(Tok.getLocation(), 284d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor origLoc)) 2858f9359f5ae1227f3b489d1d261225d8180b64ed3Argyrios Kyrtzidis while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 2867558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis ConsumeAnyToken(); 2877558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis 2884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 2894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 2904cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 2914cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ConsumeAndStoreUntil - Consume and store the token at the passed token 29272b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// container until the token 'T' is reached (which gets 2931eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// consumed/stored too, if ConsumeFinalToken). 29414b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis/// If StopAtSemi is true, then we will stop early at a ';' character. 29572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// Returns true if token 'T1' or 'T2' was found. 2964cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// NOTE: This is a specialized version of Parser::SkipUntil. 29772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregorbool Parser::ConsumeAndStoreUntil(tok::TokenKind T1, tok::TokenKind T2, 29872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens &Toks, 29914b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis bool StopAtSemi, bool ConsumeFinalToken) { 3004cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // We always want this function to consume at least one token if the first 3014cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // token isn't T and if not at EOF. 3024cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis bool isFirstTokenConsumed = true; 3034cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis while (1) { 3044cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // If we found one of the tokens, stop and return true. 30572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (Tok.is(T1) || Tok.is(T2)) { 30672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (ConsumeFinalToken) { 30772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor Toks.push_back(Tok); 30872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 30972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 3104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return true; 3114cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 3124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3134cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis switch (Tok.getKind()) { 3144cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::eof: 3154cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Ran out of tokens. 3164cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; 3174cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_paren: 3194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested parens. 3204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 32214b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_paren, Toks, /*StopAtSemi=*/false); 3234cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3244cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_square: 3254cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested square brackets. 3264cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3274cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 32814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_square, Toks, /*StopAtSemi=*/false); 3294cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3304cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_brace: 3314cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested braces. 3324cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3334cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 33414b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 3354cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3364cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3374cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Okay, we found a ']' or '}' or ')', which we think should be balanced. 3384cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Since the user wasn't looking for this token (if they were, it would 3394cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // already be handled), this isn't balanced. If there is a LHS token at a 3404cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // higher level, we will assume that this matches the unbalanced token 3414cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // and return it. Otherwise, this is a spurious RHS token, which we skip. 3424cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_paren: 3434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (ParenCount && !isFirstTokenConsumed) 3444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 3454cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 3474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_square: 3494cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BracketCount && !isFirstTokenConsumed) 3504cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 3514cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3524cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 3534cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3544cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_brace: 3554cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BraceCount && !isFirstTokenConsumed) 3564cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 3574cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3584cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 3594cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3604cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 3614cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::string_literal: 3624cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::wide_string_literal: 3634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3644cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeStringToken(); 3654cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 36614b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis case tok::semi: 36714b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis if (StopAtSemi) 36814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis return false; 36914b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis // FALL THROUGH. 3704cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis default: 3714cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // consume this token. 3724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 3734cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeToken(); 3744cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 3754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 3764cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis isFirstTokenConsumed = false; 3774cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 3784cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 379