[Issue 11375] [profile+nothrow] Semantic 'no throw' error with -profile switch

d-bugmail at puremagic.com d-bugmail at puremagic.com
Thu Nov 14 07:27:45 PST 2013


https://d.puremagic.com/issues/show_bug.cgi?id=11375


yebblies <yebblies at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull, rejects-valid
                 CC|                            |yebblies at gmail.com


--- Comment #1 from yebblies <yebblies at gmail.com> 2013-11-15 02:27:43 EST ---
class B {
    this() {}
}

class D() : B {}

void main() nothrow
{
    auto d = new D!()();
}

The check for throwing is run _before_ adding the implicit super call, so
D.__ctor is inferred as nothrow.  With -profile, the blockExit is run again to
determine if a try-finally is necessary, and it errors on the super call.

https://github.com/D-Programming-Language/dmd/pull/2765

-- 
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------


More information about the Digitalmars-d-bugs mailing list