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 144cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis#include "clang/Parse/Parser.h" 1555fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "RAIIObjectsForParser.h" 1655fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/AST/DeclTemplate.h" 1755fc873017f10f6f566b182b70f6fc22aefa3464Chandler Carruth#include "clang/Parse/ParseDiagnostic.h" 1819510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/DeclSpec.h" 1919510856727e0e14a3696b2a72c35163bff2a71fJohn McCall#include "clang/Sema/Scope.h" 204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidisusing namespace clang; 214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 22e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall/// Get the FunctionDecl for a function or function template decl. 23e34db6b3e772e9832e1f6de1f23457076ffbec88John McCallstatic FunctionDecl *getFunctionDecl(Decl *D) { 24e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall if (FunctionDecl *fn = dyn_cast<FunctionDecl>(D)) 25e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall return fn; 26e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall return cast<FunctionTemplateDecl>(D)->getTemplatedDecl(); 27e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall} 28e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall 29d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl/// ParseCXXInlineMethodDef - We parsed and verified that the specified 304cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// Declarator is a well formed C++ inline method definition. Now lex its body 314cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// and store its tokens for parsing after the C++ class is complete. 320777cf5fcb8ca53bdc7e6455e9068742fbcc14dbRafael EspindolaNamedDecl *Parser::ParseCXXInlineMethodDef(AccessSpecifier AS, 335f1c822def3efffe1d8f7299fbbbc3b1cdd4833dErik Verbruggen AttributeList *AccessAttrs, 345f1c822def3efffe1d8f7299fbbbc3b1cdd4833dErik Verbruggen ParsingDeclarator &D, 3545fa560c72441069d9e4eb1e66efd87349caa552Douglas Gregor const ParsedTemplateInfo &TemplateInfo, 3645fa560c72441069d9e4eb1e66efd87349caa552Douglas Gregor const VirtSpecifiers& VS, 3745fa560c72441069d9e4eb1e66efd87349caa552Douglas Gregor FunctionDefinitionKind DefinitionKind, 3845fa560c72441069d9e4eb1e66efd87349caa552Douglas Gregor ExprResult& Init) { 39075f8f1b6bed4d1b224c74f87508534cc6392ce6Abramo Bagnara assert(D.isFunctionDeclarator() && "This isn't a function declarator!"); 40e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try) || 41e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Tok.is(tok::equal)) && 42e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt "Current token not a '{', ':', '=', or 'try'!"); 434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 445354e77e60e82828c7c2361f5c688c2667ab59ccBenjamin Kramer MultiTemplateParamsArg TemplateParams( 454cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->data() : 0, 464cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt TemplateInfo.TemplateParams ? TemplateInfo.TemplateParams->size() : 0); 474cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt 480777cf5fcb8ca53bdc7e6455e9068742fbcc14dbRafael Espindola NamedDecl *FnD; 4945fa560c72441069d9e4eb1e66efd87349caa552Douglas Gregor D.setFunctionDefinitionKind(DefinitionKind); 5067d1a67f3db2f1aa69083c5c94164d6e0ee05b32John McCall if (D.getDeclSpec().isFriendSpecified()) 512c712f50cd56eaf3662989b556e9c6b1e8fcd11aKaelyn Uhrain FnD = Actions.ActOnFriendFunctionDecl(getCurScope(), D, 523fe198bf0d6118c7b080c17c3bb28d7c84e458b9Benjamin Kramer TemplateParams); 53147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor else { 5423c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor FnD = Actions.ActOnCXXMemberDeclarator(getCurScope(), AS, D, 553fe198bf0d6118c7b080c17c3bb28d7c84e458b9Benjamin Kramer TemplateParams, 0, 56ca5233044ef679840d1ad1c46a36b16e2ee8a6e1Richard Smith VS, ICIS_NoInit); 57147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor if (FnD) { 58ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo Actions.ProcessDeclAttributeList(getCurScope(), FnD, AccessAttrs, false, 59ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo true); 60a2c3646c35dd09d21b74826240aa916545b1873fRichard Smith bool TypeSpecContainsAuto = D.getDeclSpec().containsPlaceholderType(); 61a2b4e5d9292688bc67b583592918dbeecae31ea3Douglas Gregor if (Init.isUsable()) 62ef4579cda09b73e3d4d98af48201da25adc29326Larisse Voufo Actions.AddInitializerToDecl(FnD, Init.get(), false, 63147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor TypeSpecContainsAuto); 64147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor else 65147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor Actions.ActOnUninitializedDecl(FnD, TypeSpecContainsAuto); 66147545d698972cfd34ece30a5d55e8180784161eDouglas Gregor } 674867347e82648d3baf09524b98b09c297a5a198fNico Weber } 684cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 6974e2fc332e07c76d4e69ccbd0e9e47a0bafd3908Douglas Gregor HandleMemberFunctionDeclDelays(D, FnD); 70d33133cdc1af466f9c276249b2621be03867888bEli Friedman 71eee1d5434ebfa955ffc3c493aecd68bb7b3f4838John McCall D.complete(FnD); 72eee1d5434ebfa955ffc3c493aecd68bb7b3f4838John McCall 73e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::equal)) { 74e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt ConsumeToken(); 75e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 76c430ef4f92eedea7d3378f05a2b05982ed3713dcRichard Smith if (!FnD) { 77c430ef4f92eedea7d3378f05a2b05982ed3713dcRichard Smith SkipUntil(tok::semi); 78c430ef4f92eedea7d3378f05a2b05982ed3713dcRichard Smith return 0; 79c430ef4f92eedea7d3378f05a2b05982ed3713dcRichard Smith } 80c430ef4f92eedea7d3378f05a2b05982ed3713dcRichard Smith 81e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt bool Delete = false; 82e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt SourceLocation KWLoc; 83e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::kw_delete)) { 8480ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith Diag(Tok, getLangOpts().CPlusPlus11 ? 857fe6208c3fa91f835813bb78236ef5c2bbf81053Richard Smith diag::warn_cxx98_compat_deleted_function : 86d7c56e1114bfe7d461786903bb720d2c6efc05a1Richard Smith diag::ext_deleted_function); 87e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 88e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt KWLoc = ConsumeToken(); 89e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Actions.SetDeclDeleted(FnD, KWLoc); 90e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Delete = true; 91e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else if (Tok.is(tok::kw_default)) { 9280ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith Diag(Tok, getLangOpts().CPlusPlus11 ? 937fe6208c3fa91f835813bb78236ef5c2bbf81053Richard Smith diag::warn_cxx98_compat_defaulted_function : 94d7c56e1114bfe7d461786903bb720d2c6efc05a1Richard Smith diag::ext_defaulted_function); 95e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 96e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt KWLoc = ConsumeToken(); 97e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Actions.SetDeclDefaulted(FnD, KWLoc); 98e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else { 99e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt llvm_unreachable("function definition after = not 'delete' or 'default'"); 100e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 101e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 102e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt if (Tok.is(tok::comma)) { 103e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Diag(KWLoc, diag::err_default_delete_in_multiple_declaration) 104e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt << Delete; 105e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt SkipUntil(tok::semi); 106e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } else { 107e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt ExpectAndConsume(tok::semi, diag::err_expected_semi_after, 108e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt Delete ? "delete" : "default", tok::semi); 109e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 110e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 111e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt return FnD; 112e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt } 113e4246a633b13197634225971b25df0cbdcec0c5dSean Hunt 1148387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // In delayed template parsing mode, if we are within a class template 1158387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // or if we are about to parse function member template then consume 1168387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet // the tokens and store them for parsing at the end of the translation unit. 1174e4d08403ca5cfd4d558fa2936215d3a4e5a528dDavid Blaikie if (getLangOpts().DelayedTemplateParsing && 1180963017dcbc32176c79a251c3ab23bc35ac784e5Douglas Gregor DefinitionKind == FDK_Definition && 1198387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet ((Actions.CurContext->isDependentContext() || 1208387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet TemplateInfo.Kind != ParsedTemplateInfo::NonTemplate) && 1219d38dbc9a16017fff3e34b7876a6590413a7d56bFrancois Pichet !Actions.IsInsideALocalClassWithinATemplateFunction())) { 1228387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1238387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet if (FnD) { 124e1fca502e7f1349e9b4520a4ca9a02413bcf2b14Francois Pichet LateParsedTemplatedFunction *LPT = new LateParsedTemplatedFunction(FnD); 1258387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 126e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall FunctionDecl *FD = getFunctionDecl(FnD); 12781542fd91bd5e7e65ebae3eaad117bdaeaf7d737Chandler Carruth Actions.CheckForFunctionRedefinition(FD); 1288387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1298387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LateParsedTemplateMap[FD] = LPT; 1308387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet Actions.MarkAsLateParsedTemplate(FD); 1318387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LexTemplateFunctionForLateParsing(LPT->Toks); 1328387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } else { 1338387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet CachedTokens Toks; 1348387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet LexTemplateFunctionForLateParsing(Toks); 1358387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } 1368387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1378387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet return FnD; 1388387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet } 1398387e2a41eef6fa17fb140a18c29b6eee9dd2b8aFrancois Pichet 1404cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Consume the tokens and store them for later parsing. 1414cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 142d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LexedMethod* LM = new LexedMethod(this, FnD); 143d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor getCurrentClass().LateParsedDeclarations.push_back(LM); 144d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM->TemplateScope = getCurScope()->isTemplateParamScope(); 145d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor CachedTokens &Toks = LM->Toks; 1464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 147d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl tok::TokenKind kind = Tok.getKind(); 148a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Consume everything up to (and including) the left brace of the 149a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // function body. 150a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl if (ConsumeAndStoreFunctionPrologue(Toks)) { 151a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // We didn't find the left-brace we expected after the 152e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman // constructor initializer; we already printed an error, and it's likely 153e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman // impossible to recover, so don't try to parse this method later. 15454ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Skip over the rest of the decl and back to somewhere that looks 15554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // reasonable. 15654ca069d1526df84a48a3974871a7c4f46549651Richard Smith SkipMalformedDecl(); 157e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman delete getCurrentClass().LateParsedDeclarations.back(); 158e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman getCurrentClass().LateParsedDeclarations.pop_back(); 159e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman return FnD; 1607ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } else { 161a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl // Consume everything up to (and including) the matching right brace. 162a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 1637ad8390f7992ab7f19b1460c5f0b9d96f165c4e9Douglas Gregor } 1644cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 165d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl // If we're in a function-try-block, we need to store all the catch blocks. 166d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl if (kind == tok::kw_try) { 167d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl while (Tok.is(tok::kw_catch)) { 16814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::l_brace, Toks, /*StopAtSemi=*/false); 16914b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 170d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 171d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl } 172d3a413d3b8eb39bcee5944bc545d9997c1abe492Sebastian Redl 173319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin if (FnD) { 174319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // If this is a friend function, mark that it's late-parsed so that 175319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // it's still known to be a definition even before we attach the 176319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // parsed body. Sema needs to treat friend function definitions 177319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // differently during template instantiation, and it's possible for 178319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // the containing class to be instantiated before all its member 179319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // function definitions are parsed. 180319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // 181319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // If you remove this, you can remove the code that clears the flag 182319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin // after parsing the member. 183319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin if (D.getDeclSpec().isFriendSpecified()) { 184319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin getFunctionDecl(FnD)->setLateTemplateParsed(true); 185319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin } 186319957c64a445b6e16bf00054fc4bb88754abfc8Stephen Lin } else { 18787f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor // If semantic analysis could not build a function declaration, 18887f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor // just throw away the late-parsed declaration. 18987f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor delete getCurrentClass().LateParsedDeclarations.back(); 19087f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor getCurrentClass().LateParsedDeclarations.pop_back(); 19187f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor } 19287f106462ce49a4a9b812b9de92aadd4e54567bdDouglas Gregor 1934cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return FnD; 1944cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 1954cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 1967a614d8380297fcd2bc23986241905d97222948cRichard Smith/// ParseCXXNonStaticMemberInitializer - We parsed and verified that the 1977a614d8380297fcd2bc23986241905d97222948cRichard Smith/// specified Declarator is a well formed C++ non-static data member 1987a614d8380297fcd2bc23986241905d97222948cRichard Smith/// declaration. Now lex its initializer and store its tokens for parsing 1997a614d8380297fcd2bc23986241905d97222948cRichard Smith/// after the class is complete. 2007a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseCXXNonStaticMemberInitializer(Decl *VarD) { 2017a614d8380297fcd2bc23986241905d97222948cRichard Smith assert((Tok.is(tok::l_brace) || Tok.is(tok::equal)) && 2027a614d8380297fcd2bc23986241905d97222948cRichard Smith "Current token not a '{' or '='!"); 2037a614d8380297fcd2bc23986241905d97222948cRichard Smith 2047a614d8380297fcd2bc23986241905d97222948cRichard Smith LateParsedMemberInitializer *MI = 2057a614d8380297fcd2bc23986241905d97222948cRichard Smith new LateParsedMemberInitializer(this, VarD); 2067a614d8380297fcd2bc23986241905d97222948cRichard Smith getCurrentClass().LateParsedDeclarations.push_back(MI); 2077a614d8380297fcd2bc23986241905d97222948cRichard Smith CachedTokens &Toks = MI->Toks; 2087a614d8380297fcd2bc23986241905d97222948cRichard Smith 2097a614d8380297fcd2bc23986241905d97222948cRichard Smith tok::TokenKind kind = Tok.getKind(); 2107a614d8380297fcd2bc23986241905d97222948cRichard Smith if (kind == tok::equal) { 2117a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Tok); 212d78ef5b941ce2937228b010e8443f92025f9d683Douglas Gregor ConsumeToken(); 2137a614d8380297fcd2bc23986241905d97222948cRichard Smith } 2147a614d8380297fcd2bc23986241905d97222948cRichard Smith 2157a614d8380297fcd2bc23986241905d97222948cRichard Smith if (kind == tok::l_brace) { 2167a614d8380297fcd2bc23986241905d97222948cRichard Smith // Begin by storing the '{' token. 2177a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Tok); 2187a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeBrace(); 2197a614d8380297fcd2bc23986241905d97222948cRichard Smith 2207a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume everything up to (and including) the matching right brace. 2217a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/true); 2227a614d8380297fcd2bc23986241905d97222948cRichard Smith } else { 2237a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume everything up to (but excluding) the comma or semicolon. 2247a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAndStoreUntil(tok::comma, Toks, /*StopAtSemi=*/true, 2257a614d8380297fcd2bc23986241905d97222948cRichard Smith /*ConsumeFinalToken=*/false); 2267a614d8380297fcd2bc23986241905d97222948cRichard Smith } 2277a614d8380297fcd2bc23986241905d97222948cRichard Smith 2287a614d8380297fcd2bc23986241905d97222948cRichard Smith // Store an artificial EOF token to ensure that we don't run off the end of 2297a614d8380297fcd2bc23986241905d97222948cRichard Smith // the initializer when we come to parse it. 2307a614d8380297fcd2bc23986241905d97222948cRichard Smith Token Eof; 2317a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.startToken(); 2327a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.setKind(tok::eof); 2337a614d8380297fcd2bc23986241905d97222948cRichard Smith Eof.setLocation(Tok.getLocation()); 2347a614d8380297fcd2bc23986241905d97222948cRichard Smith Toks.push_back(Eof); 2357a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2367a614d8380297fcd2bc23986241905d97222948cRichard Smith 237d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedDeclaration::~LateParsedDeclaration() {} 238d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDeclarations() {} 2397a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedDeclaration::ParseLexedMemberInitializers() {} 240d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedDeclaration::ParseLexedMethodDefs() {} 241d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 242d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::LateParsedClass(Parser *P, ParsingClass *C) 243d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor : Self(P), Class(C) {} 244d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 245d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas GregorParser::LateParsedClass::~LateParsedClass() { 246d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->DeallocateParsedClasses(Class); 247d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 248d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 249d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDeclarations() { 250d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclarations(*Class); 251d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 252d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 2537a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedClass::ParseLexedMemberInitializers() { 2547a614d8380297fcd2bc23986241905d97222948cRichard Smith Self->ParseLexedMemberInitializers(*Class); 2557a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2567a614d8380297fcd2bc23986241905d97222948cRichard Smith 257d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedClass::ParseLexedMethodDefs() { 258d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDefs(*Class); 259d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 260d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 261d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LateParsedMethodDeclaration::ParseLexedMethodDeclarations() { 262d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDeclaration(*this); 263d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 264d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 265d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::LexedMethod::ParseLexedMethodDefs() { 266d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Self->ParseLexedMethodDef(*this); 267d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 268d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 2697a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::LateParsedMemberInitializer::ParseLexedMemberInitializers() { 2707a614d8380297fcd2bc23986241905d97222948cRichard Smith Self->ParseLexedMemberInitializer(*this); 2717a614d8380297fcd2bc23986241905d97222948cRichard Smith} 2727a614d8380297fcd2bc23986241905d97222948cRichard Smith 27372b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// ParseLexedMethodDeclarations - We finished parsing the member 27472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// specification of a top (non-nested) C++ class. Now go over the 27572b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// stack of method declarations with some parts for which parsing was 27672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// delayed (such as default arguments) and parse them. 2776569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDeclarations(ParsingClass &Class) { 2786569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 279d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 280098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith TemplateParameterDepthRAII CurTemplateDepthTracker(TemplateParameterDepth); 281098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith if (HasTemplateScope) { 28223c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 283098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith ++CurTemplateDepthTracker; 284098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith } 2856569d68745c8213709740337d2be52b031384f58Douglas Gregor 2867a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // The current scope is still active if we're the top-level class. 2877a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall // Otherwise we'll need to push and enter a new scope. 2886569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 2894cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 2904cd8494d9a2f99cbf38147bca80be18cdff83734Sean Hunt HasClassScope); 2917a1dc562d4ad59237ed9fe7e8cef56f9eaa7a26cJohn McCall if (HasClassScope) 29223c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnStartDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 2936569d68745c8213709740337d2be52b031384f58Douglas Gregor 294d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 295d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDeclarations(); 296d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 29772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 298d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (HasClassScope) 299d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedMemberDeclarations(getCurScope(), Class.TagOrTemplate); 300d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 3017fd3a6456a88cdd225b92ae1606144f24c7f51d4Argyrios Kyrtzidis 302d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDeclaration(LateParsedMethodDeclaration &LM) { 303d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 304d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 305098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith TemplateParameterDepthRAII CurTemplateDepthTracker(TemplateParameterDepth); 306098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith if (LM.TemplateScope) { 307d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.Method); 308098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith ++CurTemplateDepthTracker; 309098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith } 310d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Start the delayed C++ method declaration 311d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 312d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 313d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameters into scope and parse their default 314d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // arguments. 3153a2b7a18a4504f39e3ded0d2b5749c5c80b8b9b5Richard Smith ParseScope PrototypeScope(this, Scope::FunctionPrototypeScope | 3163a2b7a18a4504f39e3ded0d2b5749c5c80b8b9b5Richard Smith Scope::FunctionDeclarationScope | Scope::DeclScope); 317d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (unsigned I = 0, N = LM.DefaultArgs.size(); I != N; ++I) { 318d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Introduce the parameter into scope. 319ccc1b5eebc6ca8a904c58c0468b9a71483b7c7cfDouglas Gregor Actions.ActOnDelayedCXXMethodParameter(getCurScope(), 320ccc1b5eebc6ca8a904c58c0468b9a71483b7c7cfDouglas Gregor LM.DefaultArgs[I].Param); 321d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 322d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (CachedTokens *Toks = LM.DefaultArgs[I].Toks) { 323d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 324d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 325d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 326d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the default argument from its saved token stream. 327d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Toks->push_back(Tok); // So that the current token doesn't get lost 328d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(&Toks->front(), Toks->size(), true, false); 329d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 330d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously-pushed token. 331d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 332d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 333d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the '='. 334d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(Tok.is(tok::equal) && "Default argument not starting with '='"); 335d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation EqualLoc = ConsumeToken(); 336d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 337d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // The argument isn't actually potentially evaluated unless it is 338d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // used. 339d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor EnterExpressionEvaluationContext Eval(Actions, 340ccc1b5eebc6ca8a904c58c0468b9a71483b7c7cfDouglas Gregor Sema::PotentiallyEvaluatedIfUsed, 341ccc1b5eebc6ca8a904c58c0468b9a71483b7c7cfDouglas Gregor LM.DefaultArgs[I].Param); 342d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 34384407ba82a10235962901ce269b7b3276d17f01dSebastian Redl ExprResult DefArgResult; 34480ad52f327b532bded5c5b0ee38779d841c6cd35Richard Smith if (getLangOpts().CPlusPlus11 && Tok.is(tok::l_brace)) { 345ca8937111cccdbf7d17c349487a332d6c7c97f91Sebastian Redl Diag(Tok, diag::warn_cxx98_compat_generalized_initializer_lists); 34684407ba82a10235962901ce269b7b3276d17f01dSebastian Redl DefArgResult = ParseBraceInitializer(); 347ca8937111cccdbf7d17c349487a332d6c7c97f91Sebastian Redl } else 34884407ba82a10235962901ce269b7b3276d17f01dSebastian Redl DefArgResult = ParseAssignmentExpression(); 349d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (DefArgResult.isInvalid()) 350d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgumentError(LM.DefaultArgs[I].Param); 351d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else { 352d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::cxx_defaultarg_end)) 353d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeToken(); 354d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor else 355d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Diag(Tok.getLocation(), diag::err_default_arg_unparsed); 356d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnParamDefaultArgument(LM.DefaultArgs[I].Param, EqualLoc, 357d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor DefArgResult.take()); 358d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 35972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 360d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 361d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 362d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseAssignmentExpression went over the default arg tokens!"); 363d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 364d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 365d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 36672b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 36772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 368d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor delete Toks; 369d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.DefaultArgs[I].Toks = 0; 37072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 37172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 372a058fd4f0a944174295f77169b438510dad389f8Richard Smith 373d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PrototypeScope.Exit(); 3746569d68745c8213709740337d2be52b031384f58Douglas Gregor 375d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Finish the delayed C++ method declaration. 376d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishDelayedCXXMethodDeclaration(getCurScope(), LM.Method); 37772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor} 37872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor 3794cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ParseLexedMethodDefs - We finished parsing the member specification of a top 3804cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// (non-nested) C++ class. Now go over the stack of lexed methods that were 3814cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// collected during its parsing and parse them all. 3826569d68745c8213709740337d2be52b031384f58Douglas Gregorvoid Parser::ParseLexedMethodDefs(ParsingClass &Class) { 3836569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 384d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, HasTemplateScope); 385098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith TemplateParameterDepthRAII CurTemplateDepthTracker(TemplateParameterDepth); 386098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith if (HasTemplateScope) { 38723c94dbb6631fecdb55ba401aa93722803d980c6Douglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 388098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith ++CurTemplateDepthTracker; 389098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith } 3906569d68745c8213709740337d2be52b031384f58Douglas Gregor bool HasClassScope = !Class.TopLevelClass; 3916569d68745c8213709740337d2be52b031384f58Douglas Gregor ParseScope ClassScope(this, Scope::ClassScope|Scope::DeclScope, 3926569d68745c8213709740337d2be52b031384f58Douglas Gregor HasClassScope); 3936569d68745c8213709740337d2be52b031384f58Douglas Gregor 394d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 395d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMethodDefs(); 396d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 397d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor} 3984cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 399d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregorvoid Parser::ParseLexedMethodDef(LexedMethod &LM) { 400d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // If this is a member template, introduce the template parameter scope. 401d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope TemplateScope(this, Scope::TemplateParamScope, LM.TemplateScope); 402098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith TemplateParameterDepthRAII CurTemplateDepthTracker(TemplateParameterDepth); 403098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith if (LM.TemplateScope) { 404d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnReenterTemplateScope(getCurScope(), LM.D); 405098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith ++CurTemplateDepthTracker; 406098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith } 407d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Save the current token position. 408d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor SourceLocation origLoc = Tok.getLocation(); 409d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 410d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!LM.Toks.empty() && "Empty body!"); 411d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Append the current token at the end of the new token stream so that it 412d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // doesn't get lost. 413d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor LM.Toks.push_back(Tok); 414d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor PP.EnterTokenStream(LM.Toks.data(), LM.Toks.size(), true, false); 415d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 416d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Consume the previously pushed token. 417ab2d09b6287a5dc6fa94d78739444f46f9a78bfbArgyrios Kyrtzidis ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true); 418d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert((Tok.is(tok::l_brace) || Tok.is(tok::colon) || Tok.is(tok::kw_try)) 419d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor && "Inline method not starting with '{', ':' or 'try'"); 420d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 421d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Parse the method body. Function body parsing code is similar enough 422d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // to be re-used for method bodies as well. 423d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseScope FnScope(this, Scope::FnScope|Scope::DeclScope); 424d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnStartOfFunctionDef(getCurScope(), LM.D); 425d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 426d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::kw_try)) { 427c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor ParseFunctionTryBlock(LM.D, FnScope); 428d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor assert(!PP.getSourceManager().isBeforeInTranslationUnit(origLoc, 429d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Tok.getLocation()) && 430d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor "ParseFunctionTryBlock went over the cached tokens!"); 431d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // There could be leftover tokens (e.g. because of an error). 432d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Skip through until we reach the original token position. 433d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 434d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ConsumeAnyToken(); 435d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 436d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 437d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.is(tok::colon)) { 438d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor ParseConstructorInitializer(LM.D); 4394cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 440d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Error recovery. 441d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (!Tok.is(tok::l_brace)) { 442c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor FnScope.Exit(); 443d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnFinishFunctionBody(LM.D, 0); 44410904527359605a76561a49769a2199351a072d8Matt Beaumont-Gay while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 44510904527359605a76561a49769a2199351a072d8Matt Beaumont-Gay ConsumeAnyToken(); 446d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor return; 447d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } 448d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor } else 449d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor Actions.ActOnDefaultCtorInitializers(LM.D); 450d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 451098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith assert((Actions.getDiagnostics().hasErrorOccurred() || 452098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith !isa<FunctionTemplateDecl>(LM.D) || 453098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith cast<FunctionTemplateDecl>(LM.D)->getTemplateParameters()->getDepth() 454098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith < TemplateParameterDepth) && 455098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith "TemplateParameterDepth should be greater than the depth of " 456098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith "current template being instantiated!"); 457098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith 458c9977d09a2de7f7d2245973413d4caf86c736640Douglas Gregor ParseFunctionStatementBody(LM.D, FnScope); 459d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor 460e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall // Clear the late-template-parsed bit if we set it before. 461e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall if (LM.D) getFunctionDecl(LM.D)->setLateTemplateParsed(false); 462e34db6b3e772e9832e1f6de1f23457076ffbec88John McCall 463d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (Tok.getLocation() != origLoc) { 464d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Due to parsing error, we either went over the cached tokens or 465d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // there are still cached tokens left. If it's the latter case skip the 466d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // leftover tokens. 467d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // Since this is an uncommon situation that should be avoided, use the 468d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor // expensive isBeforeInTranslationUnit call. 469d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor if (PP.getSourceManager().isBeforeInTranslationUnit(Tok.getLocation(), 470d54eb4410330383f48d3cc22b2ad8d23f120836bDouglas Gregor origLoc)) 4718f9359f5ae1227f3b489d1d261225d8180b64ed3Argyrios Kyrtzidis while (Tok.getLocation() != origLoc && Tok.isNot(tok::eof)) 4727558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis ConsumeAnyToken(); 4737a614d8380297fcd2bc23986241905d97222948cRichard Smith } 4747a614d8380297fcd2bc23986241905d97222948cRichard Smith} 4757a614d8380297fcd2bc23986241905d97222948cRichard Smith 4767a614d8380297fcd2bc23986241905d97222948cRichard Smith/// ParseLexedMemberInitializers - We finished parsing the member specification 4777a614d8380297fcd2bc23986241905d97222948cRichard Smith/// of a top (non-nested) C++ class. Now go over the stack of lexed data member 4787a614d8380297fcd2bc23986241905d97222948cRichard Smith/// initializers that were collected during its parsing and parse them all. 4797a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseLexedMemberInitializers(ParsingClass &Class) { 4807a614d8380297fcd2bc23986241905d97222948cRichard Smith bool HasTemplateScope = !Class.TopLevelClass && Class.TemplateScope; 4817a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScope ClassTemplateScope(this, Scope::TemplateParamScope, 4827a614d8380297fcd2bc23986241905d97222948cRichard Smith HasTemplateScope); 483098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith TemplateParameterDepthRAII CurTemplateDepthTracker(TemplateParameterDepth); 484098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith if (HasTemplateScope) { 4857a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnReenterTemplateScope(getCurScope(), Class.TagOrTemplate); 486098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith ++CurTemplateDepthTracker; 487098b8140c082e5a69b18ca83ef2eb3091939d54fRichard Smith } 488cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // Set or update the scope flags. 4897a614d8380297fcd2bc23986241905d97222948cRichard Smith bool AlreadyHasClassScope = Class.TopLevelClass; 490cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor unsigned ScopeFlags = Scope::ClassScope|Scope::DeclScope; 4917a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScope ClassScope(this, ScopeFlags, !AlreadyHasClassScope); 4927a614d8380297fcd2bc23986241905d97222948cRichard Smith ParseScopeFlags ClassScopeFlags(this, ScopeFlags, AlreadyHasClassScope); 4937558cd00a5ac620990174f3cba86aea4bd9a000aArgyrios Kyrtzidis 4947a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!AlreadyHasClassScope) 4957a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnStartDelayedMemberDeclarations(getCurScope(), 4967a614d8380297fcd2bc23986241905d97222948cRichard Smith Class.TagOrTemplate); 4977a614d8380297fcd2bc23986241905d97222948cRichard Smith 498268efba18e171d47e847ccdf313498905c32acfaBenjamin Kramer if (!Class.LateParsedDeclarations.empty()) { 499cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // C++11 [expr.prim.general]p4: 500cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // Otherwise, if a member-declarator declares a non-static data member 501cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // (9.2) of a class X, the expression this is a prvalue of type "pointer 502cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // to X" within the optional brace-or-equal-initializer. It shall not 503cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor // appear elsewhere in the member-declarator. 504cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor Sema::CXXThisScopeRAII ThisScope(Actions, Class.TagOrTemplate, 505cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor /*TypeQuals=*/(unsigned)0); 506cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor 507cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor for (size_t i = 0; i < Class.LateParsedDeclarations.size(); ++i) { 508cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor Class.LateParsedDeclarations[i]->ParseLexedMemberInitializers(); 509cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor } 5104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 511cefc3afac14d29de5aba7810cc8fe6c858949e9dDouglas Gregor 5127a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!AlreadyHasClassScope) 5137a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnFinishDelayedMemberDeclarations(getCurScope(), 5147a614d8380297fcd2bc23986241905d97222948cRichard Smith Class.TagOrTemplate); 5157a614d8380297fcd2bc23986241905d97222948cRichard Smith 5167a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnFinishDelayedMemberInitializers(Class.TagOrTemplate); 5177a614d8380297fcd2bc23986241905d97222948cRichard Smith} 5187a614d8380297fcd2bc23986241905d97222948cRichard Smith 5197a614d8380297fcd2bc23986241905d97222948cRichard Smithvoid Parser::ParseLexedMemberInitializer(LateParsedMemberInitializer &MI) { 5201991b7139a92d73420336690a870f049e88cfad6Richard Smith if (!MI.Field || MI.Field->isInvalidDecl()) 5217a614d8380297fcd2bc23986241905d97222948cRichard Smith return; 5227a614d8380297fcd2bc23986241905d97222948cRichard Smith 5237a614d8380297fcd2bc23986241905d97222948cRichard Smith // Append the current token at the end of the new token stream so that it 5247a614d8380297fcd2bc23986241905d97222948cRichard Smith // doesn't get lost. 5257a614d8380297fcd2bc23986241905d97222948cRichard Smith MI.Toks.push_back(Tok); 5267a614d8380297fcd2bc23986241905d97222948cRichard Smith PP.EnterTokenStream(MI.Toks.data(), MI.Toks.size(), true, false); 5277a614d8380297fcd2bc23986241905d97222948cRichard Smith 5287a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume the previously pushed token. 529ab2d09b6287a5dc6fa94d78739444f46f9a78bfbArgyrios Kyrtzidis ConsumeAnyToken(/*ConsumeCodeCompletionTok=*/true); 5307a614d8380297fcd2bc23986241905d97222948cRichard Smith 5317a614d8380297fcd2bc23986241905d97222948cRichard Smith SourceLocation EqualLoc; 532ca5233044ef679840d1ad1c46a36b16e2ee8a6e1Richard Smith 533552e29985a710f4ced62b39d70557501bd31ca9bDouglas Gregor ExprResult Init = ParseCXXMemberInitializer(MI.Field, /*IsFunction=*/false, 534552e29985a710f4ced62b39d70557501bd31ca9bDouglas Gregor EqualLoc); 5357a614d8380297fcd2bc23986241905d97222948cRichard Smith 5367a614d8380297fcd2bc23986241905d97222948cRichard Smith Actions.ActOnCXXInClassMemberInitializer(MI.Field, EqualLoc, Init.release()); 5377a614d8380297fcd2bc23986241905d97222948cRichard Smith 5387a614d8380297fcd2bc23986241905d97222948cRichard Smith // The next token should be our artificial terminating EOF token. 5397a614d8380297fcd2bc23986241905d97222948cRichard Smith if (Tok.isNot(tok::eof)) { 5407a614d8380297fcd2bc23986241905d97222948cRichard Smith SourceLocation EndLoc = PP.getLocForEndOfToken(PrevTokLocation); 5417a614d8380297fcd2bc23986241905d97222948cRichard Smith if (!EndLoc.isValid()) 5427a614d8380297fcd2bc23986241905d97222948cRichard Smith EndLoc = Tok.getLocation(); 5437a614d8380297fcd2bc23986241905d97222948cRichard Smith // No fixit; we can't recover as if there were a semicolon here. 5447a614d8380297fcd2bc23986241905d97222948cRichard Smith Diag(EndLoc, diag::err_expected_semi_decl_list); 5457a614d8380297fcd2bc23986241905d97222948cRichard Smith 5467a614d8380297fcd2bc23986241905d97222948cRichard Smith // Consume tokens until we hit the artificial EOF. 5477a614d8380297fcd2bc23986241905d97222948cRichard Smith while (Tok.isNot(tok::eof)) 5487a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 5497a614d8380297fcd2bc23986241905d97222948cRichard Smith } 5507a614d8380297fcd2bc23986241905d97222948cRichard Smith ConsumeAnyToken(); 5514cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 5524cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5534cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// ConsumeAndStoreUntil - Consume and store the token at the passed token 55472b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// container until the token 'T' is reached (which gets 5551eb4433ac451dc16f4133a88af2d002ac26c58efMike Stump/// consumed/stored too, if ConsumeFinalToken). 55614b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis/// If StopAtSemi is true, then we will stop early at a ';' character. 55772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor/// Returns true if token 'T1' or 'T2' was found. 5584cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis/// NOTE: This is a specialized version of Parser::SkipUntil. 55972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregorbool Parser::ConsumeAndStoreUntil(tok::TokenKind T1, tok::TokenKind T2, 56072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor CachedTokens &Toks, 56114b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis bool StopAtSemi, bool ConsumeFinalToken) { 5624cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // We always want this function to consume at least one token if the first 5634cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // token isn't T and if not at EOF. 5644cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis bool isFirstTokenConsumed = true; 5654cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis while (1) { 5664cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // If we found one of the tokens, stop and return true. 56772b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (Tok.is(T1) || Tok.is(T2)) { 56872b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor if (ConsumeFinalToken) { 56972b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor Toks.push_back(Tok); 57072b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor ConsumeAnyToken(); 57172b505b7904b3c9320a1312998800ba76e4f5841Douglas Gregor } 5724cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return true; 5734cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 5744cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5754cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis switch (Tok.getKind()) { 5764cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::eof: 5774cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Ran out of tokens. 5784cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; 5794cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5804cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_paren: 5814cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested parens. 5824cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5834cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 58414b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_paren, Toks, /*StopAtSemi=*/false); 5854cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5864cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_square: 5874cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested square brackets. 5884cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5894cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 59014b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_square, Toks, /*StopAtSemi=*/false); 5914cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5924cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::l_brace: 5934cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Recursively consume properly-nested braces. 5944cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 5954cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 59614b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis ConsumeAndStoreUntil(tok::r_brace, Toks, /*StopAtSemi=*/false); 5974cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 5984cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 5994cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Okay, we found a ']' or '}' or ')', which we think should be balanced. 6004cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // Since the user wasn't looking for this token (if they were, it would 6014cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // already be handled), this isn't balanced. If there is a LHS token at a 6024cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // higher level, we will assume that this matches the unbalanced token 6034cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // and return it. Otherwise, this is a spurious RHS token, which we skip. 6044cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_paren: 6054cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (ParenCount && !isFirstTokenConsumed) 6064cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 6074cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 6084cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeParen(); 6094cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 6104cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_square: 6114cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BracketCount && !isFirstTokenConsumed) 6124cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 6134cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 6144cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBracket(); 6154cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 6164cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::r_brace: 6174cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis if (BraceCount && !isFirstTokenConsumed) 6184cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis return false; // Matches something. 6194cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 6204cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeBrace(); 6214cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 6224cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis 6237d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis case tok::code_completion: 6247d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis Toks.push_back(Tok); 6257d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis ConsumeCodeCompletionToken(); 6267d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis break; 6277d100872341f233c81e1d7b72b40457e62c36862Argyrios Kyrtzidis 6284cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::string_literal: 6294cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis case tok::wide_string_literal: 6305cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf8_string_literal: 6315cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf16_string_literal: 6325cee1195584fa8672253139c86e922daeda69b9eDouglas Gregor case tok::utf32_string_literal: 6334cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 6344cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeStringToken(); 6354cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 63614b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis case tok::semi: 63714b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis if (StopAtSemi) 63814b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis return false; 63914b91628961ab50cc6e724bbcd408fdee100662dArgyrios Kyrtzidis // FALL THROUGH. 6404cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis default: 6414cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis // consume this token. 6424cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis Toks.push_back(Tok); 6434cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis ConsumeToken(); 6444cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis break; 6454cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 6464cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis isFirstTokenConsumed = false; 6474cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis } 6484cc18a4d5222e04bd568b1e3e4d86127dbbcdf3fArgyrios Kyrtzidis} 6496df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 6506df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// \brief Consume tokens and store them in the passed token container until 6516df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// we've passed the try keyword and constructor initializers and have consumed 652a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl/// the opening brace of the function body. The opening brace will be consumed 653a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl/// if and only if there was no error. 6546df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl/// 65554ca069d1526df84a48a3974871a7c4f46549651Richard Smith/// \return True on error. 656a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redlbool Parser::ConsumeAndStoreFunctionPrologue(CachedTokens &Toks) { 6576df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl if (Tok.is(tok::kw_try)) { 6586df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl Toks.push_back(Tok); 6596df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl ConsumeToken(); 6606df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 6616df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 66254ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.isNot(tok::colon)) { 66354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Easy case, just a function body. 6646df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 66554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Grab any remaining garbage to be diagnosed later. We stop when we reach a 66654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // brace: an opening one is the function body, while a closing one probably 66754ca069d1526df84a48a3974871a7c4f46549651Richard Smith // means we've reached the end of the class. 66854ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeAndStoreUntil(tok::l_brace, tok::r_brace, Toks, 66954ca069d1526df84a48a3974871a7c4f46549651Richard Smith /*StopAtSemi=*/true, 67054ca069d1526df84a48a3974871a7c4f46549651Richard Smith /*ConsumeFinalToken=*/false); 67154ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.isNot(tok::l_brace)) 67254ca069d1526df84a48a3974871a7c4f46549651Richard Smith return Diag(Tok.getLocation(), diag::err_expected_lbrace); 673e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman 67454ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 67554ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeBrace(); 67654ca069d1526df84a48a3974871a7c4f46549651Richard Smith return false; 67754ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 6786df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 67954ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 68054ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeToken(); 68154ca069d1526df84a48a3974871a7c4f46549651Richard Smith 68254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // We can't reliably skip over a mem-initializer-id, because it could be 68354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // a template-id involving not-yet-declared names. Given: 68454ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 68554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // S ( ) : a < b < c > ( e ) 68654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 68754ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 'e' might be an initializer or part of a template argument, depending 68854ca069d1526df84a48a3974871a7c4f46549651Richard Smith // on whether 'b' is a template. 68954ca069d1526df84a48a3974871a7c4f46549651Richard Smith 69054ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Track whether we might be inside a template argument. We can give 69154ca069d1526df84a48a3974871a7c4f46549651Richard Smith // significantly better diagnostics if we know that we're not. 69254ca069d1526df84a48a3974871a7c4f46549651Richard Smith bool MightBeTemplateArgument = false; 69354ca069d1526df84a48a3974871a7c4f46549651Richard Smith 69454ca069d1526df84a48a3974871a7c4f46549651Richard Smith while (true) { 69554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Skip over the mem-initializer-id, if possible. 69654ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::kw_decltype)) { 69754ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 69854ca069d1526df84a48a3974871a7c4f46549651Richard Smith SourceLocation OpenLoc = ConsumeToken(); 69954ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.isNot(tok::l_paren)) 70054ca069d1526df84a48a3974871a7c4f46549651Richard Smith return Diag(Tok.getLocation(), diag::err_expected_lparen_after) 70154ca069d1526df84a48a3974871a7c4f46549651Richard Smith << "decltype"; 70254ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 70354ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeParen(); 70454ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (!ConsumeAndStoreUntil(tok::r_paren, Toks, /*StopAtSemi=*/true)) { 70554ca069d1526df84a48a3974871a7c4f46549651Richard Smith Diag(Tok.getLocation(), diag::err_expected_rparen); 70654ca069d1526df84a48a3974871a7c4f46549651Richard Smith Diag(OpenLoc, diag::note_matching) << "("; 7076df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl return true; 708e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman } 70954ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 71054ca069d1526df84a48a3974871a7c4f46549651Richard Smith do { 71154ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Walk over a component of a nested-name-specifier. 71254ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::coloncolon)) { 713e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman Toks.push_back(Tok); 714e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman ConsumeToken(); 71554ca069d1526df84a48a3974871a7c4f46549651Richard Smith 71654ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::kw_template)) { 71754ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 71854ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeToken(); 71954ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 720e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman } 721a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl 72254ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::identifier) || Tok.is(tok::kw_template)) { 723a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl Toks.push_back(Tok); 724a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl ConsumeToken(); 72554ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else if (Tok.is(tok::code_completion)) { 72654ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 72754ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeCodeCompletionToken(); 72854ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Consume the rest of the initializers permissively. 72954ca069d1526df84a48a3974871a7c4f46549651Richard Smith // FIXME: We should be able to perform code-completion here even if 73054ca069d1526df84a48a3974871a7c4f46549651Richard Smith // there isn't a subsequent '{' token. 73154ca069d1526df84a48a3974871a7c4f46549651Richard Smith MightBeTemplateArgument = true; 73254ca069d1526df84a48a3974871a7c4f46549651Richard Smith break; 73354ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else { 734e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman break; 735a891a32d3762ee641a29c091d286f2a7432671a5Sebastian Redl } 73654ca069d1526df84a48a3974871a7c4f46549651Richard Smith } while (Tok.is(tok::coloncolon)); 73754ca069d1526df84a48a3974871a7c4f46549651Richard Smith 73854ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::less)) 73954ca069d1526df84a48a3974871a7c4f46549651Richard Smith MightBeTemplateArgument = true; 74054ca069d1526df84a48a3974871a7c4f46549651Richard Smith 74154ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (MightBeTemplateArgument) { 74254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // We may be inside a template argument list. Grab up to the start of the 74354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // next parenthesized initializer or braced-init-list. This *might* be the 74454ca069d1526df84a48a3974871a7c4f46549651Richard Smith // initializer, or it might be a subexpression in the template argument 74554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // list. 74654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // FIXME: Count angle brackets, and clear MightBeTemplateArgument 74754ca069d1526df84a48a3974871a7c4f46549651Richard Smith // if all angles are closed. 74854ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (!ConsumeAndStoreUntil(tok::l_paren, tok::l_brace, Toks, 74954ca069d1526df84a48a3974871a7c4f46549651Richard Smith /*StopAtSemi=*/true, 75054ca069d1526df84a48a3974871a7c4f46549651Richard Smith /*ConsumeFinalToken=*/false)) { 75154ca069d1526df84a48a3974871a7c4f46549651Richard Smith // We're not just missing the initializer, we're also missing the 75254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // function body! 75354ca069d1526df84a48a3974871a7c4f46549651Richard Smith return Diag(Tok.getLocation(), diag::err_expected_lbrace); 75454ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 75554ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else if (Tok.isNot(tok::l_paren) && Tok.isNot(tok::l_brace)) { 75654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // We found something weird in a mem-initializer-id. 75754ca069d1526df84a48a3974871a7c4f46549651Richard Smith return Diag(Tok.getLocation(), getLangOpts().CPlusPlus11 75854ca069d1526df84a48a3974871a7c4f46549651Richard Smith ? diag::err_expected_lparen_or_lbrace 75954ca069d1526df84a48a3974871a7c4f46549651Richard Smith : diag::err_expected_lparen); 76054ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 76154ca069d1526df84a48a3974871a7c4f46549651Richard Smith 76254ca069d1526df84a48a3974871a7c4f46549651Richard Smith tok::TokenKind kind = Tok.getKind(); 76354ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 76454ca069d1526df84a48a3974871a7c4f46549651Richard Smith bool IsLParen = (kind == tok::l_paren); 76554ca069d1526df84a48a3974871a7c4f46549651Richard Smith SourceLocation OpenLoc = Tok.getLocation(); 76654ca069d1526df84a48a3974871a7c4f46549651Richard Smith 76754ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (IsLParen) { 76854ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeParen(); 76954ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else { 77054ca069d1526df84a48a3974871a7c4f46549651Richard Smith assert(kind == tok::l_brace && "Must be left paren or brace here."); 77154ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeBrace(); 77254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // In C++03, this has to be the start of the function body, which 77354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // means the initializer is malformed; we'll diagnose it later. 77454ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (!getLangOpts().CPlusPlus11) 77554ca069d1526df84a48a3974871a7c4f46549651Richard Smith return false; 77654ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 77754ca069d1526df84a48a3974871a7c4f46549651Richard Smith 77854ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Grab the initializer (or the subexpression of the template argument). 77954ca069d1526df84a48a3974871a7c4f46549651Richard Smith // FIXME: If we support lambdas here, we'll need to set StopAtSemi to false 78054ca069d1526df84a48a3974871a7c4f46549651Richard Smith // if we might be inside the braces of a lambda-expression. 78154ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (!ConsumeAndStoreUntil(IsLParen ? tok::r_paren : tok::r_brace, 78254ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks, /*StopAtSemi=*/true)) { 78354ca069d1526df84a48a3974871a7c4f46549651Richard Smith Diag(Tok, IsLParen ? diag::err_expected_rparen : 78454ca069d1526df84a48a3974871a7c4f46549651Richard Smith diag::err_expected_rbrace); 78554ca069d1526df84a48a3974871a7c4f46549651Richard Smith Diag(OpenLoc, diag::note_matching) << (IsLParen ? "(" : "{"); 78654ca069d1526df84a48a3974871a7c4f46549651Richard Smith return true; 7876df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl } 7886df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl 78954ca069d1526df84a48a3974871a7c4f46549651Richard Smith // Grab pack ellipsis, if present. 79054ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::ellipsis)) { 79154ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 79254ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeToken(); 79354ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 79454ca069d1526df84a48a3974871a7c4f46549651Richard Smith 79554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // If we know we just consumed a mem-initializer, we must have ',' or '{' 79654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // next. 79754ca069d1526df84a48a3974871a7c4f46549651Richard Smith if (Tok.is(tok::comma)) { 79854ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 79954ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeToken(); 80054ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else if (Tok.is(tok::l_brace)) { 80154ca069d1526df84a48a3974871a7c4f46549651Richard Smith // This is the function body if the ')' or '}' is immediately followed by 80254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // a '{'. That cannot happen within a template argument, apart from the 80354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // case where a template argument contains a compound literal: 80454ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 80554ca069d1526df84a48a3974871a7c4f46549651Richard Smith // S ( ) : a < b < c > ( d ) { } 80654ca069d1526df84a48a3974871a7c4f46549651Richard Smith // // End of declaration, or still inside the template argument? 80754ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 80854ca069d1526df84a48a3974871a7c4f46549651Richard Smith // ... and the case where the template argument contains a lambda: 80954ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 81054ca069d1526df84a48a3974871a7c4f46549651Richard Smith // S ( ) : a < 0 && b < c > ( d ) + [ ] ( ) { return 0; } 81154ca069d1526df84a48a3974871a7c4f46549651Richard Smith // ( ) > ( ) { } 81254ca069d1526df84a48a3974871a7c4f46549651Richard Smith // 81354ca069d1526df84a48a3974871a7c4f46549651Richard Smith // FIXME: Disambiguate these cases. Note that the latter case is probably 81454ca069d1526df84a48a3974871a7c4f46549651Richard Smith // going to be made ill-formed by core issue 1607. 81554ca069d1526df84a48a3974871a7c4f46549651Richard Smith Toks.push_back(Tok); 81654ca069d1526df84a48a3974871a7c4f46549651Richard Smith ConsumeBrace(); 81754ca069d1526df84a48a3974871a7c4f46549651Richard Smith return false; 81854ca069d1526df84a48a3974871a7c4f46549651Richard Smith } else if (!MightBeTemplateArgument) { 819e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman return Diag(Tok.getLocation(), diag::err_expected_lbrace_or_comma); 82054ca069d1526df84a48a3974871a7c4f46549651Richard Smith } 821e9ee382c32a83e9807a2fe4cfd52b5a11169a4b8Eli Friedman } 8226df6548e44a61c444bd85dccd0398cba047c79b1Sebastian Redl} 823