[Bug analyzer/114285] Use of uninitialized value when copying a struct field by field

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114285

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
(In reply to Antoni from comment #0)
> Created attachment 57655 [details]
> Reproducer for the bug

[...]

> I tried to reproduce in C and I attached the reproducer.

Trunk with -fanalyzer: https://godbolt.org/z/847M165zf