'scope' finds stack corruption bug in druntime

[Walter Bright via Digitalmars-d]

On 4/4/2017 2:22 AM, Steven Schveighoffer wrote:
> On Tuesday, 4 April 2017 at 08:32:33 UTC, Walter Bright wrote:
>> https://github.com/dlang/druntime/pull/1799
>>
>> In complex code, it is impractical to check for this stuff manually. I'm happy
>> that 'scope' is proving its worth.
>
> Not a bug. Exception is allocated in the outer function and is always caught in
> the outer function. How can it escape?

You are correct, it is a false positive. I updated the PR with another method, 
as doing the flow analysis to detect the false positive isn't simple.