[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