[REG2.064a] fix issue 10617 - contract with -profile -debug is not nothrow

[hpohl]

http://d.puremagic.com/issues/show_bug.cgi?id=10617

[9rnsr]

Looks good. But I found an adjacent bug (this is not direct part of the regression).

class Foo
{
    void func() nothrow pure @safe
    in {} out {} body {}
}

class Bar : Foo
{
    override void func()    // inherits attributes of Foo.func
    in {} out {} body {}
}

Even if your patch applied, Bar.func still reports "cannot call xxx function" error.
The reason is the two calls of findVtblIndex in FuncDeclaration::semantic. It would modify the type field if a derived method inherits the attributes of its base method (This is documented behavior. Read http://dlang.org/function#virtual-functions if you interest). But it is not reflected to the local variable TypeFunction *f.

[WalterBright]

Kenji, I created a bug report for your comment: http://d.puremagic.com/issues/show_bug.cgi?id=10953

[9rnsr]

@WalterBright Thanks for the report, and merging this. I'll open another PR for that.