1 //===--- StaticObjectExceptionCheck.cpp - clang-tidy-----------------------===// 2 // 3 // The LLVM Compiler Infrastructure 4 // 5 // This file is distributed under the University of Illinois Open Source 6 // License. See LICENSE.TXT for details. 7 // 8 //===----------------------------------------------------------------------===// 9 10 #include "StaticObjectExceptionCheck.h" 11 #include "../utils/Matchers.h" 12 #include "clang/AST/ASTContext.h" 13 #include "clang/ASTMatchers/ASTMatchFinder.h" 14 15 using namespace clang::ast_matchers; 16 17 namespace clang { 18 namespace tidy { 19 namespace cert { 20 21 void StaticObjectExceptionCheck::registerMatchers(MatchFinder *Finder) { 22 if (!getLangOpts().CPlusPlus) 23 return; 24 25 // Match any static or thread_local variable declaration that is initialized 26 // with a constructor that can throw. 27 Finder->addMatcher( 28 varDecl(anyOf(hasThreadStorageDuration(), hasStaticStorageDuration()), 29 hasInitializer(cxxConstructExpr(hasDeclaration( 30 cxxConstructorDecl(unless(isNoThrow())) 31 .bind("ctor"))))) 32 .bind("var"), 33 this); 34 } 35 36 void StaticObjectExceptionCheck::check(const MatchFinder::MatchResult &Result) { 37 const auto *VD = Result.Nodes.getNodeAs<VarDecl>("var"); 38 const auto *Ctor = Result.Nodes.getNodeAs<CXXConstructorDecl>("ctor"); 39 40 diag(VD->getLocation(), 41 "construction of %0 with %select{static|thread_local}1 storage " 42 "duration may throw an exception that cannot be caught") 43 << VD << (VD->getStorageDuration() == SD_Static ? 0 : 1); 44 diag(Ctor->getLocation(), "possibly throwing constructor declared here", 45 DiagnosticIDs::Note); 46 } 47 48 } // namespace cert 49 } // namespace tidy 50 } // namespace clang 51