2016-12-18 00:35:53 +03:00
|
|
|
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
|
|
|
|
|
|
|
|
#include "RefCountedCopyConstructorChecker.h"
|
|
|
|
#include "CustomMatchers.h"
|
|
|
|
|
2016-12-18 05:14:37 +03:00
|
|
|
void RefCountedCopyConstructorChecker::registerMatchers(MatchFinder* AstMatcher) {
|
|
|
|
AstMatcher->addMatcher(
|
2016-12-18 00:35:53 +03:00
|
|
|
cxxConstructExpr(
|
|
|
|
hasDeclaration(cxxConstructorDecl(isCompilerProvidedCopyConstructor(),
|
|
|
|
ofClass(hasRefCntMember()))))
|
|
|
|
.bind("node"),
|
|
|
|
this);
|
|
|
|
}
|
|
|
|
|
2016-12-18 05:14:37 +03:00
|
|
|
void RefCountedCopyConstructorChecker::check(
|
2016-12-18 00:35:53 +03:00
|
|
|
const MatchFinder::MatchResult &Result) {
|
2016-12-18 05:14:37 +03:00
|
|
|
const char* Error =
|
|
|
|
"Invalid use of compiler-provided copy constructor on refcounted type";
|
|
|
|
const char* Note =
|
2016-12-18 00:35:53 +03:00
|
|
|
"The default copy constructor also copies the "
|
|
|
|
"default mRefCnt property, leading to reference "
|
|
|
|
"count imbalance issues. Please provide your own "
|
|
|
|
"copy constructor which only copies the fields which "
|
2016-12-18 05:14:37 +03:00
|
|
|
"need to be copied";
|
2016-12-18 00:35:53 +03:00
|
|
|
|
|
|
|
// Everything we needed to know was checked in the matcher - we just report
|
|
|
|
// the error here
|
|
|
|
const CXXConstructExpr *E = Result.Nodes.getNodeAs<CXXConstructExpr>("node");
|
|
|
|
|
2016-12-18 05:14:37 +03:00
|
|
|
diag(E->getLocation(), Error, DiagnosticIDs::Error);
|
|
|
|
diag(E->getLocation(), Note, DiagnosticIDs::Note);
|
2016-12-18 00:35:53 +03:00
|
|
|
}
|