danix800 updated this revision to Diff 545056.
danix800 retitled this revision from "[Parser][ObjC] Stop parsing on eof" to
"[Parser][ObjC] Fix parser crash on nested top-level block with better recovery
path".
danix800 edited the summary of this revision.
danix800 added a comment.
Delay consuming tokens and bail out early if nested top-level block are met
for better diag & recovery.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D156277/new/
https://reviews.llvm.org/D156277
Files:
clang/lib/Parse/ParseObjc.cpp
clang/test/Parser/missing-end-1-gh64065-nocrash.m
clang/test/Parser/missing-end-2.m
clang/test/Parser/missing-end-3.m
clang/test/Parser/missing-end-4.m
Index: clang/test/Parser/missing-end-4.m
===================================================================
--- clang/test/Parser/missing-end-4.m
+++ clang/test/Parser/missing-end-4.m
@@ -37,10 +37,10 @@
- (C<P>*) MyMeth {}
@end
-@interface I2 {}
-@protocol P2; // expected-error {{illegal interface qualifier}}
-@class C2; // expected-error {{illegal interface qualifier}}
-@end
+@interface I2 {} // expected-note {{class started here}}
+@protocol P2; // expected-error {{missing '@end'}}
+@class C2;
+@end // expected-error {{'@end' must appear in an Objective-C context}}
@interface I3
@end
Index: clang/test/Parser/missing-end-3.m
===================================================================
--- clang/test/Parser/missing-end-3.m
+++ clang/test/Parser/missing-end-3.m
@@ -1,10 +1,12 @@
// RUN: %clang_cc1 -fsyntax-only -verify %s
// rdar://8283484
+// expected-note@+1 {{previous definition is here}}
@interface blah { // expected-note {{class started here}}
@private
}
// since I forgot the @end here it should say something
+// expected-error@+1 {{duplicate interface definition for class 'blah'}}
@interface blah // expected-error {{missing '@end'}}
-@end // and Unknown type name 'end' here
+@end
Index: clang/test/Parser/missing-end-2.m
===================================================================
--- clang/test/Parser/missing-end-2.m
+++ clang/test/Parser/missing-end-2.m
@@ -1,9 +1,10 @@
-// RUN: %clang_cc1 -fsyntax-only -verify %s
+// RUN: %clang_cc1 -fsyntax-only -Wno-objc-root-class -verify %s
// rdar: //7824372
@interface A // expected-note {{class started here}}
--(void) im0;
+-(void) im0; // expected-note {{method 'im0' declared here}}
+// expected-warning@+1 {{method definition for 'im0' not found}}
@implementation A // expected-error {{missing '@end'}}
@end
@@ -13,7 +14,8 @@
@implementation B // expected-error {{missing '@end'}}
@end
-@interface C // expected-note 2 {{class started here}}
+@interface C // expected-note 1 {{class started here}}
@property int P;
+// expected-note@+1 {{implementation started here}}
@implementation C // expected-error 2 {{missing '@end'}}
Index: clang/test/Parser/missing-end-1-gh64065-nocrash.m
===================================================================
--- /dev/null
+++ clang/test/Parser/missing-end-1-gh64065-nocrash.m
@@ -0,0 +1,5 @@
+// RUN: %clang_cc1 -fsyntax-only -verify %s
+
+@interface Roo // expected-note {{class started here}}
+// expected-error@+1 {{missing '@end'}}
+@interface // expected-error {{expected identifier}}
Index: clang/lib/Parse/ParseObjc.cpp
===================================================================
--- clang/lib/Parse/ParseObjc.cpp
+++ clang/lib/Parse/ParseObjc.cpp
@@ -705,15 +705,30 @@
continue;
}
- // Otherwise, we have an @ directive, eat the @.
- SourceLocation AtLoc = ConsumeToken(); // the "@"
- if (Tok.is(tok::code_completion)) {
+ // Otherwise, we have an @ directive, peak at the next token
+ SourceLocation AtLoc = Tok.getLocation();
+ const auto &NextTok = NextToken();
+ if (NextTok.is(tok::code_completion)) {
cutOffParsing();
Actions.CodeCompleteObjCAtDirective(getCurScope());
return;
}
- tok::ObjCKeywordKind DirectiveKind = Tok.getObjCKeywordID();
+ tok::ObjCKeywordKind DirectiveKind = NextTok.getObjCKeywordID();
+ // Bail out as if we saw an '@end'
+ switch (DirectiveKind) {
+ case tok::objc_class:
+ case tok::objc_compatibility_alias:
+ case tok::objc_interface:
+ case tok::objc_implementation:
+ case tok::objc_protocol:
+ goto MISSING_END;
+ default:
+ break;
+ }
+
+ // Otherwise parse it as part of the current declaration. Eat the "@".
+ ConsumeToken();
if (DirectiveKind == tok::objc_end) { // @end -> terminate list
AtEnd.setBegin(AtLoc);
@@ -739,15 +754,6 @@
SkipUntil(tok::r_brace, tok::at, StopAtSemi);
break;
- case tok::objc_implementation:
- case tok::objc_interface:
- Diag(AtLoc, diag::err_objc_missing_end)
- << FixItHint::CreateInsertion(AtLoc, "@end\n");
- Diag(CDecl->getBeginLoc(), diag::note_objc_container_start)
- << (int)Actions.getObjCContainerKind();
- ConsumeToken();
- break;
-
case tok::objc_required:
case tok::objc_optional:
// This is only valid on protocols.
@@ -825,6 +831,7 @@
} else if (Tok.isObjCAtKeyword(tok::objc_end)) {
ConsumeToken(); // the "end" identifier
} else {
+ MISSING_END:
Diag(Tok, diag::err_objc_missing_end)
<< FixItHint::CreateInsertion(Tok.getLocation(), "\n@end\n");
Diag(CDecl->getBeginLoc(), diag::note_objc_container_start)
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
