DCE eliminating valid statement for ACATS c34007p

[Steven Bosscher]

On Tuesday 06 September 2005 14:04, Richard Kenner wrote:
> On the
> other hand, we define "valid GENERIC" to be those trees that were generated
> by the compiler immediately before the tree-ssa conversion and trees of the
> above form were generated then.  So they are valid GENERIC and ought to be
> handled by the gimplifier.

I don't think we ever defined "valid GENERIC" that way.  If we had done
that, the C and C++ front ends wouldn't have had to be converted to make
them produce valid GENERIC.
So IMHO your code should just be Ada specific.

Gr.
Steven