https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #12 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- Thanks. I misremembered, the testcase has a single variable with two fields, one uninitialized and one initialized, instead of two variables, but it's exactly the same reasoning (and it would be trivial to add the two variables anyway).
