Re: Fix a bug in points-to solver

2013-12-04 Thread Richard Biener
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

Re: Fix a bug in points-to solver

2013-12-03 Thread Xinliang David Li
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

Re: Fix a bug in points-to solver

2013-12-03 Thread Richard Biener
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

Fix a bug in points-to solver

2013-12-02 Thread Xinliang David Li
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 is { NULL READONLY ESCAPED NOLOCAL}, but 'x' points-to set is {}.