[cfe-commits] r118158 - in /cfe/trunk: include/clang/Analysis/CFG.h lib/Analysis/CFG.cpp test/Analysis/temp-obj-dtors-cfg-output.cpp

[Zhongxing Xu]

2010/11/3 Marcin Świderski <marcin.sfider at gmail.com>

> 2010/11/3 Zhongxing Xu <xuzhongxing at gmail.com>
>
>
>>
>> On Wed, Nov 3, 2010 at 2:19 PM, Marcin Swiderski <marcin.sfider at gmail.com
>> > wrote:
>>
>>> Author: sfider
>>> Date: Wed Nov  3 01:19:35 2010
>>> New Revision: 118158
>>>
>>> URL: http://llvm.org/viewvc/llvm-project?rev=118158&view=rev
>>> Log:
>>> Added generating destructors for temporary objects. Two cases I know of,
>>> that are not handled properly:
>>> 1. For statement: const C& c = C(0) ?: C(1) destructors generated for
>>> condition will not differ from those generated for case without prolonged
>>> lifetime of temporary,
>>> 2. There will be no destructor for constant reference member bound to
>>> temporary at the exit from constructor.
>>>
>>>
>> Hi Marcin,
>>
>> Could you please provide two examples for these cases?
>>
>
> Examples in attachment.
>
> In test_impl_cond() you can see that when assigning expression result to
> regular variable both temporaries are destroyed and this is correct. But
> when assiging to constant reference, temporary in condition should be
> destroyed only when false branch is taken.
>

There are other problems in this example. There are two dtors in B6. One is
due to an elidable CXXConstructExpr. Maybe we should not add
CXXBindTemporaryExpr whose subexpr is an elidable CXXConstructExpr.


>
> In TestConstRefMember constructor temporary is created and should be
> destroyed at the exit from constructor (after "int b").
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20101103/9c6b14bb/attachment.html>