This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH, pretty-ipa] Fix wave ICE in SRA
> 2009/4/29 Martin Jambor <mjambor@suse.cz>:
> > Hi,
> >
> > the patch ?below fixes ?an ICE on ?assert in intra-SRA ?when compiling
> > boost (this issue is already fixed in the trunk patch).
> >
> > The problem is that I wrongly assumed that in an assignment in between
> > types ?conforming ?to useless_type_conversion_p() ?the ?sizes of ?both
> > sides would be the same. ?Obviously ?they need not to be. ?In fact the
>
> Err ...
>
> > RHS ?was ?substantially ?bigger ?in ?this case, ?which ?might ?confuse
> > propagating accesses.
>
> ... can you share this case? It looks bogus.
It also might be caused by inliner substitution that is not merge to
mainline (yet?, I need to benchmark it after all the aliasing
improvements after aliasing in early optimizations finally starts
working ;))
We probably ought to test this in verify_stmt and ICE, it is not really
sane to allow = statements with mismatching types.
Honza