It certainly seems unfortunate that tree-ssa removes a critical (well documented :-) part of gcc functionality, and this omission may well cause significant delays in bringing Ada up to tree-ssa level. Are there any other features that are being removed like this?