digitalmars.D.bugs - [Issue 9414] New: Incorrect modification inside contracts is not detected on virtual function
- d-bugmail puremagic.com (35/35) Jan 27 2013 http://d.puremagic.com/issues/show_bug.cgi?id=9414
- d-bugmail puremagic.com (10/10) Jan 28 2013 http://d.puremagic.com/issues/show_bug.cgi?id=9414
- d-bugmail puremagic.com (12/12) Apr 03 2013 http://d.puremagic.com/issues/show_bug.cgi?id=9414
- d-bugmail puremagic.com (10/10) Apr 03 2013 http://d.puremagic.com/issues/show_bug.cgi?id=9414
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 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: -------
Jan 27 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9414 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull 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: -------
Jan 28 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9414 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 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: -------
Apr 03 2013
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: -------
Apr 03 2013