PR10101: Recover better from a common copy-paste error: if a function
declaration at namespace scope is followed by a semicolon and an open-brace
(or in C++, a 'try', ':' or '='), then the error is probably a function
definition with a spurious ';', rather than a mysterious '{'.
llvm-svn: 145372
diff --git a/clang/lib/Parse/ParseTemplate.cpp b/clang/lib/Parse/ParseTemplate.cpp
index b485f1e..91cf8e8 100644
--- a/clang/lib/Parse/ParseTemplate.cpp
+++ b/clang/lib/Parse/ParseTemplate.cpp
@@ -240,6 +240,20 @@
return 0;
}
+ // Check for a stray semicolon in a function definition.
+ if (DeclaratorInfo.isFunctionDeclarator() && Tok.is(tok::semi) &&
+ Context == Declarator::FileContext) {
+ const Token &Next = NextToken();
+ if (Next.is(tok::l_brace) || Next.is(tok::kw_try) ||
+ Next.is(tok::equal) || Next.is(tok::colon)) {
+ SourceLocation SemiLoc = ConsumeToken();
+ Diag(SemiLoc, diag::err_stray_semi_function_definition)
+ << FixItHint::CreateRemoval(SemiLoc);
+ assert(!isDeclarationAfterDeclarator() &&
+ isStartOfFunctionDefinition(DeclaratorInfo));
+ }
+ }
+
// If we have a declaration or declarator list, handle it.
if (isDeclarationAfterDeclarator()) {
// Parse this declaration.
@@ -264,16 +278,8 @@
if (DS.getStorageClassSpec() == DeclSpec::SCS_typedef) {
Diag(Tok, diag::err_function_declared_typedef);
- if (Tok.is(tok::l_brace)) {
- // This recovery skips the entire function body. It would be nice
- // to simply call ParseFunctionDefinition() below, however Sema
- // assumes the declarator represents a function, not a typedef.
- ConsumeBrace();
- SkipUntil(tok::r_brace, true);
- } else {
- SkipUntil(tok::semi);
- }
- return 0;
+ // Recover by ignoring the 'typedef'.
+ DS.ClearStorageClassSpecs();
}
return ParseFunctionDefinition(DeclaratorInfo, TemplateInfo);
}