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

2010/9/28 Marcin Świderski <[email protected]>

> Forward to group...
>
> W dniu 28 września 2010 07:26 użytkownik Marcin Świderski <
> [email protected]> napisał:
>
> W dniu 28 września 2010 07:18 użytkownik Zhongxing Xu <
>> [email protected]> 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 <[email protected]>
>>>
>>> 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
> [email protected]
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
>
>
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to