Bug 10617 – contract with -profile -debug is not nothrow
Status
RESOLVED
Resolution
FIXED
Severity
regression
Priority
P3
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2013-07-11T19:24:00Z
Last change time
2013-09-02T21:45:52Z
Keywords
pull, rejects-valid
Assigned to
nobody
Creator
kekeniro2
Comments
Comment #0 by kekeniro2 — 2013-07-11T19:24:08Z
// test.d
class Foo {
void test() nothrow
in { }
body { }
}
COMMAND:
dmd -profile -debug test.d
OUTPUT:
Error: 'nothrow_bug.Foo.test.__require' is not nothrow
2.062 it works.
And without 'class Foo' it works.
Comment #1 by kekeniro2 — 2013-08-27T20:26:17Z
*** Issue 10520 has been marked as a duplicate of this issue. ***
Comment #2 by hsteoh — 2013-08-30T11:14:03Z
This regression has existed since 2.063.2.
git bisect shows that it's caused by this commit: a1dd1ab5140fee5dbed2e18a1a952cd2d42699c7 - fix Issue 9788 - -profile doesn't work if exceptions are thrown in the running program
It only happens when compiling with -profile.