[cfe-commits] [PATCH] CFG automatic object destructors

Zhongxing Xu xuzhongxing at gmail.com
Mon Sep 27 22:35:45 PDT 2010


Okay, then there is no problem. No terminator is Okay. Change the terminator
needs to change the analysis engine.

2010/9/28 Marcin Świderski <marcin.sfider at gmail.com>

> Forward to group...
>
> W dniu 28 września 2010 07:26 użytkownik Marcin Świderski <
> marcin.sfider at gmail.com> napisał:
>
> W dniu 28 września 2010 07:18 użytkownik Zhongxing Xu <
>> xuzhongxing at gmail.com> napisał:
>>
>> I might be wrong. Shall we add the implicit dtor before or after the
>>> return stmt? I guess we should add them after the return stmt, since object
>>> may be returned. But that means we would have CFGElements after the
>>> terminator.
>>>
>>> 2010/9/28 Zhongxing Xu <xuzhongxing at gmail.com>
>>>
>>> Hi Marcin,
>>>>
>>>> There are some bugs in your patch. I tested with the code attached. The
>>>> printed CFG has some errors in block B2.
>>>>
>>>> I'll look at the patch to try to locate the bug.
>>>>
>>>>
>>>> This was intended. Other thing is that in VisitReturnStatement there is
>> no terminator set. Maybe we could set return as terminator and instead of
>> whole return add just expression it returns as element in CFG?
>>
>>
>
> _______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20100928/d9d4f9cb/attachment.html>


More information about the cfe-commits mailing list