digitalmars.D.bugs - [Issue 8192] New: inconsistent behavior of initialized immutable instance fields
- d-bugmail puremagic.com (29/29) Jun 03 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8192
- d-bugmail puremagic.com (15/15) Jun 03 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8192
- d-bugmail puremagic.com (18/18) Jun 03 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8192
- d-bugmail puremagic.com (13/13) Jun 03 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8192
- d-bugmail puremagic.com (13/13) Dec 26 2012 http://d.puremagic.com/issues/show_bug.cgi?id=8192
http://d.puremagic.com/issues/show_bug.cgi?id=8192 Summary: inconsistent behavior of initialized immutable instance fields Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: timon.gehr gmx.ch DMD 2.059: struct S{ immutable y = 1; } void main(){ writeln(S.y); // ok writeln(&S.y); // error with(S){ writeln(&y); // ok assert(*&y==y); // fail } } Either the code should run through or all the commented lines should fail to compile. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 03 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8192 Better test case: struct S{ immutable y = 1; } void main(){ assert(S.y==1); // ok assert(&S.y!is null); // compile error with(S){ assert(&y!is null); // ok assert(*&y==y); // fail } } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 03 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8192 art.08.09 gmail.com changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |art.08.09 gmail.com Worse, the struct layout changes when an immutable field has an initializer. struct S { immutable int x = 1; int y; } struct S2 { int x; int y; } void main(){ S s; S2 s2; static assert(s.y.offsetof==s2.y.offsetof); // fails } Trying to take the address of s.x fails with 'not an lvalue', etc. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 03 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8192 A better example: struct S { immutable int x = 1; int y; } struct S2 { immutable int x; int y; } void main(){ S s; S2 s2; static assert(s.y.offsetof==s2.y.offsetof); // fails } -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Jun 03 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8192 Andrej Mitrovic <andrej.mitrovich gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |andrej.mitrovich gmail.com Resolution| |DUPLICATE 16:03:42 PST --- Another case of Issue 3449 methinks. *** This issue has been marked as a duplicate of issue 3449 *** -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Dec 26 2012