2016-12-17 21:35:53 +00: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 "TrivialCtorDtorChecker.h"
|
|
|
|
#include "CustomMatchers.h"
|
|
|
|
|
2017-10-20 17:11:50 +00:00
|
|
|
void TrivialCtorDtorChecker::registerMatchers(MatchFinder *AstMatcher) {
|
2016-12-18 02:14:37 +00:00
|
|
|
AstMatcher->addMatcher(cxxRecordDecl(hasTrivialCtorDtor()).bind("node"),
|
|
|
|
this);
|
2016-12-17 21:35:53 +00:00
|
|
|
}
|
|
|
|
|
2017-10-20 17:11:50 +00:00
|
|
|
void TrivialCtorDtorChecker::check(const MatchFinder::MatchResult &Result) {
|
|
|
|
const char *Error = "class %0 must have trivial constructors and destructors";
|
2016-12-17 21:35:53 +00:00
|
|
|
const CXXRecordDecl *Node = Result.Nodes.getNodeAs<CXXRecordDecl>("node");
|
|
|
|
|
2017-03-08 07:43:06 +00:00
|
|
|
if (!Node->hasDefinition()) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2016-12-17 21:35:53 +00:00
|
|
|
// We need to accept non-constexpr trivial constructors as well. This occurs
|
|
|
|
// when a struct contains pod members, which will not be initialized. As
|
|
|
|
// constexpr values are initialized, the constructor is non-constexpr.
|
|
|
|
bool BadCtor = !(Node->hasConstexprDefaultConstructor() ||
|
|
|
|
Node->hasTrivialDefaultConstructor());
|
|
|
|
bool BadDtor = !Node->hasTrivialDestructor();
|
|
|
|
if (BadCtor || BadDtor)
|
2016-12-18 02:14:37 +00:00
|
|
|
diag(Node->getLocStart(), Error, DiagnosticIDs::Error) << Node;
|
2016-12-17 21:35:53 +00:00
|
|
|
}
|