Hah! Every time you drastically change what is valid gimple, you have to change all of the optimizers. Certainly true for scalars, but is that true for what's within a chain of references?