blob: 7598ff79969be21425a0af8caad6ec0d6ac07413 [file] [log] [blame]
Reid Spencer5f016e22007-07-11 17:01:13 +00001//===--- Parser.cpp - C Language Family Parser ----------------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner0bc735f2007-12-29 19:59:25 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Reid Spencer5f016e22007-07-11 17:01:13 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the Parser interfaces.
11//
12//===----------------------------------------------------------------------===//
13
14#include "clang/Parse/Parser.h"
Daniel Dunbare4858a62008-08-11 03:45:03 +000015#include "clang/Basic/Diagnostic.h"
Reid Spencer5f016e22007-07-11 17:01:13 +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;
Chris Lattner9e344c62007-07-15 00:04:39 +000024 NumCachedScopes = 0;
Reid Spencer5f016e22007-07-11 17:01:13 +000025 ParenCount = BracketCount = BraceCount = 0;
Ted Kremeneka526c5c2008-01-07 19:49:32 +000026 ObjCImpDecl = 0;
Argyrios Kyrtzidis4cc18a42008-06-24 22:12:16 +000027 // Instantiate a LexedMethodsForTopClass for all the non-nested classes.
28 PushTopClassStack();
Reid Spencer5f016e22007-07-11 17:01:13 +000029}
30
31/// Out-of-line virtual destructor to provide home for Action class.
32Action::~Action() {}
33
34
Chris Lattner4fef81d2008-08-05 06:19:09 +000035bool Parser::Diag(SourceLocation Loc, unsigned DiagID,
Reid Spencer5f016e22007-07-11 17:01:13 +000036 const std::string &Msg) {
Ted Kremenek9c728dc2007-12-12 22:39:36 +000037 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, &Msg, 1);
Chris Lattner4fef81d2008-08-05 06:19:09 +000038 return true;
Reid Spencer5f016e22007-07-11 17:01:13 +000039}
40
Argyrios Kyrtzidis897e7a32008-08-24 12:51:04 +000041bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const std::string &Msg,
Argyrios Kyrtzidisa88b5092008-08-24 13:14:02 +000042 const SourceRange& Range) {
Argyrios Kyrtzidis897e7a32008-08-24 12:51:04 +000043 Diags.Report(PP.getFullLoc(Loc), DiagID, &Msg, 1, &Range,1);
44 return true;
45}
46
Chris Lattner4fef81d2008-08-05 06:19:09 +000047bool Parser::Diag(SourceLocation Loc, unsigned DiagID, const SourceRange &R) {
Chris Lattner844cef32008-07-26 00:16:04 +000048 Diags.Report(FullSourceLoc(Loc,PP.getSourceManager()), DiagID, 0, 0,
49 &R, 1);
Chris Lattner4fef81d2008-08-05 06:19:09 +000050 return true;
Chris Lattner844cef32008-07-26 00:16:04 +000051}
52
53
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +000061
Chris Lattner00073222007-10-09 17:23:58 +000062 if (Tok.is(RHSTok))
Reid Spencer5f016e22007-07-11 17:01:13 +000063 return ConsumeAnyToken();
Mike Stumpa6f01772008-06-19 19:28:49 +000064
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +000089 if (Tok.is(ExpectedTok)) {
Reid Spencer5f016e22007-07-11 17:01:13 +000090 ConsumeAnyToken();
91 return false;
92 }
Mike Stumpa6f01772008-06-19 19:28:49 +000093
Reid Spencer5f016e22007-07-11 17:01:13 +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
Chris Lattner012cf462007-07-24 17:03:04 +0000105/// it (unless DontConsume is true). Because we cannot guarantee that the
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000109///
Reid Spencer5f016e22007-07-11 17:01:13 +0000110/// If SkipUntil finds the specified token, it returns true, otherwise it
Mike Stumpa6f01772008-06-19 19:28:49 +0000111/// returns false.
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000120 if (Tok.is(Toks[i])) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000121 if (DontConsume) {
122 // Noop, don't consume the token.
123 } else {
124 ConsumeAnyToken();
125 }
126 return true;
127 }
128 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000129
Reid Spencer5f016e22007-07-11 17:01:13 +0000130 switch (Tok.getKind()) {
131 case tok::eof:
132 // Ran out of tokens.
133 return false;
Mike Stumpa6f01772008-06-19 19:28:49 +0000134
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000150
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000171
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000186 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000187}
188
189//===----------------------------------------------------------------------===//
190// Scope manipulation
191//===----------------------------------------------------------------------===//
192
Reid Spencer5f016e22007-07-11 17:01:13 +0000193/// EnterScope - Start a new scope.
194void Parser::EnterScope(unsigned ScopeFlags) {
Chris Lattner9e344c62007-07-15 00:04:39 +0000195 if (NumCachedScopes) {
196 Scope *N = ScopeCache[--NumCachedScopes];
Reid Spencer5f016e22007-07-11 17:01:13 +0000197 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 Lattner90ae68a2007-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 Naroffb216c882007-10-09 22:01:59 +0000211 Actions.ActOnPopScope(Tok.getLocation(), CurScope);
Mike Stumpa6f01772008-06-19 19:28:49 +0000212
Chris Lattner9e344c62007-07-15 00:04:39 +0000213 Scope *OldScope = CurScope;
214 CurScope = OldScope->getParent();
Mike Stumpa6f01772008-06-19 19:28:49 +0000215
Chris Lattner9e344c62007-07-15 00:04:39 +0000216 if (NumCachedScopes == ScopeCacheSize)
217 delete OldScope;
Reid Spencer5f016e22007-07-11 17:01:13 +0000218 else
Chris Lattner9e344c62007-07-15 00:04:39 +0000219 ScopeCache[NumCachedScopes++] = OldScope;
Reid Spencer5f016e22007-07-11 17:01:13 +0000220}
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 Stumpa6f01772008-06-19 19:28:49 +0000232
Reid Spencer5f016e22007-07-11 17:01:13 +0000233 // Free the scope cache.
Chris Lattner9e344c62007-07-15 00:04:39 +0000234 for (unsigned i = 0, e = NumCachedScopes; i != e; ++i)
235 delete ScopeCache[i];
Reid Spencer5f016e22007-07-11 17:01:13 +0000236}
237
238/// Initialize - Warm up the parser.
239///
240void Parser::Initialize() {
241 // Prime the lexer look-ahead.
242 ConsumeToken();
Mike Stumpa6f01772008-06-19 19:28:49 +0000243
Chris Lattner31e05722007-08-26 06:24:45 +0000244 // Create the translation unit scope. Install it as the current scope.
Reid Spencer5f016e22007-07-11 17:01:13 +0000245 assert(CurScope == 0 && "A scope is already active?");
Chris Lattner31e05722007-08-26 06:24:45 +0000246 EnterScope(Scope::DeclScope);
Steve Naroffb216c882007-10-09 22:01:59 +0000247 Actions.ActOnTranslationUnitScope(Tok.getLocation(), CurScope);
Mike Stumpa6f01772008-06-19 19:28:49 +0000248
Chris Lattner00073222007-10-09 17:23:58 +0000249 if (Tok.is(tok::eof) &&
Chris Lattnerf7261752007-08-25 05:47:03 +0000250 !getLang().CPlusPlus) // Empty source file is an extension in C
Reid Spencer5f016e22007-07-11 17:01:13 +0000251 Diag(Tok, diag::ext_empty_source_file);
Mike Stumpa6f01772008-06-19 19:28:49 +0000252
Chris Lattner34870da2007-08-29 22:54:08 +0000253 // Initialization for Objective-C context sensitive keywords recognition.
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000254 // Referenced in Parser::ParseObjCTypeQualifierList.
Chris Lattner34870da2007-08-29 22:54:08 +0000255 if (getLang().ObjC1) {
Ted Kremeneka526c5c2008-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 Lattner34870da2007-08-29 22:54:08 +0000262 }
Fariborz Jahaniand0f97d12007-08-31 16:11:31 +0000263 if (getLang().ObjC2) {
Ted Kremeneka526c5c2008-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 Stumpa6f01772008-06-19 19:28:49 +0000268 ObjCPropertyAttrs[objc_readwrite] =
Fariborz Jahaniand0f97d12007-08-31 16:11:31 +0000269 &PP.getIdentifierTable().get("readwrite");
Ted Kremeneka526c5c2008-01-07 19:49:32 +0000270 ObjCPropertyAttrs[objc_retain] = &PP.getIdentifierTable().get("retain");
271 ObjCPropertyAttrs[objc_copy] = &PP.getIdentifierTable().get("copy");
Mike Stumpa6f01772008-06-19 19:28:49 +0000272 ObjCPropertyAttrs[objc_nonatomic] =
Fariborz Jahaniand0f97d12007-08-31 16:11:31 +0000273 &PP.getIdentifierTable().get("nonatomic");
274 }
Daniel Dunbar662e8b52008-08-14 22:04:54 +0000275
276 Ident_super = &PP.getIdentifierTable().get("super");
Reid Spencer5f016e22007-07-11 17:01:13 +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 Naroff89307ff2007-11-29 23:05:20 +0000281bool Parser::ParseTopLevelDecl(DeclTy*& Result) {
282 Result = 0;
Chris Lattner9299f3f2008-08-23 03:19:52 +0000283 if (Tok.is(tok::eof)) {
284 Actions.ActOnEndOfTranslationUnit();
285 return true;
286 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000287
Steve Naroff89307ff2007-11-29 23:05:20 +0000288 Result = ParseExternalDeclaration();
Reid Spencer5f016e22007-07-11 17:01:13 +0000289 return false;
290}
291
Reid Spencer5f016e22007-07-11 17:01:13 +0000292/// ParseTranslationUnit:
293/// translation-unit: [C99 6.9]
Mike Stumpa6f01772008-06-19 19:28:49 +0000294/// external-declaration
295/// translation-unit external-declaration
Reid Spencer5f016e22007-07-11 17:01:13 +0000296void Parser::ParseTranslationUnit() {
Chris Lattnera9e8fec2008-08-23 02:06:50 +0000297 Initialize(); // pushes a scope.
Mike Stumpa6f01772008-06-19 19:28:49 +0000298
Steve Naroff89307ff2007-11-29 23:05:20 +0000299 DeclTy *Res;
300 while (!ParseTopLevelDecl(Res))
Reid Spencer5f016e22007-07-11 17:01:13 +0000301 /*parse them all*/;
Chris Lattner06f54852008-08-23 02:00:52 +0000302
303 ExitScope();
304 assert(CurScope == 0 && "Scope imbalance!");
Reid Spencer5f016e22007-07-11 17:01:13 +0000305}
306
307/// ParseExternalDeclaration:
308/// external-declaration: [C99 6.9]
Chris Lattnerc3018152007-08-10 20:57:02 +0000309/// function-definition
310/// declaration
Reid Spencer5f016e22007-07-11 17:01:13 +0000311/// [EXT] ';'
312/// [GNU] asm-definition
Chris Lattnerc3018152007-08-10 20:57:02 +0000313/// [GNU] __extension__ external-declaration
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattnerc3018152007-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 Carlssondfab6cb2008-02-08 00:33:21 +0000338 case tok::kw_asm: {
339 ExprResult Result = ParseSimpleAsm();
Mike Stumpa6f01772008-06-19 19:28:49 +0000340
Anders Carlsson3f9424f2008-02-08 00:23:11 +0000341 ExpectAndConsume(tok::semi, diag::err_expected_semi_after,
342 "top-level asm block");
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000343
344 if (!Result.isInvalid)
345 return Actions.ActOnFileScopeAsmDecl(Tok.getLocation(), Result.Val);
Chris Lattneraec3a1e2008-05-27 23:32:43 +0000346 return 0;
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000347 }
Reid Spencer5f016e22007-07-11 17:01:13 +0000348 case tok::at:
349 // @ is not a legal token unless objc is enabled, no need to check.
Steve Naroff2bd42fa2007-09-10 20:51:04 +0000350 return ParseObjCAtDirectives();
Reid Spencer5f016e22007-07-11 17:01:13 +0000351 case tok::minus:
Reid Spencer5f016e22007-07-11 17:01:13 +0000352 case tok::plus:
Fariborz Jahanian60fbca02007-11-10 16:31:34 +0000353 if (getLang().ObjC1)
Steve Naroff71c0a952007-11-13 23:01:27 +0000354 return ParseObjCMethodDefinition();
Fariborz Jahanian60fbca02007-11-10 16:31:34 +0000355 else {
Reid Spencer5f016e22007-07-11 17:01:13 +0000356 Diag(Tok, diag::err_expected_external_declaration);
357 ConsumeToken();
358 }
359 return 0;
Chris Lattner8f08cb72007-08-25 06:57:03 +0000360 case tok::kw_namespace:
Reid Spencer5f016e22007-07-11 17:01:13 +0000361 case tok::kw_typedef:
Chris Lattnerbae35112007-08-25 18:15:16 +0000362 // A function definition cannot start with a these keywords.
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattnera798ebc2008-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 Stumpa6f01772008-06-19 19:28:49 +0000377/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Chris Lattnera798ebc2008-04-05 05:52:15 +0000378///
Reid Spencer5f016e22007-07-11 17:01:13 +0000379/// declaration: [C99 6.7]
Chris Lattner697e15f2007-08-22 06:06:56 +0000380/// declaration-specifiers init-declarator-list[opt] ';'
381/// [!C99] init-declarator-list ';' [TODO: warn in c99 mode]
Reid Spencer5f016e22007-07-11 17:01:13 +0000382/// [OMP] threadprivate-directive [TODO]
383///
384Parser::DeclTy *Parser::ParseDeclarationOrFunctionDefinition() {
385 // Parse the common declaration-specifiers piece.
386 DeclSpec DS;
387 ParseDeclarationSpecifiers(DS);
Mike Stumpa6f01772008-06-19 19:28:49 +0000388
Reid Spencer5f016e22007-07-11 17:01:13 +0000389 // C99 6.7.2.3p6: Handle "struct-or-union identifier;", "enum { X };"
390 // declaration-specifiers init-declarator-list[opt] ';'
Chris Lattner00073222007-10-09 17:23:58 +0000391 if (Tok.is(tok::semi)) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000392 ConsumeToken();
393 return Actions.ParsedFreeStandingDeclSpec(CurScope, DS);
394 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000395
Steve Naroff527fe232007-08-23 19:56:30 +0000396 // ObjC2 allows prefix attributes on class interfaces.
Chris Lattner00073222007-10-09 17:23:58 +0000397 if (getLang().ObjC2 && Tok.is(tok::at)) {
Steve Naroffdac269b2007-08-20 21:31:48 +0000398 SourceLocation AtLoc = ConsumeToken(); // the "@"
Chris Lattnercb53b362007-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 Jahanian0de2ae22008-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 Stumpa6f01772008-06-19 19:28:49 +0000407 return ParseObjCAtInterfaceDeclaration(AtLoc, DS.getAttributes());
Steve Naroffdac269b2007-08-20 21:31:48 +0000408 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000409
Chris Lattnerc6fdc342008-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 Lattner3c6f6a72008-01-12 07:08:43 +0000413 if (Tok.is(tok::string_literal) && getLang().CPlusPlus &&
Chris Lattnerc6fdc342008-01-12 07:05:38 +0000414 DS.getStorageClassSpec() == DeclSpec::SCS_extern &&
415 DS.getParsedSpecifiers() == DeclSpec::PQ_StorageClassSpecifier)
416 return ParseLinkage(Declarator::FileContext);
417
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000425 if (Tok.is(tok::semi))
Reid Spencer5f016e22007-07-11 17:01:13 +0000426 ConsumeToken();
427 return 0;
428 }
429
430 // If the declarator is the start of a function definition, handle it.
Chris Lattner00073222007-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
Reid Spencer5f016e22007-07-11 17:01:13 +0000436 // FALL THROUGH.
437 } else if (DeclaratorInfo.isFunctionDeclarator() &&
Argyrios Kyrtzidiscf28c722008-06-21 10:00:56 +0000438 (Tok.is(tok::l_brace) || // int X() {}
439 ( !getLang().CPlusPlus &&
440 isDeclarationSpecifier() ))) { // int X(f) int f; {}
Steve Naroffe39bfd02008-02-14 02:58:32 +0000441 if (DS.getStorageClassSpec() == DeclSpec::SCS_typedef) {
442 Diag(Tok, diag::err_function_declared_typedef);
Mike Stumpa6f01772008-06-19 19:28:49 +0000443
Steve Naroffe39bfd02008-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 Stumpa6f01772008-06-19 19:28:49 +0000446 // to simply call ParseFunctionDefintion() below, however Sema
Steve Naroffe39bfd02008-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 }
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattnera798ebc2008-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 Stumpa6f01772008-06-19 19:28:49 +0000476/// [C90] decl-specs[opt] declarator declaration-list[opt] compound-statement
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000483
Chris Lattnera798ebc2008-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 Lattnerd658b562008-04-05 06:32:51 +0000487 if (getLang().ImplicitInt && D.getDeclSpec().getParsedSpecifiers() == 0) {
Chris Lattnera798ebc2008-04-05 05:52:15 +0000488 const char *PrevSpec;
Chris Lattner985abd92008-06-26 06:49:43 +0000489 D.getMutableDeclSpec().SetTypeSpecType(DeclSpec::TST_int, D.getIdentifierLoc(),
Chris Lattnera798ebc2008-04-05 05:52:15 +0000490 PrevSpec);
491 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000492
Reid Spencer5f016e22007-07-11 17:01:13 +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
Reid Spencer5f016e22007-07-11 17:01:13 +0000499 // We should have an opening brace now.
Chris Lattner00073222007-10-09 17:23:58 +0000500 if (Tok.isNot(tok::l_brace)) {
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000505
Reid Spencer5f016e22007-07-11 17:01:13 +0000506 // If we didn't find the '{', bail out.
Chris Lattner00073222007-10-09 17:23:58 +0000507 if (Tok.isNot(tok::l_brace))
Reid Spencer5f016e22007-07-11 17:01:13 +0000508 return 0;
Reid Spencer5f016e22007-07-11 17:01:13 +0000509 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000510
Chris Lattnerb652cea2007-10-09 17:14:05 +0000511 SourceLocation BraceLoc = Tok.getLocation();
Mike Stumpa6f01772008-06-19 19:28:49 +0000512
Chris Lattnerb652cea2007-10-09 17:14:05 +0000513 // Enter a scope for the function body.
514 EnterScope(Scope::FnScope|Scope::DeclScope);
Mike Stumpa6f01772008-06-19 19:28:49 +0000515
Chris Lattnerb652cea2007-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 Stumpa6f01772008-06-19 19:28:49 +0000519
520 return ParseFunctionStatementBody(Res, BraceLoc, BraceLoc);
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner04421082008-04-08 04:40:51 +0000529 // Enter function-declaration scope, limiting any declarators to the
530 // function prototype scope, including parameter declarators.
Eli Friedman6e33dd52008-05-20 09:10:20 +0000531 EnterScope(Scope::FnScope|Scope::DeclScope);
Chris Lattner04421082008-04-08 04:40:51 +0000532
Reid Spencer5f016e22007-07-11 17:01:13 +0000533 // Read all the argument declarations.
534 while (isDeclarationSpecifier()) {
535 SourceLocation DSStart = Tok.getLocation();
Mike Stumpa6f01772008-06-19 19:28:49 +0000536
Reid Spencer5f016e22007-07-11 17:01:13 +0000537 // Parse the common declaration-specifiers piece.
538 DeclSpec DS;
539 ParseDeclarationSpecifiers(DS);
Mike Stumpa6f01772008-06-19 19:28:49 +0000540
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000546 if (Tok.is(tok::semi)) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000547 Diag(DSStart, diag::err_declaration_does_not_declare_param);
548 ConsumeToken();
549 continue;
550 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000551
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000565
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000574 if (Tok.is(tok::kw___attribute))
Reid Spencer5f016e22007-07-11 17:01:13 +0000575 // FIXME: attach attributes too.
576 AttrList = ParseAttributes();
Mike Stumpa6f01772008-06-19 19:28:49 +0000577
Reid Spencer5f016e22007-07-11 17:01:13 +0000578 // Ask the actions module to compute the type for this declarator.
Mike Stumpa6f01772008-06-19 19:28:49 +0000579 Action::DeclTy *Param =
Chris Lattner04421082008-04-08 04:40:51 +0000580 Actions.ActOnParamDeclarator(CurScope, ParmDeclarator);
Steve Naroff2bd42fa2007-09-10 20:51:04 +0000581
Mike Stumpa6f01772008-06-19 19:28:49 +0000582 if (Param &&
Reid Spencer5f016e22007-07-11 17:01:13 +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 Stumpa6f01772008-06-19 19:28:49 +0000596
Reid Spencer5f016e22007-07-11 17:01:13 +0000597 if (FTI.ArgInfo[i].Ident == ParmDeclarator.getIdentifier()) {
598 // Reject redefinitions of parameters.
Chris Lattner04421082008-04-08 04:40:51 +0000599 if (FTI.ArgInfo[i].Param) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000600 Diag(ParmDeclarator.getIdentifierLoc(),
601 diag::err_param_redefinition,
602 ParmDeclarator.getIdentifier()->getName());
603 } else {
Chris Lattner04421082008-04-08 04:40:51 +0000604 FTI.ArgInfo[i].Param = Param;
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000613 if (Tok.isNot(tok::comma))
Reid Spencer5f016e22007-07-11 17:01:13 +0000614 break;
Mike Stumpa6f01772008-06-19 19:28:49 +0000615
Reid Spencer5f016e22007-07-11 17:01:13 +0000616 // Consume the comma.
617 ConsumeToken();
Mike Stumpa6f01772008-06-19 19:28:49 +0000618
Reid Spencer5f016e22007-07-11 17:01:13 +0000619 // Parse the next declarator.
620 ParmDeclarator.clear();
621 ParseDeclarator(ParmDeclarator);
622 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000623
Chris Lattner00073222007-10-09 17:23:58 +0000624 if (Tok.is(tok::semi)) {
Reid Spencer5f016e22007-07-11 17:01:13 +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 Lattner00073222007-10-09 17:23:58 +0000630 if (Tok.is(tok::semi))
Reid Spencer5f016e22007-07-11 17:01:13 +0000631 ConsumeToken();
632 }
633 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000634
Chris Lattner04421082008-04-08 04:40:51 +0000635 // Leave prototype scope.
636 ExitScope();
637
Reid Spencer5f016e22007-07-11 17:01:13 +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 Carlsson6a0ef4b2007-11-20 19:21:03 +0000648Parser::ExprResult Parser::ParseAsmStringLiteral() {
Reid Spencer5f016e22007-07-11 17:01:13 +0000649 if (!isTokenStringLiteral()) {
650 Diag(Tok, diag::err_expected_string_literal);
Anders Carlsson6a0ef4b2007-11-20 19:21:03 +0000651 return true;
Reid Spencer5f016e22007-07-11 17:01:13 +0000652 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000653
Reid Spencer5f016e22007-07-11 17:01:13 +0000654 ExprResult Res = ParseStringLiteralExpression();
Anders Carlsson6a0ef4b2007-11-20 19:21:03 +0000655 if (Res.isInvalid) return true;
Mike Stumpa6f01772008-06-19 19:28:49 +0000656
Reid Spencer5f016e22007-07-11 17:01:13 +0000657 // TODO: Diagnose: wide string literal in 'asm'
Mike Stumpa6f01772008-06-19 19:28:49 +0000658
Anders Carlsson6a0ef4b2007-11-20 19:21:03 +0000659 return Res;
Reid Spencer5f016e22007-07-11 17:01:13 +0000660}
661
662/// ParseSimpleAsm
663///
664/// [GNU] simple-asm-expr:
665/// 'asm' '(' asm-string-literal ')'
666///
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000667Parser::ExprResult Parser::ParseSimpleAsm() {
Chris Lattner00073222007-10-09 17:23:58 +0000668 assert(Tok.is(tok::kw_asm) && "Not an asm!");
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000669 SourceLocation Loc = ConsumeToken();
Mike Stumpa6f01772008-06-19 19:28:49 +0000670
Chris Lattner00073222007-10-09 17:23:58 +0000671 if (Tok.isNot(tok::l_paren)) {
Reid Spencer5f016e22007-07-11 17:01:13 +0000672 Diag(Tok, diag::err_expected_lparen_after, "asm");
Chris Lattneraec3a1e2008-05-27 23:32:43 +0000673 return true;
Reid Spencer5f016e22007-07-11 17:01:13 +0000674 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000675
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000676 ConsumeParen();
Mike Stumpa6f01772008-06-19 19:28:49 +0000677
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000678 ExprResult Result = ParseAsmStringLiteral();
Mike Stumpa6f01772008-06-19 19:28:49 +0000679
Daniel Dunbara80f8742008-08-05 01:35:17 +0000680 if (Result.isInvalid) {
681 SkipUntil(tok::r_paren);
682 } else {
683 MatchRHSPunctuation(tok::r_paren, Loc);
684 }
Mike Stumpa6f01772008-06-19 19:28:49 +0000685
Anders Carlssondfab6cb2008-02-08 00:33:21 +0000686 return Result;
Reid Spencer5f016e22007-07-11 17:01:13 +0000687}
688