This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] patch suggestion: def_op vs vdef_ops
On Wed, 29 Jan 2003, Jose Renau wrote:
> Something like:
>
> *x = k; <-- dead store to *x.
> ...
> *x = y;
> ...
> z = *x + k;
>
Oh, would you look at that? That's a bug. Variable *x should
not be aliased with anything, but we considered it alias with
itself and proceed to put it in virtual operands everywhere.
That's why we're not detecting the dead store.
I'll work on a fix.
Diego.