On 19/06/2023 19.59, Barry Revzin via Std-Discussion wrote:
> Given:
>
> int main() {
> union U { int i; char c; };
> U u{.i=1};
>
> char c1 = (char&)u;
> char c2 = (char&)u.i;
> char c3 = u.c;
> return c1 + c2 + c3;
> }
>
> c1, c2, and c3 are obviously equivalent here. If there's wording to suggest otherwise, that's a wording defect.

Note that this uses the "object representation" and aliasing special-cases for "char";
unfortunately, there are some specification holes in that area.

Jens