DConf 2013 Day 3 Talk 2: Code Analysis for D with AnalyzeD by Stefan Rohe

[Andrej Mitrovic]

On 6/12/13, Adam D. Ruppe <destructionator at gmail.com> wrote:
> On Wednesday, 12 June 2013 at 20:23:43 UTC, Andrej Mitrovic wrote:
>> Are you sure? A compiler can tell whether a function /can/ throw
>> (hence why nothrow works), so I assume it has information on
>> where an exception is thrown.
>
> Consider this:
>
> extern(D) void foo();
> void bar() { foo(); }
>
>
> That's legal D code, and foo could throw anything, and bar would
> have no idea what it is.

I thought doing this only for function definitions could make sense.
For declarations the user would have to do it manually.