1 //===--- TemporaryObjectsCheck.cpp - clang-tidy----------------------------===//
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 #include "TemporaryObjectsCheck.h"
10 #include "../utils/OptionsUtils.h"
11 #include "clang/AST/ASTContext.h"
12 #include "clang/ASTMatchers/ASTMatchFinder.h"
13 #include "llvm/ADT/STLExtras.h"
14 #include "llvm/ADT/SmallVector.h"
15 #include <string>
16
17 using namespace clang::ast_matchers;
18
19 namespace clang {
20 namespace tidy {
21 namespace zircon {
22
AST_MATCHER_P(CXXRecordDecl,matchesAnyName,ArrayRef<std::string>,Names)23 AST_MATCHER_P(CXXRecordDecl, matchesAnyName, ArrayRef<std::string>, Names) {
24 std::string QualifiedName = Node.getQualifiedNameAsString();
25 return llvm::any_of(Names,
26 [&](StringRef Name) { return QualifiedName == Name; });
27 }
28
registerMatchers(MatchFinder * Finder)29 void TemporaryObjectsCheck::registerMatchers(MatchFinder *Finder) {
30 // Matcher for default constructors.
31 Finder->addMatcher(
32 cxxTemporaryObjectExpr(hasDeclaration(cxxConstructorDecl(hasParent(
33 cxxRecordDecl(matchesAnyName(Names))))))
34 .bind("temps"),
35 this);
36
37 // Matcher for user-defined constructors.
38 Finder->addMatcher(
39 traverse(ast_type_traits::TK_AsIs,
40 cxxConstructExpr(hasParent(cxxFunctionalCastExpr()),
41 hasDeclaration(cxxConstructorDecl(hasParent(
42 cxxRecordDecl(matchesAnyName(Names))))))
43 .bind("temps")),
44 this);
45 }
46
check(const MatchFinder::MatchResult & Result)47 void TemporaryObjectsCheck::check(const MatchFinder::MatchResult &Result) {
48 if (const auto *D = Result.Nodes.getNodeAs<CXXConstructExpr>("temps"))
49 diag(D->getLocation(),
50 "creating a temporary object of type %q0 is prohibited")
51 << D->getConstructor()->getParent();
52 }
53
storeOptions(ClangTidyOptions::OptionMap & Opts)54 void TemporaryObjectsCheck::storeOptions(ClangTidyOptions::OptionMap &Opts) {
55 Options.store(Opts, "Names", utils::options::serializeStringList(Names));
56 }
57
58 } // namespace zircon
59 } // namespace tidy
60 } // namespace clang
61