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.

Reply via email to