> I don't see how a VAR_DECL can ever get a DECL_RTL equal to one of
> the mentioned regs.
Doesn't that happen when you have a local variable that's a
variable-sized object? What would have changed that would cause it to
no longer happen? This is tree-level stuff, not RTL.
> The patch is ok if a gcc_unreachable () inside the if () passes bootstrap.
We have no such in most of the compiler, so I don't think that's a good test.
There may be some in Ada, but I'm not sure. I'd suggest running it over
all the test suites as well.