> Seems reasonable. Do you happen to have a testcase where you can see > the effects in one of the dumps?
That's not easy because NON_LVALUE_EXPRs are present only in .original and, at least in Ada, essentially only in size expressions which are not visible in the dump. -- Eric Botcazou