Index: clang-tidy/objc/CMakeLists.txt =================================================================== --- clang-tidy/objc/CMakeLists.txt +++ clang-tidy/objc/CMakeLists.txt @@ -1,6 +1,7 @@ set(LLVM_LINK_COMPONENTS support) add_clang_library(clangTidyObjCModule + ForbiddenSubclassingCheck.cpp ObjCTidyModule.cpp LINK_LIBS Index: clang-tidy/objc/ForbiddenSubclassingCheck.h =================================================================== --- /dev/null +++ clang-tidy/objc/ForbiddenSubclassingCheck.h @@ -0,0 +1,51 @@ +//===--- ForbiddenSubclassingCheck.h - clang-tidy--------*- C++ -*-===// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_OBJC_FORBIDDEN_SUBCLASSING_CHECK_H +#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_OBJC_FORBIDDEN_SUBCLASSING_CHECK_H + +#include "../ClangTidy.h" +#include "llvm/ADT/SmallSet.h" +#include "llvm/ADT/StringRef.h" +#include + +namespace clang { +namespace tidy { +namespace objc { + +/// Finds Objective-C classes which have a superclass which is +/// documented to not support subclassing. +/// +/// For the user-facing documentation see: +/// http://clang.llvm.org/extra/clang-tidy/checks/objc-forbidden-subclassing.html +class ForbiddenSubclassingCheck : public ClangTidyCheck { +public: + ForbiddenSubclassingCheck(StringRef Name, ClangTidyContext *Context); + void registerMatchers(ast_matchers::MatchFinder *Finder) override; + void check(const ast_matchers::MatchFinder::MatchResult &Result) override; + void storeOptions(ClangTidyOptions::OptionMap &Options) override; + + /// Container type to hold the names of superclasses which must not be + /// subclassed. + /// + /// Note that this holds std::string and not StringRef, since the + /// underlying memory to which a StringRef points might be reclaimed + /// after we store it in this container. + typedef llvm::SmallSet ForbiddenSuperclassNamesSetType; + +private: + const std::string RawStringForbiddenSuperclassNames; + ForbiddenSuperclassNamesSetType ForbiddenSuperclassNames; +}; + +} // namespace objc +} // namespace tidy +} // namespace clang + +#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_OBJC_FORBIDDEN_SUBCLASSING_CHECK_H Index: clang-tidy/objc/ForbiddenSubclassingCheck.cpp =================================================================== --- /dev/null +++ clang-tidy/objc/ForbiddenSubclassingCheck.cpp @@ -0,0 +1,94 @@ +//===--- ForbiddenSubclassingCheck.cpp - clang-tidy----------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is distributed under the University of Illinois Open Source +// License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +#include "ForbiddenSubclassingCheck.h" +#include "clang/AST/ASTContext.h" +#include "clang/ASTMatchers/ASTMatchFinder.h" +#include "llvm/ADT/Hashing.h" +#include "llvm/ADT/SmallVector.h" +#include "../utils/OptionsUtils.h" + +using namespace clang::ast_matchers; + +namespace clang { +namespace tidy { +namespace objc { + +namespace { + +constexpr char DefaultForbiddenObjCClassNames[] = + "ABNewPersonViewController;" + "ABPeoplePickerNavigationController;" + "ABPersonViewController;" + "ABUnknownPersonViewController;" + "NSHashTable;" + "NSMapTable;" + "NSPointerArray;" + "NSPointerFunctions;" + "NSTimer;" + "UIActionSheet;" + "UIAlertView;" + "UIImagePickerController;" + "UITextInputMode;" + "UIWebView"; + +void parseOptionAndAddForbiddenSuperclassNames( + StringRef ForbiddenSuperclassOption, + ForbiddenSubclassingCheck::ForbiddenSuperclassNamesSetType + &ForbiddenSuperclassNames) { + auto ForbiddenSuperclassNamesList = + utils::options::parseStringList(ForbiddenSuperclassOption); + ForbiddenSuperclassNames.insert( + ForbiddenSuperclassNamesList.begin(), + ForbiddenSuperclassNamesList.end()); +} + +} // namespace + +ForbiddenSubclassingCheck::ForbiddenSubclassingCheck( + StringRef Name, + ClangTidyContext *Context) + : ClangTidyCheck(Name, Context), + RawStringForbiddenSuperclassNames( + Options.get("ClassNames", DefaultForbiddenObjCClassNames)) { + parseOptionAndAddForbiddenSuperclassNames( + RawStringForbiddenSuperclassNames, + ForbiddenSuperclassNames); +} + +void ForbiddenSubclassingCheck::registerMatchers(MatchFinder *Finder) { + Finder->addMatcher(objcInterfaceDecl().bind("objc_interface"), this); +} + +void ForbiddenSubclassingCheck::check( + const MatchFinder::MatchResult &Result) { + const auto *MatchedDecl = Result.Nodes.getNodeAs( + "objc_interface"); + for (auto *SuperClass = MatchedDecl->getSuperClass(); + SuperClass != nullptr; + SuperClass = SuperClass->getSuperClass()) { + if (ForbiddenSuperclassNames.count( + SuperClass->getIdentifier()->getName().str())) { + diag(MatchedDecl->getLocation(), + "Objective-C interface %0 subclasses %1, which is not " + "intended to be subclassed") + << MatchedDecl + << SuperClass; + } + } +} + +void ForbiddenSubclassingCheck::storeOptions( + ClangTidyOptions::OptionMap &Opts) { + Options.store(Opts, "ClassNames", RawStringForbiddenSuperclassNames); +} + +} // namespace objc +} // namespace tidy +} // namespace clang Index: clang-tidy/objc/ObjCTidyModule.cpp =================================================================== --- clang-tidy/objc/ObjCTidyModule.cpp +++ clang-tidy/objc/ObjCTidyModule.cpp @@ -10,6 +10,7 @@ #include "../ClangTidy.h" #include "../ClangTidyModule.h" #include "../ClangTidyModuleRegistry.h" +#include "ForbiddenSubclassingCheck.h" using namespace clang::ast_matchers; @@ -20,7 +21,8 @@ class ObjCModule : public ClangTidyModule { public: void addCheckFactories(ClangTidyCheckFactories &CheckFactories) override { - // TODO(D39142): Add checks here. + CheckFactories.registerCheck( + "objc-forbidden-subclassing"); } }; Index: docs/ReleaseNotes.rst =================================================================== --- docs/ReleaseNotes.rst +++ docs/ReleaseNotes.rst @@ -59,6 +59,12 @@ - New module `objc` for Objective-C style checks. +- New `objc-forbidden-subclassing + `_ check + + Ensures Objective-C classes do not subclass any classes which are + not intended to be subclassed. + - Renamed checks to use correct term "implicit conversion" instead of "implicit cast" and modified messages and option names accordingly: Index: docs/clang-tidy/checks/list.rst =================================================================== --- docs/clang-tidy/checks/list.rst +++ docs/clang-tidy/checks/list.rst @@ -7,9 +7,9 @@ android-cloexec-accept android-cloexec-accept4 android-cloexec-creat + android-cloexec-dup android-cloexec-epoll-create android-cloexec-epoll-create1 - android-cloexec-dup android-cloexec-fopen android-cloexec-inotify-init android-cloexec-inotify-init1 @@ -38,7 +38,7 @@ cert-msc30-c (redirects to cert-msc50-cpp) cert-msc50-cpp cert-oop11-cpp (redirects to misc-move-constructor-init) - cppcoreguidelines-c-copy-assignment-signature + cppcoreguidelines-c-copy-assignment-signature (redirects to misc-unconventional-assign-operator) cppcoreguidelines-interfaces-global-init cppcoreguidelines-no-malloc cppcoreguidelines-owning-memory @@ -76,8 +76,8 @@ hicpp-explicit-conversions (redirects to google-explicit-constructor) hicpp-function-size (redirects to readability-function-size) hicpp-invalid-access-moved (redirects to misc-use-after-move) - hicpp-move-const-arg (redirects to misc-move-const-arg) hicpp-member-init (redirects to cppcoreguidelines-pro-type-member-init) + hicpp-move-const-arg (redirects to misc-move-const-arg) hicpp-named-parameter (redirects to readability-named-parameter) hicpp-new-delete-operators (redirects to misc-new-delete-overloads) hicpp-no-array-decay (redirects to cppcoreguidelines-pro-bounds-array-to-pointer-decay) @@ -95,7 +95,7 @@ hicpp-use-noexcept (redirects to modernize-use-noexcept) hicpp-use-nullptr (redirects to modernize-use-nullptr) hicpp-use-override (redirects to modernize-use-override) - hicpp-vararg (redirects to cppcoreguidelines-pro-type-varg) + hicpp-vararg (redirects to cppcoreguidelines-pro-type-vararg) llvm-header-guard llvm-include-order llvm-namespace-comment @@ -180,6 +180,7 @@ performance-type-promotion-in-math-fn performance-unnecessary-copy-initialization performance-unnecessary-value-param + objc-forbidden-subclassing readability-avoid-const-params-in-decls readability-braces-around-statements readability-container-size-empty Index: docs/clang-tidy/checks/objc-forbidden-subclassing.rst =================================================================== --- /dev/null +++ docs/clang-tidy/checks/objc-forbidden-subclassing.rst @@ -0,0 +1,27 @@ +.. title:: clang-tidy - objc-forbidden-subclassing + +objc-forbidden-subclassing +================================== + +Finds Objective-C classes which are subclasses of classes which are +not designed to be subclassed. + +By default, includes a list of Objective-C classes which +are publicly documented as not supporting subclassing. + +.. note:: + + Instead of using this check, for code under your control, you should add + ``__attribute__((objc_subclassing_restricted))`` before your ``@interface`` declarations + to ensure the compiler prevents others from subclassing your Objective-C classes. + See https://clang.llvm.org/docs/AttributeReference.html#objc-subclassing-restricted + +Options +------- + +.. option:: ClassNames + + Semicolon-separated list of names of Objective-C classes which + do not support subclassing. + + Defaults to ``ABNewPersonViewController;ABPeoplePickerNavigationController;ABPersonViewController;ABUnknownPersonViewController;NSHashTable;NSMapTable;NSPointerArray;NSPointerFunctions;NSTimer;UIActionSheet;UIAlertView;UIImagePickerController;UITextInputMode;UIWebView``. Index: test/clang-tidy/objc-forbidden-subclassing-custom.m =================================================================== --- /dev/null +++ test/clang-tidy/objc-forbidden-subclassing-custom.m @@ -0,0 +1,39 @@ +// RUN: %check_clang_tidy %s objc-forbidden-subclassing %t \ +// RUN: -config='{CheckOptions: \ +// RUN: [{key: objc-forbidden-subclassing.ClassNames, value: "Foo;Quux"}]}' \ +// RUN: -- + +@interface UIImagePickerController +@end + +// Make sure custom config options replace (not add to) the default list. +@interface Waldo : UIImagePickerController +// CHECK-MESSAGES-NOT: :[[@LINE-1]]:12: warning: Objective-C interface 'Waldo' subclasses 'UIImagePickerController', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +@interface Foo +@end + +@interface Bar : Foo +// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: Objective-C interface 'Bar' subclasses 'Foo', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +// Check subclasses of subclasses. +@interface Baz : Bar +// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: Objective-C interface 'Baz' subclasses 'Foo', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +@interface Quux +@end + +// Check that more than one forbidden superclass can be specified. +@interface Xyzzy : Quux +// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: Objective-C interface 'Xyzzy' subclasses 'Quux', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +@interface Plugh +@end + +@interface Corge : Plugh +// CHECK-MESSAGES-NOT: :[[@LINE-1]]:12: warning: Objective-C interface 'Corge' subclasses 'Plugh', which is not intended to be subclassed [objc-forbidden-subclassing] +@end Index: test/clang-tidy/objc-forbidden-subclassing.m =================================================================== --- /dev/null +++ test/clang-tidy/objc-forbidden-subclassing.m @@ -0,0 +1,21 @@ +// RUN: %check_clang_tidy %s objc-forbidden-subclassing %t + +@interface UIImagePickerController +@end + +@interface Foo : UIImagePickerController +// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: Objective-C interface 'Foo' subclasses 'UIImagePickerController', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +// Check subclasses of subclasses. +@interface Bar : Foo +// CHECK-MESSAGES: :[[@LINE-1]]:12: warning: Objective-C interface 'Bar' subclasses 'UIImagePickerController', which is not intended to be subclassed [objc-forbidden-subclassing] +@end + +@interface Baz +@end + +// Make sure innocent subclasses aren't caught by the check. +@interface Blech : Baz +// CHECK-MESSAGES-NOT: :[[@LINE-1]]:12: warning: Objective-C interface 'Blech' subclasses 'Baz', which is not intended to be subclassed [objc-forbidden-subclassing] +@end Index: unittests/clang-tidy/ObjCModuleTest.cpp =================================================================== --- unittests/clang-tidy/ObjCModuleTest.cpp +++ unittests/clang-tidy/ObjCModuleTest.cpp @@ -1,11 +1,39 @@ #include "ClangTidyTest.h" #include "gtest/gtest.h" +#include "objc/ForbiddenSubclassingCheck.h" + +using namespace clang::tidy::objc; namespace clang { namespace tidy { namespace test { -// TODO(D39142) Add unit tests for the ObjC module here once a check lands. +TEST(ObjCForbiddenSubclassing, AllowedSubclass) { + std::vector Errors; + runCheckOnCode( + "@interface Foo\n" + "@end\n" + "@interface Bar : Foo\n" + "@end\n", + &Errors, + "input.m"); + EXPECT_EQ(0ul, Errors.size()); +} + +TEST(ObjCForbiddenSubclassing, ForbiddenSubclass) { + std::vector Errors; + runCheckOnCode( + "@interface UIImagePickerController\n" + "@end\n" + "@interface Foo : UIImagePickerController\n" + "@end\n", + &Errors, + "input.m"); + EXPECT_EQ(1ul, Errors.size()); + EXPECT_EQ( + "Objective-C interface 'Foo' subclasses 'UIImagePickerController', which is not intended to be subclassed", + Errors[0].Message.Message); +} } // namespace test } // namespace tidy