http://d.puremagic.com/issues/show_bug.cgi?id=2362

           Summary: Confusing description of 'aliasing of invariant with
                    mutable'?
           Product: D
           Version: 2.019
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P3
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: godaves@yahoo.com


The table at the bottom of http://digitalmars.com/d/2.0/const3.html can be read to indicate that 'aliasing of invariant with mutable' is acceptable ('Yes'), even though the behavior is 'undefined'. IMO, the the subject needs to be further clarified. Perhaps an explanation of the undefined behavior and an example of how to check for aliasing at runtime with an assert or EH.


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=2362


bugzilla@digitalmars.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #1 from bugzilla@digitalmars.com  2008-10-20 22:23 -------
Fixed dmd 2.020


--