digitalmars.D.bugs - [Issue 5327] New: Immutable correctness is broken
- d-bugmail puremagic.com (35/35) Dec 06 2010 http://d.puremagic.com/issues/show_bug.cgi?id=5327
- d-bugmail puremagic.com (18/18) Dec 07 2010 http://d.puremagic.com/issues/show_bug.cgi?id=5327
- d-bugmail puremagic.com (12/12) Jun 11 2011 http://d.puremagic.com/issues/show_bug.cgi?id=5327
http://d.puremagic.com/issues/show_bug.cgi?id=5327 Summary: Immutable correctness is broken Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: zan77137 nifty.com This code shouldn't work: ------------------------------ import std.stdio; struct ID { immutable int value; } struct Data { ID id; } void main() { Data data = Data(ID(1)); immutable int* val = &data.id.value; writeln(*val); // 1 data = Data(ID(2)); // <- This line shouldn't be allowed. writeln(*val); // 2 } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 06 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5327 Stewart Gordon <smjg iname.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |accepts-invalid, spec CC| |smjg iname.com Blocks| |2573 Summary|Immutable correctness is |Creating new struct with |broken |literal bypasses | |immutability of members of | |members of the struct There are several bugs that match the summary line you had. See issue 2573. This is closely related to issue 2625. The solution is given in issue 2625 comment 4. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 07 2010
http://d.puremagic.com/issues/show_bug.cgi?id=5327 Walter Bright <bugzilla digitalmars.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |bugzilla digitalmars.com Resolution| |FIXED 20:17:15 PDT --- https://github.com/D-Programming-Language/dmd/commit/365297878c11039944be5d78d57909564bef70aa -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 11 2011