[gcc/devel/autopar_devel] [Ada] Wrong resolution of 'access in protected subprogram

[gcc/devel/autopar_devel] [Ada] Wrong resolution of 'access in protected subprogram

[Giuliano Belinassi]

https://gcc.gnu.org/g:0a253f42792623585789133655679b5c4065b5ba

commit 0a253f42792623585789133655679b5c4065b5ba
Author: Javier Miranda <miranda@adacore.com>
Date:   Tue Jun 2 15:46:10 2020 -0400

    [Ada] Wrong resolution of 'access in protected subprogram
    
    gcc/ada/
    
            * sem_attr.adb (Resolve_Attribute): Resolve overloaded
            N_Selected_Component prefix of 'Access. Required to handle
            overloaded prefixed view of protected subprograms.

Diff:
---
 gcc/ada/sem_attr.adb | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_attr.adb b/gcc/ada/sem_attr.adb
index 80e8f099e37..1a80e798eab 100644
--- a/gcc/ada/sem_attr.adb
+++ b/gcc/ada/sem_attr.adb
@@ -11023,7 +11023,29 @@ package body Sem_Attr is
                end if;
 
                Resolve (Prefix (P));
-               Generate_Reference (Entity (Selector_Name (P)), P);
+
+               if not Is_Overloaded (P) then
+                  Generate_Reference (Entity (Selector_Name (P)), P);
+
+               else
+                  Get_First_Interp (P, Index, It);
+                  while Present (It.Nam) loop
+                     if Type_Conformant (Designated_Type (Typ), It.Nam) then
+                        Set_Entity (Selector_Name (P), It.Nam);
+
+                        --  The prefix is definitely NOT overloaded anymore at
+                        --  this point, so we reset the Is_Overloaded flag to
+                        --  avoid any confusion when reanalyzing the node.
+
+                        Set_Is_Overloaded (P, False);
+                        Set_Is_Overloaded (N, False);
+                        Generate_Reference (Entity (Selector_Name (P)), P);
+                        exit;
+                     end if;
+
+                     Get_Next_Interp (Index, It);
+                  end loop;
+               end if;
 
             --  Implement check implied by 3.10.2 (18.1/2) : F.all'access is
             --  statically illegal if F is an anonymous access to subprogram.