> So it is indeed ambiguous, and it would make sense to clean up, in a vacuum.

hmm... that seems analogous to saying that it's proper behavior for a compiler to silently delete references to uninitialized variables.