This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: DCE eliminating valid statement for ACATS c34007p
- From: kenner at vlsi1 dot ultra dot nyu dot edu (Richard Kenner)
- To: richard dot guenther at gmail dot com
- Cc: gcc at gcc dot gnu dot org
- Date: Tue, 6 Sep 05 09:26:41 EDT
- Subject: Re: DCE eliminating valid statement for ACATS c34007p
The only useful definition is that valid GENERIC is what the
gimplifier can turn into valid GIMPLE, which is much more well-defined
;) Modulo bugs in the gimplifier of course ...
But that's the whole problem! If you have a tree that the gimplifier
can't correctly process, how do you determine whether it's not valid
GENERIC or whether the gimplifier has a bug? Using a tautology as the
definition isn't helpful in that process.