[Patch] Factor self-referential size trees into functions

[Arnaud Charlet]

> Also, maybe you want the function to be named SZ.%d instead of SZ%d just 
> for clarity in the gimple outputs with functions named SZ%d by the user 
> (you never know -- though maybe Ada functions are mangled?)

Ada functions are indeed "mangled": all user functions are all lowercased
(Ada is case insensitive).

>>   2. more aggressive propagation of TREE_READONLY in expressions.  Expressions
>> cannot be factored out if they contain SAVE_EXPRs so superfluous SAVE_EXPRs
>> must be eliminated as much as possible by tracking the TREE_READONLYness.
> 
> If I understand the patch correctly, this is a one-liner and could be 
> submitted separately (personally, I would have no problem if the rest of 
> the patch was approved by an Ada maintainer, or if you just went ahead and 
> committed it).

The patch is certainly pre-approved from an Ada point of view.

Arno