• d-bugmail puremagic.com (25/25) Apr 15 2023 https://issues.dlang.org/show_bug.cgi?id=23841

d-bugmail puremagic.com writes:

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

          Issue ID: 23841
           Summary: isZeroInit does not take into account unions
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P4
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: dkorpel live.nl

```
union U 
{
    float x = 0;
    float y;
}

static assert(__traits(isZeroInit, U)); // fails
```

It also wastes bytes in the binary because it emits `U.init` in .rodata instead
of .bss.

Workaround: add `=void` to void initialize the other union members.

--