From: Chris Lattner Date: Mon, 8 Dec 2008 21:59:01 +0000 (+0000) Subject: Fix PR3172: if we see an eof or } at the top level, reject it. X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=90b93d6f6961edd8f17e089253d655892adc1ef7;p=clang Fix PR3172: if we see an eof or } at the top level, reject it. This is important because ParseDeclarationOrFunctionDefinition skips to, but does not consume, an } on error. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60719 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/lib/Parse/Parser.cpp b/lib/Parse/Parser.cpp index bce73ccdeb..8a5498828e 100644 --- a/lib/Parse/Parser.cpp +++ b/lib/Parse/Parser.cpp @@ -295,6 +295,7 @@ void Parser::ParseTranslationUnit() { } /// ParseExternalDeclaration: +/// /// external-declaration: [C99 6.9], declaration: [C++ dcl.dcl] /// function-definition /// declaration @@ -318,6 +319,13 @@ Parser::DeclTy *Parser::ParseExternalDeclaration() { ConsumeToken(); // TODO: Invoke action for top-level semicolon. return 0; + case tok::r_brace: + Diag(Tok, diag::err_expected_external_declaration); + ConsumeBrace(); + return 0; + case tok::eof: + Diag(Tok, diag::err_expected_external_declaration); + return 0; case tok::kw___extension__: { // __extension__ silences extension warnings in the subexpression. ExtensionRAIIObject O(Diags); // Use RAII to do this. @@ -352,6 +360,7 @@ Parser::DeclTy *Parser::ParseExternalDeclaration() { case tok::kw_export: // As in 'export template' // A function definition cannot start with a these keywords. return ParseDeclaration(Declarator::FileContext); + default: // We can't tell whether this is a function-definition or declaration yet. return ParseDeclarationOrFunctionDefinition(); diff --git a/test/Parser/recovery-3.c b/test/Parser/recovery-3.c index 40cf8cd709..955d728827 100644 --- a/test/Parser/recovery-3.c +++ b/test/Parser/recovery-3.c @@ -7,3 +7,8 @@ static char *f (char * (*g) (char **, int), char **p, ...) { s = g (p, __builtin_va_arg(v, int)); // expected-error {{identifier}} expected-warning {{extension}} } + +// PR3172 +} // expected-error {{expected external declaration}} + +