blob: 7598ff79969be21425a0af8caad6ec0d6ac07413 [file] [log] [blame]
Chris Lattnereb8a28f2006-08-10 18:43:39 +00001//===--- Parser.cpp - C Language Family Parser ----------------------------===//
Chris Lattner0bb5f832006-07-31 01:59:18 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner5b12ab82007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Chris Lattner0bb5f832006-07-31 01:59:18 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Parser interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
Daniel Dunbarc74b5cc2008-08-11 03:45:03 +000015#include "clang/Basic/Diagnostic.h"
Chris Lattner288e86ff12006-11-11 23:03:42 +000016#include "clang/Parse/DeclSpec.h"
Chris Lattner971c6b62006-08-05 22:46:42 +000017#include "clang/Parse/Scope.h"
Chris Lattner0bb5f832006-07-31 01:59:18 +000018using namespace clang;
19
Chris Lattner697e5d62006-11-09 06:32:27 +000020Parser::Parser(Preprocessor &pp, Action &actions)
21 : PP(pp), Actions(actions), Diags(PP.getDiagnostics()) {
Chris Lattner8c204872006-10-14 05:19:21 +000022 Tok.setKind(tok::eof);
Chris Lattnere4e38592006-08-14 00:15:05 +000023 CurScope = 0;
Chris Lattner03928c72007-07-15 00:04:39 +000024 NumCachedScopes = 0;
Chris Lattnereec40f92006-08-06 21:55:29 +000025 ParenCount = BracketCount = BraceCount = 0;
Ted Kremenek1b0ea822008-01-07 19:49:32 +000026 ObjCImpDecl = 0;
Argyrios Kyrtzidis7bbb20e2008-06-24 22:12:16 +000027 // Instantiate a LexedMethodsForTopClass for all the non-nested classes.
28 PushTopClassStack();
Chris Lattner971c6b62006-08-05 22:46:42 +000029}
30
Chris Lattner685ed1e2006-08-14 00:22:04 +000031/// Out-of-line virtual destructor to provide home for Action class.
32Action::~Action() {}
Chris Lattnere4e38592006-08-14 00:15:05 +000033
Chris Lattner0bb5f832006-07-31 01:59:18 +000034
Chris Lattner197a3012008-08-05 06:19:09 +000035bool Parser::Diag(SourceLocation Loc, unsigned DiagID,
Chris Lattner0bb5f832006-07-31 01:59:18 +000036 const std::string &Msg) {
Ted Kremenek1daa3cf2007-12-12 22:39:36 +000037 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, &Msg, 1);
Chris Lattner197a3012008-08-05 06:19:09 +000038 return true;
Chris Lattner0bb5f832006-07-31 01:59:18 +000039}
40
Argyrios Kyrtzidis26da1f42008-08-24 12:51:04 +000041bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg,
Argyrios Kyrtzidisbf667e22008-08-24 13:14:02 +000042 const SourceRange& Range) {
Argyrios Kyrtzidis26da1f42008-08-24 12:51:04 +000043 Diags.Report(PP.getFullLoc(Loc), DiagID, &Msg, 1, &Range,1);
44 return true;
45}
46
Chris Lattner197a3012008-08-05 06:19:09 +000047bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const SourceRange &R) {
Chris Lattner9acd2f12008-07-26 00:16:04 +000048 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, 0, 0,
49 &R, 1);
Chris Lattner197a3012008-08-05 06:19:09 +000050 return true;
Chris Lattner9acd2f12008-07-26 00:16:04 +000051}
52
53
Chris Lattner4564bc12006-08-10 23:14:52 +000054/// MatchRHSPunctuation - For punctuation with a LHS and RHS (e.g. '['/']'),
55/// this helper function matches and consumes the specified RHS token if
56/// present. If not present, it emits the specified diagnostic indicating
57/// that the parser failed to match the RHS of the token at LHSLoc. LHSName
58/// should be the name of the unmatched LHS token.
Chris Lattner71e23ce2006-11-04 20:18:38 +000059SourceLocation Parser::MatchRHSPunctuation(tok::TokenKind RHSTok,
60 SourceLocation LHSLoc) {
Mike Stump01e07652008-06-19 19:28:49 +000061
Chris Lattner0ab032a2007-10-09 17:23:58 +000062 if (Tok.is(RHSTok))
Chris Lattner71e23ce2006-11-04 20:18:38 +000063 return ConsumeAnyToken();
Mike Stump01e07652008-06-19 19:28:49 +000064
Chris Lattner71e23ce2006-11-04 20:18:38 +000065 SourceLocation R = Tok.getLocation();
66 const char *LHSName = "unknown";
67 diag::kind DID = diag::err_parse_error;
68 switch (RHSTok) {
69 default: break;
70 case tok::r_paren : LHSName = "("; DID = diag::err_expected_rparen; break;
71 case tok::r_brace : LHSName = "{"; DID = diag::err_expected_rbrace; break;
72 case tok::r_square: LHSName = "["; DID = diag::err_expected_rsquare; break;
Chris Lattner29375652006-12-04 18:06:35 +000073 case tok::greater: LHSName = "<"; DID = diag::err_expected_greater; break;
Chris Lattner4564bc12006-08-10 23:14:52 +000074 }
Chris Lattner71e23ce2006-11-04 20:18:38 +000075 Diag(Tok, DID);
76 Diag(LHSLoc, diag::err_matching, LHSName);
77 SkipUntil(RHSTok);
78 return R;
Chris Lattner4564bc12006-08-10 23:14:52 +000079}
80
Chris Lattnerdbb2a462006-08-12 19:26:13 +000081/// ExpectAndConsume - The parser expects that 'ExpectedTok' is next in the
82/// input. If so, it is consumed and false is returned.
83///
84/// If the input is malformed, this emits the specified diagnostic. Next, if
85/// SkipToTok is specified, it calls SkipUntil(SkipToTok). Finally, true is
86/// returned.
87bool Parser::ExpectAndConsume(tok::TokenKind ExpectedTok, unsigned DiagID,
Chris Lattner6d7e6342006-08-15 03:41:14 +000088 const char *Msg, tok::TokenKind SkipToTok) {
Chris Lattner0ab032a2007-10-09 17:23:58 +000089 if (Tok.is(ExpectedTok)) {
Chris Lattner15a00da2006-08-15 04:10:31 +000090 ConsumeAnyToken();
Chris Lattnerdbb2a462006-08-12 19:26:13 +000091 return false;
92 }
Mike Stump01e07652008-06-19 19:28:49 +000093
Chris Lattner6d7e6342006-08-15 03:41:14 +000094 Diag(Tok, DiagID, Msg);
Chris Lattnerdbb2a462006-08-12 19:26:13 +000095 if (SkipToTok != tok::unknown)
96 SkipUntil(SkipToTok);
97 return true;
98}
99
Chris Lattner70f32b72006-07-31 05:09:04 +0000100//===----------------------------------------------------------------------===//
Chris Lattnereec40f92006-08-06 21:55:29 +0000101// Error recovery.
102//===----------------------------------------------------------------------===//
103
104/// SkipUntil - Read tokens until we get to the specified token, then consume
Chris Lattner01e4b242007-07-24 17:03:04 +0000105/// it (unless DontConsume is true). Because we cannot guarantee that the
Chris Lattnereec40f92006-08-06 21:55:29 +0000106/// token will ever occur, this skips to the next token, or to some likely
107/// good stopping point. If StopAtSemi is true, skipping will stop at a ';'
108/// character.
Mike Stump01e07652008-06-19 19:28:49 +0000109///
Chris Lattnereec40f92006-08-06 21:55:29 +0000110/// If SkipUntil finds the specified token, it returns true, otherwise it
Mike Stump01e07652008-06-19 19:28:49 +0000111/// returns false.
Chris Lattner83b94e02007-04-27 19:12:15 +0000112bool Parser::SkipUntil(const tok::TokenKind *Toks, unsigned NumToks,
113 bool StopAtSemi, bool DontConsume) {
Chris Lattner5bd57e02006-08-11 06:40:25 +0000114 // We always want this function to skip at least one token if the first token
115 // isn't T and if not at EOF.
116 bool isFirstTokenSkipped = true;
Chris Lattnereec40f92006-08-06 21:55:29 +0000117 while (1) {
Chris Lattner83b94e02007-04-27 19:12:15 +0000118 // If we found one of the tokens, stop and return true.
119 for (unsigned i = 0; i != NumToks; ++i) {
Chris Lattner0ab032a2007-10-09 17:23:58 +0000120 if (Tok.is(Toks[i])) {
Chris Lattner83b94e02007-04-27 19:12:15 +0000121 if (DontConsume) {
122 // Noop, don't consume the token.
123 } else {
124 ConsumeAnyToken();
125 }
126 return true;
Chris Lattnereec40f92006-08-06 21:55:29 +0000127 }
Chris Lattnereec40f92006-08-06 21:55:29 +0000128 }
Mike Stump01e07652008-06-19 19:28:49 +0000129
Chris Lattnereec40f92006-08-06 21:55:29 +0000130 switch (Tok.getKind()) {
131 case tok::eof:
132 // Ran out of tokens.
133 return false;
Mike Stump01e07652008-06-19 19:28:49 +0000134
Chris Lattnereec40f92006-08-06 21:55:29 +0000135 case tok::l_paren:
136 // Recursively skip properly-nested parens.
137 ConsumeParen();
Chris Lattner5bd57e02006-08-11 06:40:25 +0000138 SkipUntil(tok::r_paren, false);
Chris Lattnereec40f92006-08-06 21:55:29 +0000139 break;
140 case tok::l_square:
141 // Recursively skip properly-nested square brackets.
142 ConsumeBracket();
Chris Lattner5bd57e02006-08-11 06:40:25 +0000143 SkipUntil(tok::r_square, false);
Chris Lattnereec40f92006-08-06 21:55:29 +0000144 break;
145 case tok::l_brace:
146 // Recursively skip properly-nested braces.
147 ConsumeBrace();
Chris Lattner5bd57e02006-08-11 06:40:25 +0000148 SkipUntil(tok::r_brace, false);
Chris Lattnereec40f92006-08-06 21:55:29 +0000149 break;
Mike Stump01e07652008-06-19 19:28:49 +0000150
Chris Lattnereec40f92006-08-06 21:55:29 +0000151 // Okay, we found a ']' or '}' or ')', which we think should be balanced.
152 // Since the user wasn't looking for this token (if they were, it would
153 // already be handled), this isn't balanced. If there is a LHS token at a
154 // higher level, we will assume that this matches the unbalanced token
155 // and return it. Otherwise, this is a spurious RHS token, which we skip.
156 case tok::r_paren:
Chris Lattner5bd57e02006-08-11 06:40:25 +0000157 if (ParenCount && !isFirstTokenSkipped)
158 return false; // Matches something.
Chris Lattnereec40f92006-08-06 21:55:29 +0000159 ConsumeParen();
160 break;
161 case tok::r_square:
Chris Lattner5bd57e02006-08-11 06:40:25 +0000162 if (BracketCount && !isFirstTokenSkipped)
163 return false; // Matches something.
Chris Lattnereec40f92006-08-06 21:55:29 +0000164 ConsumeBracket();
165 break;
166 case tok::r_brace:
Chris Lattner5bd57e02006-08-11 06:40:25 +0000167 if (BraceCount && !isFirstTokenSkipped)
168 return false; // Matches something.
Chris Lattnereec40f92006-08-06 21:55:29 +0000169 ConsumeBrace();
170 break;
Mike Stump01e07652008-06-19 19:28:49 +0000171
Chris Lattnereec40f92006-08-06 21:55:29 +0000172 case tok::string_literal:
Chris Lattnerd3e98952006-10-06 05:22:26 +0000173 case tok::wide_string_literal:
Chris Lattnereec40f92006-08-06 21:55:29 +0000174 ConsumeStringToken();
175 break;
176 case tok::semi:
177 if (StopAtSemi)
178 return false;
179 // FALL THROUGH.
180 default:
181 // Skip this token.
182 ConsumeToken();
183 break;
184 }
Chris Lattner5bd57e02006-08-11 06:40:25 +0000185 isFirstTokenSkipped = false;
Mike Stump01e07652008-06-19 19:28:49 +0000186 }
Chris Lattnereec40f92006-08-06 21:55:29 +0000187}
188
189//===----------------------------------------------------------------------===//
Chris Lattnere4e38592006-08-14 00:15:05 +0000190// Scope manipulation
191//===----------------------------------------------------------------------===//
192
193/// EnterScope - Start a new scope.
Chris Lattner33ad2ca2006-11-05 23:47:55 +0000194void Parser::EnterScope(unsigned ScopeFlags) {
Chris Lattner03928c72007-07-15 00:04:39 +0000195 if (NumCachedScopes) {
196 Scope *N = ScopeCache[--NumCachedScopes];
Chris Lattnerb6a0e172006-11-06 00:22:42 +0000197 N->Init(CurScope, ScopeFlags);
198 CurScope = N;
199 } else {
200 CurScope = new Scope(CurScope, ScopeFlags);
201 }
Chris Lattnere4e38592006-08-14 00:15:05 +0000202}
203
204/// ExitScope - Pop a scope off the scope stack.
205void Parser::ExitScope() {
206 assert(CurScope && "Scope imbalance!");
207
Chris Lattner87547e62007-10-09 20:37:18 +0000208 // Inform the actions module that this scope is going away if there are any
209 // decls in it.
210 if (!CurScope->decl_empty())
Steve Naroffc62adb62007-10-09 22:01:59 +0000211 Actions.ActOnPopScope(Tok.getLocation(), CurScope);
Mike Stump01e07652008-06-19 19:28:49 +0000212
Chris Lattner03928c72007-07-15 00:04:39 +0000213 Scope *OldScope = CurScope;
214 CurScope = OldScope->getParent();
Mike Stump01e07652008-06-19 19:28:49 +0000215
Chris Lattner03928c72007-07-15 00:04:39 +0000216 if (NumCachedScopes == ScopeCacheSize)
217 delete OldScope;
Chris Lattnerb6a0e172006-11-06 00:22:42 +0000218 else
Chris Lattner03928c72007-07-15 00:04:39 +0000219 ScopeCache[NumCachedScopes++] = OldScope;
Chris Lattnere4e38592006-08-14 00:15:05 +0000220}
221
222
223
224
225//===----------------------------------------------------------------------===//
Chris Lattner70f32b72006-07-31 05:09:04 +0000226// C99 6.9: External Definitions.
227//===----------------------------------------------------------------------===//
Chris Lattner0bb5f832006-07-31 01:59:18 +0000228
Chris Lattnerb6a0e172006-11-06 00:22:42 +0000229Parser::~Parser() {
230 // If we still have scopes active, delete the scope tree.
231 delete CurScope;
Mike Stump01e07652008-06-19 19:28:49 +0000232
Chris Lattnerb6a0e172006-11-06 00:22:42 +0000233 // Free the scope cache.
Chris Lattner03928c72007-07-15 00:04:39 +0000234 for (unsigned i = 0, e = NumCachedScopes; i != e; ++i)
235 delete ScopeCache[i];
Chris Lattnerb6a0e172006-11-06 00:22:42 +0000236}
237
Chris Lattner38ba3362006-08-17 07:04:37 +0000238/// Initialize - Warm up the parser.
239///
240void Parser::Initialize() {
Chris Lattnere4e38592006-08-14 00:15:05 +0000241 // Prime the lexer look-ahead.
242 ConsumeToken();
Mike Stump01e07652008-06-19 19:28:49 +0000243
Chris Lattner1a76a3c2007-08-26 06:24:45 +0000244 // Create the translation unit scope. Install it as the current scope.
Chris Lattnere4e38592006-08-14 00:15:05 +0000245 assert(CurScope == 0 && "A scope is already active?");
Chris Lattner1a76a3c2007-08-26 06:24:45 +0000246 EnterScope(Scope::DeclScope);
Steve Naroffc62adb62007-10-09 22:01:59 +0000247 Actions.ActOnTranslationUnitScope(Tok.getLocation(), CurScope);
Mike Stump01e07652008-06-19 19:28:49 +0000248
Chris Lattner0ab032a2007-10-09 17:23:58 +0000249 if (Tok.is(tok::eof) &&
Chris Lattner66b67ef2007-08-25 05:47:03 +0000250 !getLang().CPlusPlus) // Empty source file is an extension in C
Chris Lattnerbd638922006-11-10 05:19:25 +0000251 Diag(Tok, diag::ext_empty_source_file);
Mike Stump01e07652008-06-19 19:28:49 +0000252
Chris Lattner66782842007-08-29 22:54:08 +0000253 // Initialization for Objective-C context sensitive keywords recognition.
Ted Kremenek1b0ea822008-01-07 19:49:32 +0000254 // Referenced in Parser::ParseObjCTypeQualifierList.
Chris Lattner66782842007-08-29 22:54:08 +0000255 if (getLang().ObjC1) {
Ted Kremenek1b0ea822008-01-07 19:49:32 +0000256 ObjCTypeQuals[objc_in] = &PP.getIdentifierTable().get("in");
257 ObjCTypeQuals[objc_out] = &PP.getIdentifierTable().get("out");
258 ObjCTypeQuals[objc_inout] = &PP.getIdentifierTable().get("inout");
259 ObjCTypeQuals[objc_oneway] = &PP.getIdentifierTable().get("oneway");
260 ObjCTypeQuals[objc_bycopy] = &PP.getIdentifierTable().get("bycopy");
261 ObjCTypeQuals[objc_byref] = &PP.getIdentifierTable().get("byref");
Chris Lattner66782842007-08-29 22:54:08 +0000262 }
Fariborz Jahanian9fca6df2007-08-31 16:11:31 +0000263 if (getLang().ObjC2) {
Ted Kremenek1b0ea822008-01-07 19:49:32 +0000264 ObjCPropertyAttrs[objc_readonly] = &PP.getIdentifierTable().get("readonly");
265 ObjCPropertyAttrs[objc_getter] = &PP.getIdentifierTable().get("getter");
266 ObjCPropertyAttrs[objc_setter] = &PP.getIdentifierTable().get("setter");
267 ObjCPropertyAttrs[objc_assign] = &PP.getIdentifierTable().get("assign");
Mike Stump01e07652008-06-19 19:28:49 +0000268 ObjCPropertyAttrs[objc_readwrite] =
Fariborz Jahanian9fca6df2007-08-31 16:11:31 +0000269 &PP.getIdentifierTable().get("readwrite");
Ted Kremenek1b0ea822008-01-07 19:49:32 +0000270 ObjCPropertyAttrs[objc_retain] = &PP.getIdentifierTable().get("retain");
271 ObjCPropertyAttrs[objc_copy] = &PP.getIdentifierTable().get("copy");
Mike Stump01e07652008-06-19 19:28:49 +0000272 ObjCPropertyAttrs[objc_nonatomic] =
Fariborz Jahanian9fca6df2007-08-31 16:11:31 +0000273 &PP.getIdentifierTable().get("nonatomic");
274 }
Daniel Dunbar12c9ddc2008-08-14 22:04:54 +0000275
276 Ident_super = &PP.getIdentifierTable().get("super");
Chris Lattner38ba3362006-08-17 07:04:37 +0000277}
278
279/// ParseTopLevelDecl - Parse one top-level declaration, return whatever the
280/// action tells us to. This returns true if the EOF was encountered.
Steve Naroff205ec3d2007-11-29 23:05:20 +0000281bool Parser::ParseTopLevelDecl(DeclTy*& Result) {
282 Result = 0;
Chris Lattnerf4404402008-08-23 03:19:52 +0000283 if (Tok.is(tok::eof)) {
284 Actions.ActOnEndOfTranslationUnit();
285 return true;
286 }
Mike Stump01e07652008-06-19 19:28:49 +0000287
Steve Naroff205ec3d2007-11-29 23:05:20 +0000288 Result = ParseExternalDeclaration();
Chris Lattner38ba3362006-08-17 07:04:37 +0000289 return false;
290}
291
Chris Lattner38ba3362006-08-17 07:04:37 +0000292/// ParseTranslationUnit:
293/// translation-unit: [C99 6.9]
Mike Stump01e07652008-06-19 19:28:49 +0000294/// external-declaration
295/// translation-unit external-declaration
Chris Lattner38ba3362006-08-17 07:04:37 +0000296void Parser::ParseTranslationUnit() {
Chris Lattner9e8c0572008-08-23 02:06:50 +0000297 Initialize(); // pushes a scope.
Mike Stump01e07652008-06-19 19:28:49 +0000298
Steve Naroff205ec3d2007-11-29 23:05:20 +0000299 DeclTy *Res;
300 while (!ParseTopLevelDecl(Res))
Chris Lattner38ba3362006-08-17 07:04:37 +0000301 /*parse them all*/;
Chris Lattner2cc35ae2008-08-23 02:00:52 +0000302
303 ExitScope();
304 assert(CurScope == 0 && "Scope imbalance!");
Chris Lattner38ba3362006-08-17 07:04:37 +0000305}
306
Chris Lattner0bb5f832006-07-31 01:59:18 +0000307/// ParseExternalDeclaration:
Chris Lattner70f32b72006-07-31 05:09:04 +0000308/// external-declaration: [C99 6.9]
Chris Lattnercccc3112007-08-10 20:57:02 +0000309/// function-definition
310/// declaration
Chris Lattner0bb5f832006-07-31 01:59:18 +0000311/// [EXT] ';'
Chris Lattner6d7e6342006-08-15 03:41:14 +0000312/// [GNU] asm-definition
Chris Lattnercccc3112007-08-10 20:57:02 +0000313/// [GNU] __extension__ external-declaration
Chris Lattner40f16b52006-11-05 02:05:37 +0000314/// [OBJC] objc-class-definition
315/// [OBJC] objc-class-declaration
316/// [OBJC] objc-alias-declaration
317/// [OBJC] objc-protocol-definition
318/// [OBJC] objc-method-definition
319/// [OBJC] @end
Chris Lattner0bb5f832006-07-31 01:59:18 +0000320///
Chris Lattner6d7e6342006-08-15 03:41:14 +0000321/// [GNU] asm-definition:
322/// simple-asm-expr ';'
323///
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000324Parser::DeclTy *Parser::ParseExternalDeclaration() {
Chris Lattner0bb5f832006-07-31 01:59:18 +0000325 switch (Tok.getKind()) {
326 case tok::semi:
Chris Lattnerbd638922006-11-10 05:19:25 +0000327 Diag(Tok, diag::ext_top_level_semi);
Chris Lattner0bb5f832006-07-31 01:59:18 +0000328 ConsumeToken();
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000329 // TODO: Invoke action for top-level semicolon.
330 return 0;
Chris Lattnercccc3112007-08-10 20:57:02 +0000331 case tok::kw___extension__: {
332 ConsumeToken();
333 // FIXME: Disable extension warnings.
334 DeclTy *RV = ParseExternalDeclaration();
335 // FIXME: Restore extension warnings.
336 return RV;
337 }
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000338 case tok::kw_asm: {
339 ExprResult Result = ParseSimpleAsm();
Mike Stump01e07652008-06-19 19:28:49 +0000340
Anders Carlsson0fae4f52008-02-08 00:23:11 +0000341 ExpectAndConsume(tok::semi, diag::err_expected_semi_after,
342 "top-level asm block");
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000343
344 if (!Result.isInvalid)
345 return Actions.ActOnFileScopeAsmDecl(Tok.getLocation(), Result.Val);
Chris Lattnera120a522008-05-27 23:32:43 +0000346 return 0;
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000347 }
Steve Naroffb419d3a2006-10-27 23:18:49 +0000348 case tok::at:
Chris Lattnerc24278d2007-05-02 23:45:06 +0000349 // @ is not a legal token unless objc is enabled, no need to check.
Steve Naroffacb1e742007-09-10 20:51:04 +0000350 return ParseObjCAtDirectives();
Steve Naroffb419d3a2006-10-27 23:18:49 +0000351 case tok::minus:
Steve Naroffb419d3a2006-10-27 23:18:49 +0000352 case tok::plus:
Fariborz Jahanian85e1d0d2007-11-10 16:31:34 +0000353 if (getLang().ObjC1)
Steve Naroff7b8fa472007-11-13 23:01:27 +0000354 return ParseObjCMethodDefinition();
Fariborz Jahanian85e1d0d2007-11-10 16:31:34 +0000355 else {
Chris Lattnerc24278d2007-05-02 23:45:06 +0000356 Diag(Tok, diag::err_expected_external_declaration);
357 ConsumeToken();
358 }
Steve Naroffb419d3a2006-10-27 23:18:49 +0000359 return 0;
Chris Lattnera5235172007-08-25 06:57:03 +0000360 case tok::kw_namespace:
Chris Lattner302b4be2006-11-19 02:31:38 +0000361 case tok::kw_typedef:
Chris Lattner479ed3a2007-08-25 18:15:16 +0000362 // A function definition cannot start with a these keywords.
Chris Lattner302b4be2006-11-19 02:31:38 +0000363 return ParseDeclaration(Declarator::FileContext);
Chris Lattner0bb5f832006-07-31 01:59:18 +0000364 default:
365 // We can't tell whether this is a function-definition or declaration yet.
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000366 return ParseDeclarationOrFunctionDefinition();
Chris Lattner0bb5f832006-07-31 01:59:18 +0000367 }
368}
369
370/// ParseDeclarationOrFunctionDefinition - Parse either a function-definition or
Chris Lattner70f32b72006-07-31 05:09:04 +0000371/// a declaration. We can't tell which we have until we read up to the
372/// compound-statement in function-definition.
Chris Lattner0bb5f832006-07-31 01:59:18 +0000373///
Chris Lattner70f32b72006-07-31 05:09:04 +0000374/// function-definition: [C99 6.9.1]
Chris Lattner94fc8062008-04-05 05:52:15 +0000375/// decl-specs declarator declaration-list[opt] compound-statement
376/// [C90] function-definition: [C99 6.7.1] - implicit int result
Mike Stump01e07652008-06-19 19:28:49 +0000377/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Chris Lattner94fc8062008-04-05 05:52:15 +0000378///
Chris Lattner70f32b72006-07-31 05:09:04 +0000379/// declaration: [C99 6.7]
Chris Lattnerf2659392007-08-22 06:06:56 +0000380/// declaration-specifiers init-declarator-list[opt] ';'
381/// [!C99] init-declarator-list ';' [TODO: warn in c99 mode]
Chris Lattner70f32b72006-07-31 05:09:04 +0000382/// [OMP] threadprivate-directive [TODO]
383///
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000384Parser::DeclTy *Parser::ParseDeclarationOrFunctionDefinition() {
Chris Lattner70f32b72006-07-31 05:09:04 +0000385 // Parse the common declaration-specifiers piece.
Chris Lattnerb9093cd2006-08-04 04:39:53 +0000386 DeclSpec DS;
387 ParseDeclarationSpecifiers(DS);
Mike Stump01e07652008-06-19 19:28:49 +0000388
Chris Lattnerd2864882006-08-05 08:09:44 +0000389 // C99 6.7.2.3p6: Handle "struct-or-union identifier;", "enum { X };"
Chris Lattner53361ac2006-08-10 05:19:57 +0000390 // declaration-specifiers init-declarator-list[opt] ';'
Chris Lattner0ab032a2007-10-09 17:23:58 +0000391 if (Tok.is(tok::semi)) {
Chris Lattner0e894622006-08-13 19:58:17 +0000392 ConsumeToken();
Chris Lattner200bdc32006-11-19 02:43:37 +0000393 return Actions.ParsedFreeStandingDeclSpec(CurScope, DS);
Chris Lattner0e894622006-08-13 19:58:17 +0000394 }
Mike Stump01e07652008-06-19 19:28:49 +0000395
Steve Naroff4e1f80d2007-08-23 19:56:30 +0000396 // ObjC2 allows prefix attributes on class interfaces.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000397 if (getLang().ObjC2 && Tok.is(tok::at)) {
Steve Naroff1eb1ad62007-08-20 21:31:48 +0000398 SourceLocation AtLoc = ConsumeToken(); // the "@"
Chris Lattner5e530bc2007-12-27 19:57:00 +0000399 if (!Tok.isObjCAtKeyword(tok::objc_interface)) {
400 Diag(Tok, diag::err_objc_expected_property_attr);//FIXME:better diagnostic
401 SkipUntil(tok::semi); // FIXME: better skip?
402 return 0;
403 }
Fariborz Jahanian056e3a42008-01-02 19:17:38 +0000404 const char *PrevSpec = 0;
405 if (DS.SetTypeSpecType(DeclSpec::TST_unspecified, AtLoc, PrevSpec))
406 Diag(AtLoc, diag::err_invalid_decl_spec_combination, PrevSpec);
Mike Stump01e07652008-06-19 19:28:49 +0000407 return ParseObjCAtInterfaceDeclaration(AtLoc, DS.getAttributes());
Steve Naroff1eb1ad62007-08-20 21:31:48 +0000408 }
Mike Stump01e07652008-06-19 19:28:49 +0000409
Chris Lattner38376f12008-01-12 07:05:38 +0000410 // If the declspec consisted only of 'extern' and we have a string
411 // literal following it, this must be a C++ linkage specifier like
412 // 'extern "C"'.
Chris Lattner65531e82008-01-12 07:08:43 +0000413 if (Tok.is(tok::string_literal) && getLang().CPlusPlus &&
Chris Lattner38376f12008-01-12 07:05:38 +0000414 DS.getStorageClassSpec() == DeclSpec::SCS_extern &&
415 DS.getParsedSpecifiers() == DeclSpec::PQ_StorageClassSpecifier)
416 return ParseLinkage(Declarator::FileContext);
417
Chris Lattnerfff824f2006-08-07 06:31:38 +0000418 // Parse the first declarator.
419 Declarator DeclaratorInfo(DS, Declarator::FileContext);
420 ParseDeclarator(DeclaratorInfo);
421 // Error parsing the declarator?
422 if (DeclaratorInfo.getIdentifier() == 0) {
423 // If so, skip until the semi-colon or a }.
424 SkipUntil(tok::r_brace, true);
Chris Lattner0ab032a2007-10-09 17:23:58 +0000425 if (Tok.is(tok::semi))
Chris Lattnerfff824f2006-08-07 06:31:38 +0000426 ConsumeToken();
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000427 return 0;
Chris Lattnerfff824f2006-08-07 06:31:38 +0000428 }
Chris Lattner70f32b72006-07-31 05:09:04 +0000429
Chris Lattnerfff824f2006-08-07 06:31:38 +0000430 // If the declarator is the start of a function definition, handle it.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000431 if (Tok.is(tok::equal) || // int X()= -> not a function def
432 Tok.is(tok::comma) || // int X(), -> not a function def
433 Tok.is(tok::semi) || // int X(); -> not a function def
434 Tok.is(tok::kw_asm) || // int X() __asm__ -> not a function def
435 Tok.is(tok::kw___attribute)) { // int X() __attr__ -> not a function def
Chris Lattnerfff824f2006-08-07 06:31:38 +0000436 // FALL THROUGH.
Chris Lattnera11999d2006-10-15 22:34:45 +0000437 } else if (DeclaratorInfo.isFunctionDeclarator() &&
Argyrios Kyrtzidise6aff3d2008-06-21 10:00:56 +0000438 (Tok.is(tok::l_brace) || // int X() {}
439 ( !getLang().CPlusPlus &&
440 isDeclarationSpecifier() ))) { // int X(f) int f; {}
Steve Narofff6319972008-02-14 02:58:32 +0000441 if (DS.getStorageClassSpec() == DeclSpec::SCS_typedef) {
442 Diag(Tok, diag::err_function_declared_typedef);
Mike Stump01e07652008-06-19 19:28:49 +0000443
Steve Narofff6319972008-02-14 02:58:32 +0000444 if (Tok.is(tok::l_brace)) {
445 // This recovery skips the entire function body. It would be nice
Mike Stump01e07652008-06-19 19:28:49 +0000446 // to simply call ParseFunctionDefintion() below, however Sema
Steve Narofff6319972008-02-14 02:58:32 +0000447 // assumes the declarator represents a function, not a typedef.
448 ConsumeBrace();
449 SkipUntil(tok::r_brace, true);
450 } else {
451 SkipUntil(tok::semi);
452 }
453 return 0;
454 }
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000455 return ParseFunctionDefinition(DeclaratorInfo);
Chris Lattnerfff824f2006-08-07 06:31:38 +0000456 } else {
Chris Lattnera11999d2006-10-15 22:34:45 +0000457 if (DeclaratorInfo.isFunctionDeclarator())
Chris Lattnerfff824f2006-08-07 06:31:38 +0000458 Diag(Tok, diag::err_expected_fn_body);
459 else
460 Diag(Tok, diag::err_expected_after_declarator);
Chris Lattnere4e38592006-08-14 00:15:05 +0000461 SkipUntil(tok::semi);
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000462 return 0;
Chris Lattnerfff824f2006-08-07 06:31:38 +0000463 }
Chris Lattnerd9c3c592006-08-05 06:26:47 +0000464
Chris Lattner53361ac2006-08-10 05:19:57 +0000465 // Parse the init-declarator-list for a normal declaration.
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000466 return ParseInitDeclaratorListAfterFirstDeclarator(DeclaratorInfo);
Chris Lattner70f32b72006-07-31 05:09:04 +0000467}
468
Chris Lattnerfff824f2006-08-07 06:31:38 +0000469/// ParseFunctionDefinition - We parsed and verified that the specified
470/// Declarator is well formed. If this is a K&R-style function, read the
471/// parameters declaration-list, then start the compound-statement.
472///
Chris Lattner94fc8062008-04-05 05:52:15 +0000473/// function-definition: [C99 6.9.1]
474/// decl-specs declarator declaration-list[opt] compound-statement
475/// [C90] function-definition: [C99 6.7.1] - implicit int result
Mike Stump01e07652008-06-19 19:28:49 +0000476/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Chris Lattnerfff824f2006-08-07 06:31:38 +0000477///
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000478Parser::DeclTy *Parser::ParseFunctionDefinition(Declarator &D) {
Chris Lattnercbc426d2006-12-02 06:43:02 +0000479 const DeclaratorChunk &FnTypeInfo = D.getTypeObject(0);
480 assert(FnTypeInfo.Kind == DeclaratorChunk::Function &&
Chris Lattnerfff824f2006-08-07 06:31:38 +0000481 "This isn't a function declarator!");
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000482 const DeclaratorChunk::FunctionTypeInfo &FTI = FnTypeInfo.Fun;
Mike Stump01e07652008-06-19 19:28:49 +0000483
Chris Lattner94fc8062008-04-05 05:52:15 +0000484 // If this is C90 and the declspecs were completely missing, fudge in an
485 // implicit int. We do this here because this is the only place where
486 // declaration-specifiers are completely optional in the grammar.
Chris Lattner9d51f2b2008-04-05 06:32:51 +0000487 if (getLang().ImplicitInt && D.getDeclSpec().getParsedSpecifiers() == 0) {
Chris Lattner94fc8062008-04-05 05:52:15 +0000488 const char *PrevSpec;
Chris Lattnercf31de32008-06-26 06:49:43 +0000489 D.getMutableDeclSpec().SetTypeSpecType(DeclSpec::TST_int, D.getIdentifierLoc(),
Chris Lattner94fc8062008-04-05 05:52:15 +0000490 PrevSpec);
491 }
Mike Stump01e07652008-06-19 19:28:49 +0000492
Chris Lattnerfff824f2006-08-07 06:31:38 +0000493 // If this declaration was formed with a K&R-style identifier list for the
494 // arguments, parse declarations for all of the args next.
495 // int foo(a,b) int a; float b; {}
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000496 if (!FTI.hasPrototype && FTI.NumArgs != 0)
497 ParseKNRParamDeclarations(D);
Chris Lattnerfff824f2006-08-07 06:31:38 +0000498
Chris Lattner0ccd51e2006-08-09 05:47:47 +0000499 // We should have an opening brace now.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000500 if (Tok.isNot(tok::l_brace)) {
Chris Lattner0ccd51e2006-08-09 05:47:47 +0000501 Diag(Tok, diag::err_expected_fn_body);
502
503 // Skip over garbage, until we get to '{'. Don't eat the '{'.
504 SkipUntil(tok::l_brace, true, true);
Mike Stump01e07652008-06-19 19:28:49 +0000505
Chris Lattner0ccd51e2006-08-09 05:47:47 +0000506 // If we didn't find the '{', bail out.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000507 if (Tok.isNot(tok::l_brace))
Chris Lattner2dacc3f2006-10-16 00:33:54 +0000508 return 0;
Chris Lattner0ccd51e2006-08-09 05:47:47 +0000509 }
Mike Stump01e07652008-06-19 19:28:49 +0000510
Chris Lattnera55a2cc2007-10-09 17:14:05 +0000511 SourceLocation BraceLoc = Tok.getLocation();
Mike Stump01e07652008-06-19 19:28:49 +0000512
Chris Lattnera55a2cc2007-10-09 17:14:05 +0000513 // Enter a scope for the function body.
514 EnterScope(Scope::FnScope|Scope::DeclScope);
Mike Stump01e07652008-06-19 19:28:49 +0000515
Chris Lattnera55a2cc2007-10-09 17:14:05 +0000516 // Tell the actions module that we have entered a function definition with the
517 // specified Declarator for the function.
518 DeclTy *Res = Actions.ActOnStartOfFunctionDef(CurScope, D);
Mike Stump01e07652008-06-19 19:28:49 +0000519
520 return ParseFunctionStatementBody(Res, BraceLoc, BraceLoc);
Chris Lattnerfff824f2006-08-07 06:31:38 +0000521}
522
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000523/// ParseKNRParamDeclarations - Parse 'declaration-list[opt]' which provides
524/// types for a function with a K&R-style identifier list for arguments.
525void Parser::ParseKNRParamDeclarations(Declarator &D) {
526 // We know that the top-level of this declarator is a function.
527 DeclaratorChunk::FunctionTypeInfo &FTI = D.getTypeObject(0).Fun;
528
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000529 // Enter function-declaration scope, limiting any declarators to the
530 // function prototype scope, including parameter declarators.
Eli Friedman2460b0c2008-05-20 09:10:20 +0000531 EnterScope(Scope::FnScope|Scope::DeclScope);
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000532
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000533 // Read all the argument declarations.
534 while (isDeclarationSpecifier()) {
535 SourceLocation DSStart = Tok.getLocation();
Mike Stump01e07652008-06-19 19:28:49 +0000536
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000537 // Parse the common declaration-specifiers piece.
538 DeclSpec DS;
539 ParseDeclarationSpecifiers(DS);
Mike Stump01e07652008-06-19 19:28:49 +0000540
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000541 // C99 6.9.1p6: 'each declaration in the declaration list shall have at
542 // least one declarator'.
543 // NOTE: GCC just makes this an ext-warn. It's not clear what it does with
544 // the declarations though. It's trivial to ignore them, really hard to do
545 // anything else with them.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000546 if (Tok.is(tok::semi)) {
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000547 Diag(DSStart, diag::err_declaration_does_not_declare_param);
548 ConsumeToken();
549 continue;
550 }
Mike Stump01e07652008-06-19 19:28:49 +0000551
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000552 // C99 6.9.1p6: Declarations shall contain no storage-class specifiers other
553 // than register.
554 if (DS.getStorageClassSpec() != DeclSpec::SCS_unspecified &&
555 DS.getStorageClassSpec() != DeclSpec::SCS_register) {
556 Diag(DS.getStorageClassSpecLoc(),
557 diag::err_invalid_storage_class_in_func_decl);
558 DS.ClearStorageClassSpecs();
559 }
560 if (DS.isThreadSpecified()) {
561 Diag(DS.getThreadSpecLoc(),
562 diag::err_invalid_storage_class_in_func_decl);
563 DS.ClearStorageClassSpecs();
564 }
Mike Stump01e07652008-06-19 19:28:49 +0000565
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000566 // Parse the first declarator attached to this declspec.
567 Declarator ParmDeclarator(DS, Declarator::KNRTypeListContext);
568 ParseDeclarator(ParmDeclarator);
569
570 // Handle the full declarator list.
571 while (1) {
Steve Naroff0f2fe172007-06-01 17:11:19 +0000572 DeclTy *AttrList;
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000573 // If attributes are present, parse them.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000574 if (Tok.is(tok::kw___attribute))
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000575 // FIXME: attach attributes too.
Steve Naroff0f2fe172007-06-01 17:11:19 +0000576 AttrList = ParseAttributes();
Mike Stump01e07652008-06-19 19:28:49 +0000577
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000578 // Ask the actions module to compute the type for this declarator.
Mike Stump01e07652008-06-19 19:28:49 +0000579 Action::DeclTy *Param =
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000580 Actions.ActOnParamDeclarator(CurScope, ParmDeclarator);
Steve Naroffacb1e742007-09-10 20:51:04 +0000581
Mike Stump01e07652008-06-19 19:28:49 +0000582 if (Param &&
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000583 // A missing identifier has already been diagnosed.
584 ParmDeclarator.getIdentifier()) {
585
586 // Scan the argument list looking for the correct param to apply this
587 // type.
588 for (unsigned i = 0; ; ++i) {
589 // C99 6.9.1p6: those declarators shall declare only identifiers from
590 // the identifier list.
591 if (i == FTI.NumArgs) {
592 Diag(ParmDeclarator.getIdentifierLoc(), diag::err_no_matching_param,
593 ParmDeclarator.getIdentifier()->getName());
594 break;
595 }
Mike Stump01e07652008-06-19 19:28:49 +0000596
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000597 if (FTI.ArgInfo[i].Ident == ParmDeclarator.getIdentifier()) {
598 // Reject redefinitions of parameters.
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000599 if (FTI.ArgInfo[i].Param) {
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000600 Diag(ParmDeclarator.getIdentifierLoc(),
601 diag::err_param_redefinition,
602 ParmDeclarator.getIdentifier()->getName());
603 } else {
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000604 FTI.ArgInfo[i].Param = Param;
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000605 }
606 break;
607 }
608 }
609 }
610
611 // If we don't have a comma, it is either the end of the list (a ';') or
612 // an error, bail out.
Chris Lattner0ab032a2007-10-09 17:23:58 +0000613 if (Tok.isNot(tok::comma))
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000614 break;
Mike Stump01e07652008-06-19 19:28:49 +0000615
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000616 // Consume the comma.
617 ConsumeToken();
Mike Stump01e07652008-06-19 19:28:49 +0000618
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000619 // Parse the next declarator.
620 ParmDeclarator.clear();
621 ParseDeclarator(ParmDeclarator);
622 }
Mike Stump01e07652008-06-19 19:28:49 +0000623
Chris Lattner0ab032a2007-10-09 17:23:58 +0000624 if (Tok.is(tok::semi)) {
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000625 ConsumeToken();
626 } else {
627 Diag(Tok, diag::err_parse_error);
628 // Skip to end of block or statement
629 SkipUntil(tok::semi, true);
Chris Lattner0ab032a2007-10-09 17:23:58 +0000630 if (Tok.is(tok::semi))
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000631 ConsumeToken();
632 }
633 }
Mike Stump01e07652008-06-19 19:28:49 +0000634
Chris Lattneraa9c7ae2008-04-08 04:40:51 +0000635 // Leave prototype scope.
636 ExitScope();
637
Chris Lattner5c5fbcc2006-12-03 08:41:30 +0000638 // The actions module must verify that all arguments were declared.
639}
640
641
Chris Lattner0116c472006-08-15 06:03:28 +0000642/// ParseAsmStringLiteral - This is just a normal string-literal, but is not
643/// allowed to be a wide string, and is not subject to character translation.
644///
645/// [GNU] asm-string-literal:
646/// string-literal
647///
Anders Carlsson81a5a692007-11-20 19:21:03 +0000648Parser::ExprResult Parser::ParseAsmStringLiteral() {
Chris Lattnerd3e98952006-10-06 05:22:26 +0000649 if (!isTokenStringLiteral()) {
Chris Lattner0116c472006-08-15 06:03:28 +0000650 Diag(Tok, diag::err_expected_string_literal);
Anders Carlsson81a5a692007-11-20 19:21:03 +0000651 return true;
Chris Lattner0116c472006-08-15 06:03:28 +0000652 }
Mike Stump01e07652008-06-19 19:28:49 +0000653
Chris Lattner0116c472006-08-15 06:03:28 +0000654 ExprResult Res = ParseStringLiteralExpression();
Anders Carlsson81a5a692007-11-20 19:21:03 +0000655 if (Res.isInvalid) return true;
Mike Stump01e07652008-06-19 19:28:49 +0000656
Chris Lattner0116c472006-08-15 06:03:28 +0000657 // TODO: Diagnose: wide string literal in 'asm'
Mike Stump01e07652008-06-19 19:28:49 +0000658
Anders Carlsson81a5a692007-11-20 19:21:03 +0000659 return Res;
Chris Lattner0116c472006-08-15 06:03:28 +0000660}
661
Chris Lattner6d7e6342006-08-15 03:41:14 +0000662/// ParseSimpleAsm
663///
664/// [GNU] simple-asm-expr:
665/// 'asm' '(' asm-string-literal ')'
Chris Lattner6d7e6342006-08-15 03:41:14 +0000666///
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000667Parser::ExprResult Parser::ParseSimpleAsm() {
Chris Lattner0ab032a2007-10-09 17:23:58 +0000668 assert(Tok.is(tok::kw_asm) && "Not an asm!");
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000669 SourceLocation Loc = ConsumeToken();
Mike Stump01e07652008-06-19 19:28:49 +0000670
Chris Lattner0ab032a2007-10-09 17:23:58 +0000671 if (Tok.isNot(tok::l_paren)) {
Chris Lattner6d7e6342006-08-15 03:41:14 +0000672 Diag(Tok, diag::err_expected_lparen_after, "asm");
Chris Lattnera120a522008-05-27 23:32:43 +0000673 return true;
Chris Lattner6d7e6342006-08-15 03:41:14 +0000674 }
Mike Stump01e07652008-06-19 19:28:49 +0000675
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000676 ConsumeParen();
Mike Stump01e07652008-06-19 19:28:49 +0000677
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000678 ExprResult Result = ParseAsmStringLiteral();
Mike Stump01e07652008-06-19 19:28:49 +0000679
Daniel Dunbar4983df32008-08-05 01:35:17 +0000680 if (Result.isInvalid) {
681 SkipUntil(tok::r_paren);
682 } else {
683 MatchRHSPunctuation(tok::r_paren, Loc);
684 }
Mike Stump01e07652008-06-19 19:28:49 +0000685
Anders Carlsson5c6c0592008-02-08 00:33:21 +0000686 return Result;
Chris Lattner6d7e6342006-08-15 03:41:14 +0000687}
Steve Naroffb419d3a2006-10-27 23:18:49 +0000688