This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: How to debug ssa optimizer
- From: Richard Henderson <rth at redhat dot com>
- To: Richard Kenner <kenner at vlsi1 dot ultra dot nyu dot edu>
- Cc: gcc at gcc dot gnu dot org
- Date: Sun, 20 Jun 2004 14:51:55 -0700
- Subject: Re: How to debug ssa optimizer
- References: <10406202100.AA22574@vlsi1.ultra.nyu.edu>
On Sun, Jun 20, 2004 at 05:00:50PM -0400, Richard Kenner wrote:
> Ah yes, the "Fold *&B to B" case? Sure, I'd be happy with a check
> added there that we don't return the wrong type.
>
> Yup. But then if it falls through, verify_stmt will fail since the
> operand isn't valid. So, as I said, there are still some holes here.
Yes, but I think that abort is better than a much later wrong type abort.
r~