58 lines · cpp
1//===----------------------------------------------------------------------===//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-exception6//7//===----------------------------------------------------------------------===//8 9#include "ExceptionBaseclassCheck.h"10#include "clang/AST/ASTContext.h"11#include "clang/ASTMatchers/ASTMatchFinder.h"12 13using namespace clang::ast_matchers;14 15namespace clang::tidy::hicpp {16 17void ExceptionBaseclassCheck::registerMatchers(MatchFinder *Finder) {18 Finder->addMatcher(19 cxxThrowExpr(20 unless(has(expr(anyOf(isTypeDependent(), isValueDependent())))),21 // The thrown value is not derived from 'std::exception'.22 has(expr(unless(23 hasType(qualType(hasCanonicalType(hasDeclaration(cxxRecordDecl(24 isSameOrDerivedFrom(hasName("::std::exception")))))))))),25 // This condition is always true, but will bind to the26 // template value if the thrown type is templated.27 optionally(has(28 expr(hasType(substTemplateTypeParmType().bind("templ_type"))))),29 // Bind to the declaration of the type of the value that30 // is thrown. 'optionally' is necessary because builtin types31 // are not 'namedDecl'.32 optionally(has(expr(hasType(namedDecl().bind("decl"))))))33 .bind("bad_throw"),34 this);35}36 37void ExceptionBaseclassCheck::check(const MatchFinder::MatchResult &Result) {38 const auto *BadThrow = Result.Nodes.getNodeAs<CXXThrowExpr>("bad_throw");39 assert(BadThrow && "Did not match the throw expression");40 41 diag(BadThrow->getSubExpr()->getBeginLoc(), "throwing an exception whose "42 "type %0 is not derived from "43 "'std::exception'")44 << BadThrow->getSubExpr()->getType() << BadThrow->getSourceRange();45 46 if (const auto *Template =47 Result.Nodes.getNodeAs<SubstTemplateTypeParmType>("templ_type"))48 diag(BadThrow->getSubExpr()->getBeginLoc(),49 "type %0 is a template instantiation of %1", DiagnosticIDs::Note)50 << BadThrow->getSubExpr()->getType()51 << Template->getReplacedParameter();52 53 if (const auto *TypeDecl = Result.Nodes.getNodeAs<NamedDecl>("decl"))54 diag(TypeDecl->getBeginLoc(), "type defined here", DiagnosticIDs::Note);55}56 57} // namespace clang::tidy::hicpp58