clang-tools-extra/clang-tidy/cert/ThrownExceptionTypeCheck.cpp

   1 //===--- ThrownExceptionTypeCheck.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 "ThrownExceptionTypeCheck.h"
  10 #include "../utils/Matchers.h"
  11 #include "clang/AST/ASTContext.h"
  12 #include "clang/ASTMatchers/ASTMatchFinder.h"
  13
  14 using namespace clang::ast_matchers;
  15
  16 namespace clang::tidy::cert {
  17
  18 void ThrownExceptionTypeCheck::registerMatchers(MatchFinder *Finder) {
  19   Finder->addMatcher(
  20       traverse(
  21           TK_AsIs,
  22           cxxThrowExpr(has(ignoringParenImpCasts(
  23               cxxConstructExpr(hasDeclaration(cxxConstructorDecl(
  24                                    isCopyConstructor(), unless(isNoThrow()))))
  25                   .bind("expr"))))),
  26       this);
  27 }
  28
  29 void ThrownExceptionTypeCheck::check(const MatchFinder::MatchResult &Result) {
  30   const auto *E = Result.Nodes.getNodeAs<Expr>("expr");
  31   diag(E->getExprLoc(),
  32        "thrown exception type is not nothrow copy constructible");
  33 }
  34
  35 } // namespace clang::tidy::cert