On Tue, Dec 3, 2013 at 11:54 PM, Xinliang David Li wrote:
> Done. Retested with the suggested change.
>
> Ok for trunk?
Ok.
Thanks,
Richard.
> thanks,
>
> David
>
> On Tue, Dec 3, 2013 at 2:13 AM, Richard Biener
> wrote:
>> On Mon, Dec 2, 2013 at 6:38 PM, Xinliang David Li wrote:
>>> Points t
Done. Retested with the suggested change.
Ok for trunk?
thanks,
David
On Tue, Dec 3, 2013 at 2:13 AM, Richard Biener
wrote:
> On Mon, Dec 2, 2013 at 6:38 PM, Xinliang David Li wrote:
>> Points to solver has a bug that can cause complex constraints to be
>> skipped leading to wrong points-to r
On Mon, Dec 2, 2013 at 6:38 PM, Xinliang David Li wrote:
> Points to solver has a bug that can cause complex constraints to be
> skipped leading to wrong points-to results. In the case that exposed
> the problem, there is sd constraint: x = *y which is never processed.
> 'y''s final points to set
