1 //===--- OptionalValueConversionCheck.h - clang-tidy ------------*- C++ -*-===//
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-exception
6 //
7 //===----------------------------------------------------------------------===//
8 
9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_OPTIONALVALUECONVERSIONCHECK_H
10 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_OPTIONALVALUECONVERSIONCHECK_H
11 
12 #include "../ClangTidyCheck.h"
13 #include <vector>
14 
15 namespace clang::tidy::bugprone {
16 
17 /// Detects potentially unintentional and redundant conversions where a value is
18 /// extracted from an optional-like type and then used to create a new instance
19 /// of the same optional-like type.
20 ///
21 /// For the user-facing documentation see:
22 /// http://clang.llvm.org/extra/clang-tidy/checks/bugprone/optional-value-conversion.html
23 class OptionalValueConversionCheck : public ClangTidyCheck {
24 public:
25   OptionalValueConversionCheck(StringRef Name, ClangTidyContext *Context);
26   void registerMatchers(ast_matchers::MatchFinder *Finder) override;
27   void check(const ast_matchers::MatchFinder::MatchResult &Result) override;
28   void storeOptions(ClangTidyOptions::OptionMap &Opts) override;
29   std::optional<TraversalKind> getCheckTraversalKind() const override;
30 
31 private:
32   std::vector<StringRef> OptionalTypes;
33   std::vector<StringRef> ValueMethods;
34 };
35 
36 } // namespace clang::tidy::bugprone
37 
38 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_OPTIONALVALUECONVERSIONCHECK_H
39