The full generality of DECL_VALUE_EXPR should be able to handle debug info for SRA. ... and a *tremendous* number of previously messy cases in Ada, such as renamings. That's going to be *very* useful.