------- Comment #10 from rakdver at atrey dot karlin dot mff dot cuni dot cz 2006-11-01 20:26 ------- Subject: Re: Misscompilation of spec2006 gcc
> > > I will work around this problem by teaching PTA about casts from > > > nonpointers to pointers, which will cause it to end up with a nonlocal > > > var in the set. > > > > ??? There is no cast from non-pointer to pointer in this testcase. > > Actually, there is. > That's why you end up with SMT's in the first place. > # VUSE <fde_table_in_useD.1609_6>; > fde_table_in_use.0D.1617_7 = fde_table_in_useD.1609; > D.1618_8 = fde_table_in_use.0D.1617_7 * 24; > D.1619_9 = (struct dw_fde_struct *) D.1618_8; You mean that whenever there is a pointer arithmetics other than adding constants, we end up with points-to anything? :-( -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29680
