Escape analysis (full scope analysis proposal)

[Robert Jacques]

On Wed, 29 Oct 2008 07:28:55 -0400, Michel Fortin  
<michel.fortin at michelf.com> wrote:

> P.P.S.: This syntax doesn't fit very well with the current  
> scope(success/failure/exit) feature.
How about o.scope instead of scope(o)? Also, this would allow  
contract-like syntax:
void foo (myObject o, int* i)
  if (o.scope <= i.scope) {
...
}