Thread overview | ||||||
---|---|---|---|---|---|---|
|
January 28, 2013 [Issue 9414] New: Incorrect modification inside contracts is not detected on virtual function | ||||
---|---|---|---|---|
| ||||
http://d.puremagic.com/issues/show_bug.cgi?id=9414 Summary: Incorrect modification inside contracts is not detected on virtual function Product: D Version: D2 Platform: All OS/Version: All Status: NEW Keywords: accepts-invalid, wrong-code Severity: normal Priority: P2 Component: DMD AssignedTo: nobody@puremagic.com ReportedBy: k.hara.pg@gmail.com --- Comment #0 from Kenji Hara <k.hara.pg@gmail.com> 2013-01-27 23:50:06 PST --- This code should be compile error, but doesn't. class C { int foo(int x) // or 'final' in { x = 10; // L6 } out(r) { x = 10; // L10 } body { return 1; } } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- |
January 28, 2013 [Issue 9414] Incorrect modification inside contracts is not detected on virtual function | ||||
---|---|---|---|---|
| ||||
Posted in reply to Kenji Hara | http://d.puremagic.com/issues/show_bug.cgi?id=9414 Kenji Hara <k.hara.pg@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2013-01-28 04:01:51 PST --- https://github.com/D-Programming-Language/dmd/pull/1569 -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- |
April 03, 2013 [Issue 9414] Incorrect modification inside contracts is not detected on virtual function | ||||
---|---|---|---|---|
| ||||
Posted in reply to Kenji Hara | http://d.puremagic.com/issues/show_bug.cgi?id=9414 --- Comment #2 from github-bugzilla@puremagic.com 2013-04-03 01:20:00 PDT --- Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/9e44ca31cc1f772722988da7f1a34f6a7c0feeb5 fix Issue 9414 - Incorrect modification inside contracts is not detected on virtual function https://github.com/D-Programming-Language/dmd/commit/80de2b74d847fe38102cd32c69ffbbfacaaaf3a8 Merge pull request #1569 from 9rnsr/fix_contracts Issue 9413 & 9414 - Detect incorrect modification inside contracts -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- |
April 03, 2013 [Issue 9414] Incorrect modification inside contracts is not detected on virtual function | ||||
---|---|---|---|---|
| ||||
Posted in reply to Kenji Hara | http://d.puremagic.com/issues/show_bug.cgi?id=9414 Walter Bright <bugzilla@digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla@digitalmars.com Resolution| |FIXED -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- |
Copyright © 1999-2021 by the D Language Foundation