blob: 7598ff79969be21425a0af8caad6ec0d6ac07413 [file] [log] [blame]
Chris Lattner4b009652007-07-25 00:24:17 +00001//===--- Parser.cpp - C Language Family Parser ----------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner959e5be2007-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 Lattner4b009652007-07-25 00:24:17 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Parser interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
Daniel Dunbarcc7b1602008-08-11 03:45:03 +000015#include "clang/Basic/Diagnostic.h"
Chris Lattner4b009652007-07-25 00:24:17 +000016#include "clang/Parse/DeclSpec.h"
17#include "clang/Parse/Scope.h"
18using namespace clang;
19
20Parser::Parser(Preprocessor &pp, Action &actions)
21 : PP(pp), Actions(actions), Diags(PP.getDiagnostics()) {
22 Tok.setKind(tok::eof);
23 CurScope = 0;
24 NumCachedScopes = 0;
25 ParenCount = BracketCount = BraceCount = 0;
Ted Kremenek42730c52008-01-07 19:49:32 +000026 ObjCImpDecl = 0;
Argiris Kirtzidis9d784332008-06-24 22:12:16 +000027 // Instantiate a LexedMethodsForTopClass for all the non-nested classes.
28 PushTopClassStack();
Chris Lattner4b009652007-07-25 00:24:17 +000029}
30
31/// Out-of-line virtual destructor to provide home for Action class.
32Action::~Action() {}
33
34
Chris Lattnerf9311a92008-08-05 06:19:09 +000035bool Parser::Diag(SourceLocation Loc, unsigned DiagID,
Chris Lattner4b009652007-07-25 00:24:17 +000036 const std::string &Msg) {
Ted Kremenekd7f64cd2007-12-12 22:39:36 +000037 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, &Msg, 1);
Chris Lattnerf9311a92008-08-05 06:19:09 +000038 return true;
Chris Lattner4b009652007-07-25 00:24:17 +000039}
40
Argiris Kirtzidis42aedde2008-08-24 12:51:04 +000041bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg,
Argiris Kirtzidiscb6d4122008-08-24 13:14:02 +000042 const SourceRange& Range) {
Argiris Kirtzidis42aedde2008-08-24 12:51:04 +000043 Diags.Report(PP.getFullLoc(Loc), DiagID, &Msg, 1, &Range,1);
44 return true;
45}
46
Chris Lattnerf9311a92008-08-05 06:19:09 +000047bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const SourceRange &R) {
Chris Lattnerda8aad92008-07-26 00:16:04 +000048 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, 0, 0,
49 &R, 1);
Chris Lattnerf9311a92008-08-05 06:19:09 +000050 return true;
Chris Lattnerda8aad92008-07-26 00:16:04 +000051}
52
53
Chris Lattner4b009652007-07-25 00:24:17 +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.
59SourceLocation Parser::MatchRHSPunctuation(tok::TokenKind RHSTok,
60 SourceLocation LHSLoc) {
Mike Stumpeda58eb2008-06-19 19:28:49 +000061
Chris Lattner17a5fb62007-10-09 17:23:58 +000062 if (Tok.is(RHSTok))
Chris Lattner4b009652007-07-25 00:24:17 +000063 return ConsumeAnyToken();
Mike Stumpeda58eb2008-06-19 19:28:49 +000064
Chris Lattner4b009652007-07-25 00:24:17 +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;
73 case tok::greater: LHSName = "<"; DID = diag::err_expected_greater; break;
74 }
75 Diag(Tok, DID);
76 Diag(LHSLoc, diag::err_matching, LHSName);
77 SkipUntil(RHSTok);
78 return R;
79}
80
81/// 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,
88 const char *Msg, tok::TokenKind SkipToTok) {
Chris Lattner17a5fb62007-10-09 17:23:58 +000089 if (Tok.is(ExpectedTok)) {
Chris Lattner4b009652007-07-25 00:24:17 +000090 ConsumeAnyToken();
91 return false;
92 }
Mike Stumpeda58eb2008-06-19 19:28:49 +000093
Chris Lattner4b009652007-07-25 00:24:17 +000094 Diag(Tok, DiagID, Msg);
95 if (SkipToTok != tok::unknown)
96 SkipUntil(SkipToTok);
97 return true;
98}
99
100//===----------------------------------------------------------------------===//
101// Error recovery.
102//===----------------------------------------------------------------------===//
103
104/// SkipUntil - Read tokens until we get to the specified token, then consume
105/// it (unless DontConsume is true). Because we cannot guarantee that the
106/// 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 Stumpeda58eb2008-06-19 19:28:49 +0000109///
Chris Lattner4b009652007-07-25 00:24:17 +0000110/// If SkipUntil finds the specified token, it returns true, otherwise it
Mike Stumpeda58eb2008-06-19 19:28:49 +0000111/// returns false.
Chris Lattner4b009652007-07-25 00:24:17 +0000112bool Parser::SkipUntil(const tok::TokenKind *Toks, unsigned NumToks,
113 bool StopAtSemi, bool DontConsume) {
114 // 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;
117 while (1) {
118 // If we found one of the tokens, stop and return true.
119 for (unsigned i = 0; i != NumToks; ++i) {
Chris Lattner17a5fb62007-10-09 17:23:58 +0000120 if (Tok.is(Toks[i])) {
Chris Lattner4b009652007-07-25 00:24:17 +0000121 if (DontConsume) {
122 // Noop, don't consume the token.
123 } else {
124 ConsumeAnyToken();
125 }
126 return true;
127 }
128 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000129
Chris Lattner4b009652007-07-25 00:24:17 +0000130 switch (Tok.getKind()) {
131 case tok::eof:
132 // Ran out of tokens.
133 return false;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000134
Chris Lattner4b009652007-07-25 00:24:17 +0000135 case tok::l_paren:
136 // Recursively skip properly-nested parens.
137 ConsumeParen();
138 SkipUntil(tok::r_paren, false);
139 break;
140 case tok::l_square:
141 // Recursively skip properly-nested square brackets.
142 ConsumeBracket();
143 SkipUntil(tok::r_square, false);
144 break;
145 case tok::l_brace:
146 // Recursively skip properly-nested braces.
147 ConsumeBrace();
148 SkipUntil(tok::r_brace, false);
149 break;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000150
Chris Lattner4b009652007-07-25 00:24:17 +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:
157 if (ParenCount && !isFirstTokenSkipped)
158 return false; // Matches something.
159 ConsumeParen();
160 break;
161 case tok::r_square:
162 if (BracketCount && !isFirstTokenSkipped)
163 return false; // Matches something.
164 ConsumeBracket();
165 break;
166 case tok::r_brace:
167 if (BraceCount && !isFirstTokenSkipped)
168 return false; // Matches something.
169 ConsumeBrace();
170 break;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000171
Chris Lattner4b009652007-07-25 00:24:17 +0000172 case tok::string_literal:
173 case tok::wide_string_literal:
174 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 }
185 isFirstTokenSkipped = false;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000186 }
Chris Lattner4b009652007-07-25 00:24:17 +0000187}
188
189//===----------------------------------------------------------------------===//
190// Scope manipulation
191//===----------------------------------------------------------------------===//
192
193/// EnterScope - Start a new scope.
194void Parser::EnterScope(unsigned ScopeFlags) {
195 if (NumCachedScopes) {
196 Scope *N = ScopeCache[--NumCachedScopes];
197 N->Init(CurScope, ScopeFlags);
198 CurScope = N;
199 } else {
200 CurScope = new Scope(CurScope, ScopeFlags);
201 }
202}
203
204/// ExitScope - Pop a scope off the scope stack.
205void Parser::ExitScope() {
206 assert(CurScope && "Scope imbalance!");
207
Chris Lattner62231492007-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 Naroff9637a9b2007-10-09 22:01:59 +0000211 Actions.ActOnPopScope(Tok.getLocation(), CurScope);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000212
Chris Lattner4b009652007-07-25 00:24:17 +0000213 Scope *OldScope = CurScope;
214 CurScope = OldScope->getParent();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000215
Chris Lattner4b009652007-07-25 00:24:17 +0000216 if (NumCachedScopes == ScopeCacheSize)
217 delete OldScope;
218 else
219 ScopeCache[NumCachedScopes++] = OldScope;
220}
221
222
223
224
225//===----------------------------------------------------------------------===//
226// C99 6.9: External Definitions.
227//===----------------------------------------------------------------------===//
228
229Parser::~Parser() {
230 // If we still have scopes active, delete the scope tree.
231 delete CurScope;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000232
Chris Lattner4b009652007-07-25 00:24:17 +0000233 // Free the scope cache.
234 for (unsigned i = 0, e = NumCachedScopes; i != e; ++i)
235 delete ScopeCache[i];
236}
237
238/// Initialize - Warm up the parser.
239///
240void Parser::Initialize() {
241 // Prime the lexer look-ahead.
242 ConsumeToken();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000243
Chris Lattnera7549902007-08-26 06:24:45 +0000244 // Create the translation unit scope. Install it as the current scope.
Chris Lattner4b009652007-07-25 00:24:17 +0000245 assert(CurScope == 0 && "A scope is already active?");
Chris Lattnera7549902007-08-26 06:24:45 +0000246 EnterScope(Scope::DeclScope);
Steve Naroff9637a9b2007-10-09 22:01:59 +0000247 Actions.ActOnTranslationUnitScope(Tok.getLocation(), CurScope);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000248
Chris Lattner17a5fb62007-10-09 17:23:58 +0000249 if (Tok.is(tok::eof) &&
Chris Lattner7bdc85d2007-08-25 05:47:03 +0000250 !getLang().CPlusPlus) // Empty source file is an extension in C
Chris Lattner4b009652007-07-25 00:24:17 +0000251 Diag(Tok, diag::ext_empty_source_file);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000252
Chris Lattner32352462007-08-29 22:54:08 +0000253 // Initialization for Objective-C context sensitive keywords recognition.
Ted Kremenek42730c52008-01-07 19:49:32 +0000254 // Referenced in Parser::ParseObjCTypeQualifierList.
Chris Lattner32352462007-08-29 22:54:08 +0000255 if (getLang().ObjC1) {
Ted Kremenek42730c52008-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 Lattner32352462007-08-29 22:54:08 +0000262 }
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000263 if (getLang().ObjC2) {
Ted Kremenek42730c52008-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 Stumpeda58eb2008-06-19 19:28:49 +0000268 ObjCPropertyAttrs[objc_readwrite] =
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000269 &PP.getIdentifierTable().get("readwrite");
Ted Kremenek42730c52008-01-07 19:49:32 +0000270 ObjCPropertyAttrs[objc_retain] = &PP.getIdentifierTable().get("retain");
271 ObjCPropertyAttrs[objc_copy] = &PP.getIdentifierTable().get("copy");
Mike Stumpeda58eb2008-06-19 19:28:49 +0000272 ObjCPropertyAttrs[objc_nonatomic] =
Fariborz Jahanian6668b8c2007-08-31 16:11:31 +0000273 &PP.getIdentifierTable().get("nonatomic");
274 }
Daniel Dunbar4837ae72008-08-14 22:04:54 +0000275
276 Ident_super = &PP.getIdentifierTable().get("super");
Chris Lattner4b009652007-07-25 00:24:17 +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 Naroffca44ffd2007-11-29 23:05:20 +0000281bool Parser::ParseTopLevelDecl(DeclTy*& Result) {
282 Result = 0;
Chris Lattnerc1aea812008-08-23 03:19:52 +0000283 if (Tok.is(tok::eof)) {
284 Actions.ActOnEndOfTranslationUnit();
285 return true;
286 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000287
Steve Naroffca44ffd2007-11-29 23:05:20 +0000288 Result = ParseExternalDeclaration();
Chris Lattner4b009652007-07-25 00:24:17 +0000289 return false;
290}
291
Chris Lattner4b009652007-07-25 00:24:17 +0000292/// ParseTranslationUnit:
293/// translation-unit: [C99 6.9]
Mike Stumpeda58eb2008-06-19 19:28:49 +0000294/// external-declaration
295/// translation-unit external-declaration
Chris Lattner4b009652007-07-25 00:24:17 +0000296void Parser::ParseTranslationUnit() {
Chris Lattnerbd0f8f52008-08-23 02:06:50 +0000297 Initialize(); // pushes a scope.
Mike Stumpeda58eb2008-06-19 19:28:49 +0000298
Steve Naroffca44ffd2007-11-29 23:05:20 +0000299 DeclTy *Res;
300 while (!ParseTopLevelDecl(Res))
Chris Lattner4b009652007-07-25 00:24:17 +0000301 /*parse them all*/;
Chris Lattnerf7df4d12008-08-23 02:00:52 +0000302
303 ExitScope();
304 assert(CurScope == 0 && "Scope imbalance!");
Chris Lattner4b009652007-07-25 00:24:17 +0000305}
306
307/// ParseExternalDeclaration:
308/// external-declaration: [C99 6.9]
Chris Lattner06f4e752007-08-10 20:57:02 +0000309/// function-definition
310/// declaration
Chris Lattner4b009652007-07-25 00:24:17 +0000311/// [EXT] ';'
312/// [GNU] asm-definition
Chris Lattner06f4e752007-08-10 20:57:02 +0000313/// [GNU] __extension__ external-declaration
Chris Lattner4b009652007-07-25 00:24:17 +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
320///
321/// [GNU] asm-definition:
322/// simple-asm-expr ';'
323///
324Parser::DeclTy *Parser::ParseExternalDeclaration() {
325 switch (Tok.getKind()) {
326 case tok::semi:
327 Diag(Tok, diag::ext_top_level_semi);
328 ConsumeToken();
329 // TODO: Invoke action for top-level semicolon.
330 return 0;
Chris Lattner06f4e752007-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 Carlsson4f7f4412008-02-08 00:33:21 +0000338 case tok::kw_asm: {
339 ExprResult Result = ParseSimpleAsm();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000340
Anders Carlssonf41100b2008-02-08 00:23:11 +0000341 ExpectAndConsume(tok::semi, diag::err_expected_semi_after,
342 "top-level asm block");
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000343
344 if (!Result.isInvalid)
345 return Actions.ActOnFileScopeAsmDecl(Tok.getLocation(), Result.Val);
Chris Lattnerb36c3652008-05-27 23:32:43 +0000346 return 0;
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000347 }
Chris Lattner4b009652007-07-25 00:24:17 +0000348 case tok::at:
349 // @ is not a legal token unless objc is enabled, no need to check.
Steve Narofffaed3bf2007-09-10 20:51:04 +0000350 return ParseObjCAtDirectives();
Chris Lattner4b009652007-07-25 00:24:17 +0000351 case tok::minus:
Chris Lattner4b009652007-07-25 00:24:17 +0000352 case tok::plus:
Fariborz Jahaniane6f59f12007-11-10 16:31:34 +0000353 if (getLang().ObjC1)
Steve Naroff18c83382007-11-13 23:01:27 +0000354 return ParseObjCMethodDefinition();
Fariborz Jahaniane6f59f12007-11-10 16:31:34 +0000355 else {
Chris Lattner4b009652007-07-25 00:24:17 +0000356 Diag(Tok, diag::err_expected_external_declaration);
357 ConsumeToken();
358 }
359 return 0;
Chris Lattnerf7b2e552007-08-25 06:57:03 +0000360 case tok::kw_namespace:
Chris Lattner4b009652007-07-25 00:24:17 +0000361 case tok::kw_typedef:
Chris Lattner9c135722007-08-25 18:15:16 +0000362 // A function definition cannot start with a these keywords.
Chris Lattner4b009652007-07-25 00:24:17 +0000363 return ParseDeclaration(Declarator::FileContext);
364 default:
365 // We can't tell whether this is a function-definition or declaration yet.
366 return ParseDeclarationOrFunctionDefinition();
367 }
368}
369
370/// ParseDeclarationOrFunctionDefinition - Parse either a function-definition or
371/// a declaration. We can't tell which we have until we read up to the
372/// compound-statement in function-definition.
373///
374/// function-definition: [C99 6.9.1]
Chris Lattnera15e9d22008-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 Stumpeda58eb2008-06-19 19:28:49 +0000377/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Chris Lattnera15e9d22008-04-05 05:52:15 +0000378///
Chris Lattner4b009652007-07-25 00:24:17 +0000379/// declaration: [C99 6.7]
Chris Lattneraac973e2007-08-22 06:06:56 +0000380/// declaration-specifiers init-declarator-list[opt] ';'
381/// [!C99] init-declarator-list ';' [TODO: warn in c99 mode]
Chris Lattner4b009652007-07-25 00:24:17 +0000382/// [OMP] threadprivate-directive [TODO]
383///
384Parser::DeclTy *Parser::ParseDeclarationOrFunctionDefinition() {
385 // Parse the common declaration-specifiers piece.
386 DeclSpec DS;
387 ParseDeclarationSpecifiers(DS);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000388
Chris Lattner4b009652007-07-25 00:24:17 +0000389 // C99 6.7.2.3p6: Handle "struct-or-union identifier;", "enum { X };"
390 // declaration-specifiers init-declarator-list[opt] ';'
Chris Lattner17a5fb62007-10-09 17:23:58 +0000391 if (Tok.is(tok::semi)) {
Chris Lattner4b009652007-07-25 00:24:17 +0000392 ConsumeToken();
393 return Actions.ParsedFreeStandingDeclSpec(CurScope, DS);
394 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000395
Steve Naroffa7f62782007-08-23 19:56:30 +0000396 // ObjC2 allows prefix attributes on class interfaces.
Chris Lattner17a5fb62007-10-09 17:23:58 +0000397 if (getLang().ObjC2 && Tok.is(tok::at)) {
Steve Narofffb367882007-08-20 21:31:48 +0000398 SourceLocation AtLoc = ConsumeToken(); // the "@"
Chris Lattner847f5c12007-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 Jahanianf9c0a0d2008-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 Stumpeda58eb2008-06-19 19:28:49 +0000407 return ParseObjCAtInterfaceDeclaration(AtLoc, DS.getAttributes());
Steve Narofffb367882007-08-20 21:31:48 +0000408 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000409
Chris Lattner806a5f52008-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 Lattner1b5c9f72008-01-12 07:08:43 +0000413 if (Tok.is(tok::string_literal) && getLang().CPlusPlus &&
Chris Lattner806a5f52008-01-12 07:05:38 +0000414 DS.getStorageClassSpec() == DeclSpec::SCS_extern &&
415 DS.getParsedSpecifiers() == DeclSpec::PQ_StorageClassSpecifier)
416 return ParseLinkage(Declarator::FileContext);
417
Chris Lattner4b009652007-07-25 00:24:17 +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 Lattner17a5fb62007-10-09 17:23:58 +0000425 if (Tok.is(tok::semi))
Chris Lattner4b009652007-07-25 00:24:17 +0000426 ConsumeToken();
427 return 0;
428 }
429
430 // If the declarator is the start of a function definition, handle it.
Chris Lattner17a5fb62007-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 Lattner4b009652007-07-25 00:24:17 +0000436 // FALL THROUGH.
437 } else if (DeclaratorInfo.isFunctionDeclarator() &&
Argiris Kirtzidisd1346a52008-06-21 10:00:56 +0000438 (Tok.is(tok::l_brace) || // int X() {}
439 ( !getLang().CPlusPlus &&
440 isDeclarationSpecifier() ))) { // int X(f) int f; {}
Steve Naroff83298852008-02-14 02:58:32 +0000441 if (DS.getStorageClassSpec() == DeclSpec::SCS_typedef) {
442 Diag(Tok, diag::err_function_declared_typedef);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000443
Steve Naroff83298852008-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 Stumpeda58eb2008-06-19 19:28:49 +0000446 // to simply call ParseFunctionDefintion() below, however Sema
Steve Naroff83298852008-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 Lattner4b009652007-07-25 00:24:17 +0000455 return ParseFunctionDefinition(DeclaratorInfo);
456 } else {
457 if (DeclaratorInfo.isFunctionDeclarator())
458 Diag(Tok, diag::err_expected_fn_body);
459 else
460 Diag(Tok, diag::err_expected_after_declarator);
461 SkipUntil(tok::semi);
462 return 0;
463 }
464
465 // Parse the init-declarator-list for a normal declaration.
466 return ParseInitDeclaratorListAfterFirstDeclarator(DeclaratorInfo);
467}
468
469/// 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 Lattnera15e9d22008-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 Stumpeda58eb2008-06-19 19:28:49 +0000476/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Chris Lattner4b009652007-07-25 00:24:17 +0000477///
478Parser::DeclTy *Parser::ParseFunctionDefinition(Declarator &D) {
479 const DeclaratorChunk &FnTypeInfo = D.getTypeObject(0);
480 assert(FnTypeInfo.Kind == DeclaratorChunk::Function &&
481 "This isn't a function declarator!");
482 const DeclaratorChunk::FunctionTypeInfo &FTI = FnTypeInfo.Fun;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000483
Chris Lattnera15e9d22008-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 Lattner6ab935b2008-04-05 06:32:51 +0000487 if (getLang().ImplicitInt && D.getDeclSpec().getParsedSpecifiers() == 0) {
Chris Lattnera15e9d22008-04-05 05:52:15 +0000488 const char *PrevSpec;
Chris Lattner5e77ade2008-06-26 06:49:43 +0000489 D.getMutableDeclSpec().SetTypeSpecType(DeclSpec::TST_int, D.getIdentifierLoc(),
Chris Lattnera15e9d22008-04-05 05:52:15 +0000490 PrevSpec);
491 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000492
Chris Lattner4b009652007-07-25 00:24:17 +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; {}
496 if (!FTI.hasPrototype && FTI.NumArgs != 0)
497 ParseKNRParamDeclarations(D);
498
Chris Lattner4b009652007-07-25 00:24:17 +0000499 // We should have an opening brace now.
Chris Lattner17a5fb62007-10-09 17:23:58 +0000500 if (Tok.isNot(tok::l_brace)) {
Chris Lattner4b009652007-07-25 00:24:17 +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 Stumpeda58eb2008-06-19 19:28:49 +0000505
Chris Lattner4b009652007-07-25 00:24:17 +0000506 // If we didn't find the '{', bail out.
Chris Lattner17a5fb62007-10-09 17:23:58 +0000507 if (Tok.isNot(tok::l_brace))
Chris Lattner4b009652007-07-25 00:24:17 +0000508 return 0;
Chris Lattner4b009652007-07-25 00:24:17 +0000509 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000510
Chris Lattnerea148702007-10-09 17:14:05 +0000511 SourceLocation BraceLoc = Tok.getLocation();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000512
Chris Lattnerea148702007-10-09 17:14:05 +0000513 // Enter a scope for the function body.
514 EnterScope(Scope::FnScope|Scope::DeclScope);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000515
Chris Lattnerea148702007-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 Stumpeda58eb2008-06-19 19:28:49 +0000519
520 return ParseFunctionStatementBody(Res, BraceLoc, BraceLoc);
Chris Lattner4b009652007-07-25 00:24:17 +0000521}
522
523/// 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 Lattner3e254fb2008-04-08 04:40:51 +0000529 // Enter function-declaration scope, limiting any declarators to the
530 // function prototype scope, including parameter declarators.
Eli Friedman30165752008-05-20 09:10:20 +0000531 EnterScope(Scope::FnScope|Scope::DeclScope);
Chris Lattner3e254fb2008-04-08 04:40:51 +0000532
Chris Lattner4b009652007-07-25 00:24:17 +0000533 // Read all the argument declarations.
534 while (isDeclarationSpecifier()) {
535 SourceLocation DSStart = Tok.getLocation();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000536
Chris Lattner4b009652007-07-25 00:24:17 +0000537 // Parse the common declaration-specifiers piece.
538 DeclSpec DS;
539 ParseDeclarationSpecifiers(DS);
Mike Stumpeda58eb2008-06-19 19:28:49 +0000540
Chris Lattner4b009652007-07-25 00:24:17 +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 Lattner17a5fb62007-10-09 17:23:58 +0000546 if (Tok.is(tok::semi)) {
Chris Lattner4b009652007-07-25 00:24:17 +0000547 Diag(DSStart, diag::err_declaration_does_not_declare_param);
548 ConsumeToken();
549 continue;
550 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000551
Chris Lattner4b009652007-07-25 00:24:17 +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 Stumpeda58eb2008-06-19 19:28:49 +0000565
Chris Lattner4b009652007-07-25 00:24:17 +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) {
572 DeclTy *AttrList;
573 // If attributes are present, parse them.
Chris Lattner17a5fb62007-10-09 17:23:58 +0000574 if (Tok.is(tok::kw___attribute))
Chris Lattner4b009652007-07-25 00:24:17 +0000575 // FIXME: attach attributes too.
576 AttrList = ParseAttributes();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000577
Chris Lattner4b009652007-07-25 00:24:17 +0000578 // Ask the actions module to compute the type for this declarator.
Mike Stumpeda58eb2008-06-19 19:28:49 +0000579 Action::DeclTy *Param =
Chris Lattner3e254fb2008-04-08 04:40:51 +0000580 Actions.ActOnParamDeclarator(CurScope, ParmDeclarator);
Steve Narofffaed3bf2007-09-10 20:51:04 +0000581
Mike Stumpeda58eb2008-06-19 19:28:49 +0000582 if (Param &&
Chris Lattner4b009652007-07-25 00:24:17 +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 Stumpeda58eb2008-06-19 19:28:49 +0000596
Chris Lattner4b009652007-07-25 00:24:17 +0000597 if (FTI.ArgInfo[i].Ident == ParmDeclarator.getIdentifier()) {
598 // Reject redefinitions of parameters.
Chris Lattner3e254fb2008-04-08 04:40:51 +0000599 if (FTI.ArgInfo[i].Param) {
Chris Lattner4b009652007-07-25 00:24:17 +0000600 Diag(ParmDeclarator.getIdentifierLoc(),
601 diag::err_param_redefinition,
602 ParmDeclarator.getIdentifier()->getName());
603 } else {
Chris Lattner3e254fb2008-04-08 04:40:51 +0000604 FTI.ArgInfo[i].Param = Param;
Chris Lattner4b009652007-07-25 00:24:17 +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 Lattner17a5fb62007-10-09 17:23:58 +0000613 if (Tok.isNot(tok::comma))
Chris Lattner4b009652007-07-25 00:24:17 +0000614 break;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000615
Chris Lattner4b009652007-07-25 00:24:17 +0000616 // Consume the comma.
617 ConsumeToken();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000618
Chris Lattner4b009652007-07-25 00:24:17 +0000619 // Parse the next declarator.
620 ParmDeclarator.clear();
621 ParseDeclarator(ParmDeclarator);
622 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000623
Chris Lattner17a5fb62007-10-09 17:23:58 +0000624 if (Tok.is(tok::semi)) {
Chris Lattner4b009652007-07-25 00:24:17 +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 Lattner17a5fb62007-10-09 17:23:58 +0000630 if (Tok.is(tok::semi))
Chris Lattner4b009652007-07-25 00:24:17 +0000631 ConsumeToken();
632 }
633 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000634
Chris Lattner3e254fb2008-04-08 04:40:51 +0000635 // Leave prototype scope.
636 ExitScope();
637
Chris Lattner4b009652007-07-25 00:24:17 +0000638 // The actions module must verify that all arguments were declared.
639}
640
641
642/// 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 Carlsson076c1112007-11-20 19:21:03 +0000648Parser::ExprResult Parser::ParseAsmStringLiteral() {
Chris Lattner4b009652007-07-25 00:24:17 +0000649 if (!isTokenStringLiteral()) {
650 Diag(Tok, diag::err_expected_string_literal);
Anders Carlsson076c1112007-11-20 19:21:03 +0000651 return true;
Chris Lattner4b009652007-07-25 00:24:17 +0000652 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000653
Chris Lattner4b009652007-07-25 00:24:17 +0000654 ExprResult Res = ParseStringLiteralExpression();
Anders Carlsson076c1112007-11-20 19:21:03 +0000655 if (Res.isInvalid) return true;
Mike Stumpeda58eb2008-06-19 19:28:49 +0000656
Chris Lattner4b009652007-07-25 00:24:17 +0000657 // TODO: Diagnose: wide string literal in 'asm'
Mike Stumpeda58eb2008-06-19 19:28:49 +0000658
Anders Carlsson076c1112007-11-20 19:21:03 +0000659 return Res;
Chris Lattner4b009652007-07-25 00:24:17 +0000660}
661
662/// ParseSimpleAsm
663///
664/// [GNU] simple-asm-expr:
665/// 'asm' '(' asm-string-literal ')'
666///
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000667Parser::ExprResult Parser::ParseSimpleAsm() {
Chris Lattner17a5fb62007-10-09 17:23:58 +0000668 assert(Tok.is(tok::kw_asm) && "Not an asm!");
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000669 SourceLocation Loc = ConsumeToken();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000670
Chris Lattner17a5fb62007-10-09 17:23:58 +0000671 if (Tok.isNot(tok::l_paren)) {
Chris Lattner4b009652007-07-25 00:24:17 +0000672 Diag(Tok, diag::err_expected_lparen_after, "asm");
Chris Lattnerb36c3652008-05-27 23:32:43 +0000673 return true;
Chris Lattner4b009652007-07-25 00:24:17 +0000674 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000675
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000676 ConsumeParen();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000677
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000678 ExprResult Result = ParseAsmStringLiteral();
Mike Stumpeda58eb2008-06-19 19:28:49 +0000679
Daniel Dunbarc3540ff2008-08-05 01:35:17 +0000680 if (Result.isInvalid) {
681 SkipUntil(tok::r_paren);
682 } else {
683 MatchRHSPunctuation(tok::r_paren, Loc);
684 }
Mike Stumpeda58eb2008-06-19 19:28:49 +0000685
Anders Carlsson4f7f4412008-02-08 00:33:21 +0000686 return Result;
Chris Lattner4b009652007-07-25 00:24:17 +0000687}
688