https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945
--- Comment #3 from Mark Wielaard <mark at gcc dot gnu.org> --- 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?
