------- Comment #6 from rguenther at suse dot de 2009-02-03 14:24 ------- Subject: Re: PTA constraint processing for *x = y is wrong
On Tue, 3 Feb 2009, dberlin at dberlin dot org wrote: > Subject: Re: PTA constraint processing for *x = > y is wrong > > There used to be a *ANYTHING = ANYTHING constraint + ANYTHING > containing all the variables pointing to ANYTHING that would have > taken care of this. > You certainly don't want to dynamically add all variables at solving > time yourself, since that can't be optimized. This is the reason it "works" for ESCAPED, there we have an *ESCAPED = ESCAPED constraint. It doesn't work for CALLUSED though, I have a simple fix (CALLUSED is not big usually, so just not using it as a placeholder fixes the issue here). For the ANYTHING problem I have just dealt with it in do_ds_constraint (I'll post an updated patch soon after testing finished). Richard. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39074
