[PATCH] D33333: Emit warning when throw exception in destruct or dealloc functions which has a (possible implicit) noexcept specifier

[Jennifer Yu via Phabricator via cfe-commits]

jyu2 updated this revision to Diff 100796.
jyu2 added a comment.

Okay this CFG version of this change.  In this change I am basic using same algorithm with -Winfinite-recursion.

In addition to my original implementation,  I add handler type checking which basic using  https://reviews.llvm.org/D19201 method.

There are couple things I am worry about this implementation:
1> compile time...
2> Correctness...      
3> Stack overflow for large CFG...


https://reviews.llvm.org/D33333

Files:
  include/clang/Basic/DiagnosticSemaKinds.td
  lib/Sema/AnalysisBasedWarnings.cpp
  test/CXX/except/except.spec/p11.cpp
  test/SemaCXX/warn-throw-out-noexcept-func.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33333.100796.patch
Type: text/x-patch
Size: 13861 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20170530/11911e21/attachment.bin>