
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=utf-8">

  </head>

  <body bgcolor="#FFFFFF" text="#000000">

    I've done the initial version of exceptions checkers from the <a

      href="http://clang-analyzer.llvm.org/potential_checkers.html">potential

      checkers list</a>. I actually found <i>exceptions.ThrowSpecButNotThrow</i>

    and <i>exceptions.NoThrowSpecButThrows</i> very similar and decided

    to put them together into <i>exceptions.ExceptionSpec</i>. It

    checks for "throw calls" in functions specified as noexcept and

    functions, which do not have "throw calls" but should have such

    calls inside them by declaration.<br>

    <br>

    <div bgcolor="#FFFFFF" text="#000000" class="">The first version of

      checker is attached. I wonder if it's good enough and I can push

      it for the review.<br>

      <br>

      Feedback and suggestions highly appreciated!<br>

    </div>

    <br class="">

    --<br class="">

    Kirill Bobyrev<br class="">

    <a moz-do-not-send="true" href="https://github.com/omtcyf0"

      target="_blank" class="">https://github.com/omtcyf0</a>

  </body>

</html>