[PATCH] Remove redundant checking from may_propagate_copy, allow copyprop through (void *) conversion

Daniel Berlin dberlin@dberlin.org
Tue Sep 4 14:57:00 GMT 2007

On 9/4/07, Richard Guenther <rguenther@suse.de> wrote:
> On Tue, 4 Sep 2007, Richard Guenther wrote:
> >
> > This removes redundant checking done by may_propagate_copy.  First it
> > calls useless_type_conversion_p twice, second it does compare alias set
> > numbers which useless_type_conversion_p does as well.  As
> > useless_type_conversion_p special-cases conversions to (void *) this
> > enables us to copypropagate in the testcase added.
> >
> > Bootstrapping and testing on x86_64-unknown-linux-gnu in progress.
> And the following actually passed bootstrapping and testing.  I'll
> install after the usual wait-for-comments.  The new testcase would
> ICE in the assert in get_smt_for if we didn't specialize VOID_TYPE
> there (I tried to avoid generating a SMT for void, but that was too
> tricky).

But why does the alias set for our tag not match the alias set for void *?

It seems like a bug otherwise.

More information about the Gcc-patches mailing list