Question on variable_size and function-at-a-time

[Richard Kenner]

    In particular, at what point is the size of the type fixed?  At the
    location of the typedef?  At the first use?  At the beginning of the
    function?

    I think the first alternative makes the most sense,

I agree.  I actually have a fix for this that I worked on over the weekend,
though I agree that it's a marginal case.

    As for Ada, you'll just have to insert something somewhere appropriate
    that gets the SAVE_EXPR evaluated.  Or, gasp, insert a temp variable
    yourself rather than rely on broken SAVE_EXPR semantics.

We were actually just having that discussion locally. But it's tricky
because it's stor-layout that puts in the SAVE_EXPRs, not the front end.
Indeed the Ada part of the code does make explicit temporaries here.