[Issue 2362] New: Confusing description of 'aliasing of invariant with mutable'?

[d-bugmail at puremagic.com]

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 at digitalmars.com
        ReportedBy: godaves at 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.


--