Skip to content

Commit

Permalink
[AST][ObjC] Fix crash when printing invalid objc categories
Browse files Browse the repository at this point in the history
Summary:
If no valid interface definition was found previously we would crash.

With this change instead we just print `<<error-type>>` in place
of the NULL interface. In the future this could be improved by
saving the invalid interface's name and using that.

Reviewers: sammccall, gribozavr

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D83513
  • Loading branch information
DavidGoldman committed Jul 10, 2020
1 parent 9bf6354 commit ea201e8
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 13 deletions.
13 changes: 11 additions & 2 deletions clang/lib/AST/DeclPrinter.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -1374,15 +1374,24 @@ void DeclPrinter::VisitObjCProtocolDecl(ObjCProtocolDecl *PID) {
}

void DeclPrinter::VisitObjCCategoryImplDecl(ObjCCategoryImplDecl *PID) {
Out << "@implementation " << *PID->getClassInterface() << '(' << *PID <<")\n";
Out << "@implementation ";
if (const auto *CID = PID->getClassInterface())
Out << *CID;
else
Out << "<<error-type>>";
Out << '(' << *PID << ")\n";

VisitDeclContext(PID, false);
Out << "@end";
// FIXME: implement the rest...
}

void DeclPrinter::VisitObjCCategoryDecl(ObjCCategoryDecl *PID) {
Out << "@interface " << *PID->getClassInterface();
Out << "@interface ";
if (const auto *CID = PID->getClassInterface())
Out << *CID;
else
Out << "<<error-type>>";
if (auto TypeParams = PID->getTypeParamList()) {
PrintObjCTypeParams(TypeParams);
}
Expand Down
34 changes: 23 additions & 11 deletions clang/unittests/AST/DeclPrinterTest.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -76,14 +76,16 @@ ::testing::AssertionResult
PrintedDeclMatches(StringRef Code, const std::vector<std::string> &Args,
const DeclarationMatcher &NodeMatch,
StringRef ExpectedPrinted, StringRef FileName,
PrintingPolicyModifier PolicyModifier = nullptr) {
PrintingPolicyModifier PolicyModifier = nullptr,
bool AllowError = false) {
PrintMatch Printer(PolicyModifier);
MatchFinder Finder;
Finder.addMatcher(NodeMatch, &Printer);
std::unique_ptr<FrontendActionFactory> Factory(
newFrontendActionFactory(&Finder));

if (!runToolOnCodeWithArgs(Factory->create(), Code, Args, FileName))
if (!runToolOnCodeWithArgs(Factory->create(), Code, Args, FileName) &&
!AllowError)
return testing::AssertionFailure()
<< "Parsing error in \"" << Code.str() << "\"";

Expand Down Expand Up @@ -170,16 +172,12 @@ PrintedDeclCXX1ZMatches(StringRef Code, const DeclarationMatcher &NodeMatch,
"input.cc");
}

::testing::AssertionResult PrintedDeclObjCMatches(
StringRef Code,
const DeclarationMatcher &NodeMatch,
StringRef ExpectedPrinted) {
::testing::AssertionResult
PrintedDeclObjCMatches(StringRef Code, const DeclarationMatcher &NodeMatch,
StringRef ExpectedPrinted, bool AllowError = false) {
std::vector<std::string> Args(1, "");
return PrintedDeclMatches(Code,
Args,
NodeMatch,
ExpectedPrinted,
"input.m");
return PrintedDeclMatches(Code, Args, NodeMatch, ExpectedPrinted, "input.m",
/*PolicyModifier=*/nullptr, AllowError);
}

} // unnamed namespace
Expand Down Expand Up @@ -1321,3 +1319,17 @@ TEST(DeclPrinter, TestObjCProtocol2) {
namedDecl(hasName("P1")).bind("id"),
"@protocol P1<P2>\n@end"));
}

TEST(DeclPrinter, TestObjCCategoryInvalidInterface) {
ASSERT_TRUE(PrintedDeclObjCMatches(
"@interface I (Extension) @end",
namedDecl(hasName("Extension")).bind("id"),
"@interface <<error-type>>(Extension)\n@end", /*AllowError=*/true));
}

TEST(DeclPrinter, TestObjCCategoryImplInvalidInterface) {
ASSERT_TRUE(PrintedDeclObjCMatches(
"@implementation I (Extension) @end",
namedDecl(hasName("Extension")).bind("id"),
"@implementation <<error-type>>(Extension)\n@end", /*AllowError=*/true));
}

0 comments on commit ea201e8

Please sign in to comment.