new DIP38: Safe references and rvalue references without runtime checks.

[Andrei Alexandrescu]

On 5/6/13 6:41 PM, Timothee Cour wrote:
>> Awfully put. I meant: this or any scheme based on internal (non-explicit)
>> annotation for functions cannot work without triggering inter-procedural
>> analysis. (I haven't read the DIP yet.)
>
> The proposed scheme doesn't require any inter-procedural analysis.
> Each function is summarized by a label indicating its ref
> dependencies, and a label propagation algorithm is used to label each
> function.

BAM! Interprocedural analysis. Doesn't matter what name you invent for 
it. It's weird - you think you're in good shape, walking down the 
street, and suddenly you're in interprocedural analysis zone.

Andrei