--- Comment #2 from Kenji Hara <> 2012-01-06 09:03:30 PST ---
Technical note:

Maybe, the original issue by Robert Clipsham is "unreachable scope(failure)
should warn "statement is not reachable" _with line number_.
But today it is technically enhancement. Because:

1. Current D2 dmd does only check Exception throwing possibilities in flow
That means Throwable is not the target of the analysis. In above code,

    scope(failure) return false;
    return true;    // (a)

dmd does not consider the statement (a) throws Throwable or not.

2. scope(failure) catches Throwable object and rethrow it. Therefore the
scope(failure) statement is always analysed as *may be reachable*.

>From the two reasons, current dmd cannot detect that the `scope(failure) return
false;` is not reachable.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to