https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116945
--- Comment #5 from Eric Botcazou <ebotcazou 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? Yes, as explained in the comment, Indexed_Assoc.Gen_Id may be uninitialized.