• d-bugmail puremagic.com (32/35) Jan 20 2021 https://issues.dlang.org/show_bug.cgi?id=21561

d-bugmail puremagic.com writes:

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

          Issue ID: 21561
           Summary: Unsafe aliasing of immutable union member allowed in
                     safe code
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: snarwin+bugzilla gmail.com

Example program:

---
union U
{ 
    int x;
    immutable int y;
}

void example()  safe
{
    U a = { x: 0 };
    int n = a.y;
}
---

Access to `a.y` should be forbidden in  safe code according the the language
spec's definition of safe aliasing [1], which permits aliasing between types
with different mutability qualifiers only when

 * both types are const or immutable; or
 * one of the types is mutable while the other is a const-qualified basic data
   type

[1] https://dlang.org/spec/function.html#safe-aliasing

--