https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101780
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to KL from comment #2) > > How would P,Q,R be left uninitialized? > > Only if the analyzer has the info that, at this stage, there no default > value for the field. > It could be interesting in the context of a partially initialized struct (by > mistake, intended by the developer?)? But if you initialize it with = {.a = 45}; or anything similar, there are no uninitialized members. The members without an explicit initializer are value-initialized.