11 #include "clang/AST/ASTContext.h"
12 #include "clang/ASTMatchers/ASTMatchFinder.h"
14 using namespace clang::ast_matchers;
24 switch (Node.getOverloadedOperator()) {
38 if (Node.isVariadic())
45 return Node.getNumParams() > 1;
46 if (Node.getNumParams() == 1)
53 if (Node.getNumParams() <= 1 || Node.getNumParams() > 2)
56 const auto *FPT = Node.getType()->castAs<FunctionProtoType>();
57 ASTContext &Ctx = Node.getASTContext();
58 if (Ctx.getLangOpts().SizedDeallocation &&
59 Ctx.hasSameType(FPT->getParamType(1), Ctx.getSizeType()))
65 OverloadedOperatorKind getCorrespondingOverload(
const FunctionDecl *FD) {
66 switch (FD->getOverloadedOperator()) {
73 return OO_Array_Delete;
77 llvm_unreachable(
"Not an overloaded allocation operator");
80 const char *getOperatorName(OverloadedOperatorKind K) {
84 return "operator new";
86 return "operator delete";
88 return "operator new[]";
90 return "operator delete[]";
92 llvm_unreachable(
"Not an overloaded allocation operator");
95 bool areCorrespondingOverloads(
const FunctionDecl *LHS,
96 const FunctionDecl *RHS) {
97 return RHS->getOverloadedOperator() == getCorrespondingOverload(LHS);
100 bool hasCorrespondingOverloadInBaseClass(
const CXXMethodDecl *MD,
101 const CXXRecordDecl *RD =
nullptr) {
104 for (
const auto *BMD : RD->methods())
105 if (BMD->isOverloadedOperator() && BMD->getAccess() != AS_private &&
106 areCorrespondingOverloads(MD, BMD))
112 RD = MD->getParent();
115 for (
const auto &BS : RD->bases()) {
118 if (BS.getType()->isDependentType())
120 if (
const auto *BaseRD = BS.getType()->getAsCXXRecordDecl())
121 if (hasCorrespondingOverloadInBaseClass(MD, BaseRD))
130 void NewDeleteOverloadsCheck::registerMatchers(MatchFinder *
Finder) {
131 if (!getLangOpts().CPlusPlus)
144 unless(anyOf(isImplicit(), isPlacementOverload(), isDeleted(),
145 cxxMethodDecl(isPrivate()))),
146 anyOf(hasOverloadedOperatorName(
"new"),
147 hasOverloadedOperatorName(
"new[]"),
148 hasOverloadedOperatorName(
"delete"),
149 hasOverloadedOperatorName(
"delete[]")))
154 void NewDeleteOverloadsCheck::check(
const MatchFinder::MatchResult &
Result) {
157 const auto *FD = Result.Nodes.getNodeAs<FunctionDecl>(
"func");
158 const CXXRecordDecl *RD =
nullptr;
159 if (
const auto *MD = dyn_cast<CXXMethodDecl>(FD))
160 RD = MD->getParent();
161 Overloads[RD].push_back(FD);
164 void NewDeleteOverloadsCheck::onEndOfTranslationUnit() {
169 SmallVector<const FunctionDecl *, 4> Diagnose;
170 for (
const auto &RP : Overloads) {
174 for (
const auto *Overload : RP.second) {
176 std::find_if(RP.second.begin(), RP.second.end(),
177 [&Overload](
const FunctionDecl *FD) {
182 if (FD->getDeclContext() != Overload->getDeclContext())
187 if (!areCorrespondingOverloads(Overload, FD))
193 if (Match == RP.second.end()) {
197 const auto *MD = dyn_cast<CXXMethodDecl>(Overload);
198 if (!MD || !hasCorrespondingOverloadInBaseClass(MD))
199 Diagnose.push_back(Overload);
204 for (
const auto *FD : Diagnose)
205 diag(FD->getLocation(),
"declaration of %0 has no matching declaration "
206 "of '%1' at the same scope")
207 << FD << getOperatorName(getCorrespondingOverload(FD));
AST_MATCHER(Type, isStrictlyInteger)
std::unique_ptr< ast_matchers::MatchFinder > Finder