[cfe-dev] CFG support for temporary object desctructors

[Pavel Labath]

Greetings,

I would be interested in working on bug <
http://llvm.org/bugs/show_bug.cgi?id=15599>, dealing with noreturn
destructors. From the bug I've learned that this happens because the CFG
does not have proper support for temporary destructors and that adding this
is a "hard problem".

I've done some experiments with enabling cfg-temporary-dtors analyzer
option and to me the resulting CFG looks exactly like I would expect it to
be. I also tried some examples with lifetime extension of temporaries and
those looked ok too.

So, my question is: What am I missing? Is there some known problem with the
CFG when this option is enabled? If not, why is this option not enabled by
default? When turning this option on I get a test failure in two other
tests, but if this is not a result of some CFG bug, I can take a look and
try to fix these issues instead.

I would appreciate any thoughts or directions where to look.
regards,
pl
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20130620/7035949d/attachment.html>