DCE eliminating valid statement for ACATS c34007p

[Richard Kenner]

    >   #   VUSE <D.861_10>;
    >   VIEW_CONVERT_EXPR<struct c34007p__T7b>(*D.861).b = 1;

    Why are we using a VIEW_CONVERT_EXPR here btw?  I'd say


        D.862 = (struct c34007p__T7b  *) D.860;
        D.862->b = 1;

    would be a lot more middle-end friendly and maybe not exposing the
    problem you are seeing?  Of course the gimplifier could do this
    transformation.

This falls out of general-purpose code in the front-end and I think you're
right that the gimplifier could (and should) do this transformation.