clang-tidy/cppcoreguidelines/SlicingCheck.h

0001 //===--- SlicingCheck.h - clang-tidy-----------------------------*- C++ -*-===//
0002 //
0003 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
0004 // See https://llvm.org/LICENSE.txt for license information.
0005 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
0006 //
0007 //===----------------------------------------------------------------------===//
0008
0009 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_SLICING_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_SLICING_H
0011
0012 #include "../ClangTidyCheck.h"
0013
0014 namespace clang::tidy::cppcoreguidelines {
0015
0016 /// Flags slicing (incomplete copying of an object's state) of member variables
0017 /// or vtable. See:
0018 ///   - https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#es63-dont-slice
0019 ///     for the former, and
0020 ///   - https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#c145-access-polymorphic-objects-through-pointers-and-references
0021 ///     for the latter
0022 ///
0023 /// For the user-facing documentation see:
0024 /// http://clang.llvm.org/extra/clang-tidy/checks/cppcoreguidelines/slicing.html
0025 class SlicingCheck : public ClangTidyCheck {
0026 public:
0027   SlicingCheck(StringRef Name, ClangTidyContext *Context)
0028       : ClangTidyCheck(Name, Context) {}
0029   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0030   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
0031
0032 private:
0033   void diagnoseSlicedOverriddenMethods(const Expr &Call,
0034                                        const CXXRecordDecl &DerivedDecl,
0035                                        const CXXRecordDecl &BaseDecl);
0036 };
0037
0038 } // namespace clang::tidy::cppcoreguidelines
0039
0040 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CPPCOREGUIDELINES_SLICING_H