/* 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"

void TrivialCtorDtorChecker::registerMatchers(MatchFinder *AstMatcher) {
  // 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.
  AstMatcher->addMatcher(
      cxxRecordDecl(hasTrivialCtorDtor(), hasDefinition(),
                    unless(allOf(hasTrivialDestructor(),
                                 anyOf(hasTrivialDefaultConstructor(),
                                       hasConstexprDefaultConstructor()))))
          .bind("node"),
      this);
}

void TrivialCtorDtorChecker::check(const MatchFinder::MatchResult &Result) {
  const char *Error = "class %0 must have trivial constructors and destructors";
  const CXXRecordDecl *Node = Result.Nodes.getNodeAs<CXXRecordDecl>("node");
  diag(Node->getBeginLoc(), Error, DiagnosticIDs::Error) << Node;
}