[cfe-dev] CFG doesn't call implicit destructor on exception edge?

[Ted Kremenek]

On Mar 1, 2012, at 11:57 AM, Delesley Hutchins <delesley at google.com> wrote:

> What's the current status of throw expressions in the clang CFG?  They
> seem to be supported, but a throw does not perform calls to implicit
> destructors before hitting the exit block. 

I would consider it essentially unimplemented (although some preliminary work is there).  Note that CFG edges for exceptions are not generated by default because they can be rather explosive.  One has has to explicitly tell the CFG builder to include destructor edges.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120301/36b2f686/attachment.html>