https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66790
--- Comment #13 from Pierre-Marie de Rodat <derodat at adacore dot com> --- (In reply to Eric Botcazou from comment #12) > 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). Thank you for your involvement into this! :-)
