41 lines · c
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_RETURNCONSTREFFROMPARAMETERCHECK_H10#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_RETURNCONSTREFFROMPARAMETERCHECK_H11 12#include "../ClangTidyCheck.h"13 14namespace clang::tidy::bugprone {15 16/// Detects return statements that return a constant reference parameter as17/// constant reference. This may cause use-after-free errors if the caller uses18/// xvalues as arguments.19///20/// For the user-facing documentation see:21/// https://clang.llvm.org/extra/clang-tidy/checks/bugprone/return-const-ref-from-parameter.html22class ReturnConstRefFromParameterCheck : public ClangTidyCheck {23public:24 ReturnConstRefFromParameterCheck(StringRef Name, ClangTidyContext *Context)25 : ClangTidyCheck(Name, Context) {}26 void registerMatchers(ast_matchers::MatchFinder *Finder) override;27 void check(const ast_matchers::MatchFinder::MatchResult &Result) override;28 std::optional<TraversalKind> getCheckTraversalKind() const override {29 // Use 'AsIs' to make sure the return type is exactly the same as the30 // parameter type.31 return TK_AsIs;32 }33 bool isLanguageVersionSupported(const LangOptions &LangOpts) const override {34 return LangOpts.CPlusPlus;35 }36};37 38} // namespace clang::tidy::bugprone39 40#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_RETURNCONSTREFFROMPARAMETERCHECK_H41