<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/107152>107152</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
             Does changing the order of members in the union affect the actual memory content of the union?
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          edumoot
      </td>
    </tr>
</table>

<pre>
    The test case comes from #107144.

I have a question: in the context of C, would changing the order of elements in a union impact the memory content of the union?

In a union,

- the size of the union is determined by its largest member. 
- all members share the same memory space. 

Can we make a conclusion that the relative memory layout of the members doesn't change based on the order of definition?

```
clang -g -O3 -o 402_O3.out 402.c

(lldb) file 402_O3.out
(lldb) b 38
(lldb) r
[...]
(lldb) p global_union
(volatile U3) {
  f0 = (f0 = -1, f1 = 8313)
  f1 = -1
}
(lldb) mem read &global_union
0x555555558030: ff ff ff ff 79 20 00 00 00 00 00 00 00 00 00 00  ....y ..........
0x555555558040: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00  ................
(lldb) 

```
Now, we change the order of elements in the union while keeping the remaining at the same, and save it as 'test.c'.
```
union U3 {
   signed f1 ;
   struct S0 f0; 
};



.
.
.

clang -g -O3 -o test_O3.out test.c


(lldb) file test_O3.out
(lldb) b 38
(lldb) r
[...]
lldb) p global_union
(volatile U3) {
  f1 = -1
  f0 = (f0 = -1, f1 = 0)
}
(lldb) mem read &global_union
0x555555558030: ff ff ff ff 00 00 00 00 00 00 00 00 00 00 00 00 ................
0x555555558040: 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00  ................

```
The last wo bytes `79 20` changed to `00 00`

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJy0VU2TozYQ_TXypcuUEGDMgcPOuFyVS_aQ7HlLoAaUFZIjCXudX58SHx47eGZT-aAo2Wr1e2q1-tHcOdlqxJJkLyQ7bPjgO2NLFENvjN9URlzLXzsEj85DzR1CbXp00FjTA2FJTPM4TSNCD4R-msafoONnBA6_D-i8NJokn0Bq8F0Aa4_fPZgGXgl7hYsZlIC647qVuh1djBVogwMq7FF7F7AcBi2NBtmfeO1Hvx57Y68Tox4Zg3V0I8nxIaAbnrDX-4XtCHHyD3yAg3Qg0KPtpUYB1RWkd6C4bUMSeuwrtBEsFFyp2ebAddziRMr7W4juxGtcANP4yjVcEHr-LSSqNrpWgwtb-45Px7OouJfnG4niVzPcjrlsKAw6TVjupxwiVNyhAKMfUymwkVr6dWrIjs7vOK0V1y1sW9h-TmBrIKXs6-ckChunlEX1A5TtlRIVYQU0UuGd72q9gmS_MtrZkr1EUUSyw8rhBK0yFVdfp6tbls8mJEYhfEmCF8lfpiWAhgJJDkDYfv63jUONNfE42SdxANyc48VlIs7XAfTYg0UugLDdOhT6PZufPU1oqPGmeXvzAhgF-uELURRF13GcnjVxOhJ_TPMO8f2zOtoHNfCzuYzKxKWk3hXlm2AuXbiQb4inRcUWey51mM31HAQReLkW4ML3QXrgDkLtovNRTVgePY1n2uFLcn_TMH60xHSJd1Zvh9rDLxQaSpIXeLvaxWk9Rs9-nqshBLrIYQ56TfoXVdxh_o0s_rkmHsv8RyKhN4X814L4O3X7vGz_Pz08K7fQ7BR3Hi4GqqtHB2RHRzWTHZ0lIcCbYB7Zb8iNKBNRJAXfYBnnLEuKXVpkm67MmqLJRb6nRVplrGnSbMcY5XyX4Z7yXb6RJaMspQVNGE33cRbRrNrnBctjkcSMp4ykNOhJRUqd-8jYdiOdG7AM3TdjG8UrVG5s4YxpvMC4ShgLHd2WAbSthtaRlCrpvHuj8dIrLOFg0L3ThZdO86B33jQ4t2Fe-4GrH3TjzWBV2Xl_ciT5RNiRsGMrfTdUUW16wo4hnvlne7LmN6w9YcfxFI6w43zMc8n-DAAA__87F2o8">