added handling of unknown exceptions and renamed diagnostics

Author: vbvictor

clang-tools-extra/clang-tidy/bugprone/ExceptionEscapeCheck.cpp

@@ -102,7 +102,7 @@ void ExceptionEscapeCheck::check(const MatchFinder::MatchResult &Result) {
   // stack of thrown exception.
   const utils::ExceptionAnalyzer::CallStack &Stack = ThrowInfo.Stack;
   diag(Stack.front()->getLocation(),
-       "example of unhandled exception throw stack, starting from function %0",
+       "throw stack of unhandled exception, starting from function %0",
        DiagnosticIDs::Note)
       << Stack.front();
 

clang-tools-extra/clang-tidy/utils/ExceptionAnalyzer.cpp

@@ -491,9 +491,13 @@ ExceptionAnalyzer::throwsException(const FunctionDecl *Func,
 
   auto Result = ExceptionInfo::createUnknown();
   if (const auto *FPT = Func->getType()->getAs<FunctionProtoType>()) {
-    for (const QualType &Ex : FPT->exceptions())
-      // Nothing in ThrowInfo because there is no location of 'throw'
-      Result.registerException(Ex.getTypePtr(), {});
+    for (const QualType &Ex : FPT->exceptions()) {
+      CallStack.insert(Func);
+      Result.registerException(
+          Ex.getTypePtr(),
+          {Func->getExceptionSpecSourceRange().getBegin(), CallStack});
+      CallStack.remove(Func);
+    }
   }
   return Result;
 }