clang-tidy/performance/NoexceptMoveConstructorCheck.h

0001 //===--- NoexceptMoveConstructorCheck.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_PERFORMANCE_NOEXCEPTMOVECONSTRUCTORCHECK_H
0010 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_PERFORMANCE_NOEXCEPTMOVECONSTRUCTORCHECK_H
0011
0012 #include "../ClangTidyCheck.h"
0013 #include "NoexceptFunctionBaseCheck.h"
0014
0015 namespace clang::tidy::performance {
0016
0017 /// The check flags user-defined move constructors and assignment operators not
0018 /// marked with `noexcept` or marked with `noexcept(expr)` where `expr`
0019 /// evaluates to `false` (but is not a `false` literal itself).
0020 ///
0021 /// Move constructors of all the types used with STL containers, for example,
0022 /// need to be declared `noexcept`. Otherwise STL will choose copy constructors
0023 /// instead. The same is valid for move assignment operations.
0024 ///
0025 /// For the user-facing documentation see:
0026 /// https://clang.llvm.org/extra/clang-tidy/checks/performance/noexcept-move-constructor.html
0027 class NoexceptMoveConstructorCheck : public NoexceptFunctionBaseCheck {
0028 public:
0029   using NoexceptFunctionBaseCheck::NoexceptFunctionBaseCheck;
0030
0031   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
0032
0033 private:
0034   DiagnosticBuilder
0035   reportMissingNoexcept(const FunctionDecl *FuncDecl) final override;
0036   void reportNoexceptEvaluatedToFalse(const FunctionDecl *FuncDecl,
0037                                       const Expr *NoexceptExpr) final override;
0038 };
0039
0040 } // namespace clang::tidy::performance
0041
0042 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_PERFORMANCE_NOEXCEPTMOVECONSTRUCTORCHECK_H