https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945
--- Comment #6 from Mark Wielaard <mark at gcc dot gnu.org> --- (In reply to Eric Botcazou from comment #5) > > What code is generated for that call to 'Valid in "if > > Indexed_Assoc.Gen_Id'Valid then". Does that conditional really depend on > > uninitialized data? > > Yes, as explained in the comment, Indexed_Assoc.Gen_Id may be uninitialized. Sure. But I assume the unitialized part isn't accessed when resolving the 'Valid attribute. Does checking for the 'Valid attribute depend on any uninitialized bits? What would probably be most useful is knowing what code is generated for that if statement.
