• d-bugmail puremagic.com (23/23) Jul 16 https://issues.dlang.org/show_bug.cgi?id=24665

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=24665

          Issue ID: 24665
           Summary: Static array cast can be an unsafe lvalue
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: nick geany.org

Both the cast assignments below corrupt the address of the Object reference in
c[0]. They should be rejected in  safe code.

void main()  safe
{
    Object[1] c;
    (cast(size_t[1]) c) = 2; //!
    (cast(size_t[1]) c)[0] = 2; //!
}

Note that when used as an rvalue, the casts are OK.

--