<div dir="ltr">Greetings,<div><br></div><div>I would be interested in working on bug <<a href="http://llvm.org/bugs/show_bug.cgi?id=15599" target="_blank">http://llvm.org/bugs/show_bug.cgi?id=15599</a>>, 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".</div>

<div><br></div><div>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.</div>

<div><br></div><div>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.</div>

<div><br></div><div>I would appreciate any thoughts or directions where to look.</div><div>regards,</div><div>pl</div></div>