[gcc r13-1422] [Ada] Fix for resolution of overloaded subprogram for Iterable aspect

[Pierre-Marie de Rodat <pmderodat@gcc.gnu.org>]

https://gcc.gnu.org/g:df69e326b39dabc34f0c9b31f694079e5fa1343a

commit r13-1422-gdf69e326b39dabc34f0c9b31f694079e5fa1343a
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Fri May 20 22:29:51 2022 +0200

    [Ada] Fix for resolution of overloaded subprogram for Iterable aspect
    
    When resolving the Iterable aspect we look for a functions that are
    declared in the same scope as the annotated type and that have the
    required number and types formal parameters. However, we didn't guard
    against functions that have no formal parameter at all.
    
    gcc/ada/
    
            * sem_ch13.adb (Resolve_Iterable_Operation): Add guard to
            prevent crash when the examined function has no formal
            parameters and Etype is called on Empty entity.

Diff:
---
 gcc/ada/sem_ch13.adb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb
index 0b8911b8dcd..27f32504999 100644
--- a/gcc/ada/sem_ch13.adb
+++ b/gcc/ada/sem_ch13.adb
@@ -15943,6 +15943,7 @@ package body Sem_Ch13 is
             while Present (It.Typ) loop
                if Ekind (It.Nam) = E_Function
                   and then Scope (It.Nam) = Scope (Typ)
+                  and then Present (First_Formal (It.Nam))
                   and then Etype (First_Formal (It.Nam)) = Typ
                then
                   F1 := First_Formal (It.Nam);