[gcc r16-1302] ada: Add Ada RM clause mention

[Marc Poulhies via Gcc-cvs]

https://gcc.gnu.org/g:7c9069750405d147670ad9143d19505a5dea8240

commit r16-1302-g7c9069750405d147670ad9143d19505a5dea8240
Author: Ronan Desplanques <desplanq...@adacore.com>
Date:   Thu Feb 27 14:34:49 2025 +0100

    ada: Add Ada RM clause mention
    
    This patch adds a mention of the relevant Ada RM clause to a comment
    about a part of Find_Selected_Component, to make it easier to find.
    
    gcc/ada/ChangeLog:
    
            * sem_ch8.adb (Find_Selected_Component): Add mention.

Diff:
---
 gcc/ada/sem_ch8.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index fe9328833df4..4cd6b7d93402 100644
--- a/gcc/ada/sem_ch8.adb
+++ b/gcc/ada/sem_ch8.adb
@@ -8404,7 +8404,8 @@ package body Sem_Ch8 is
 
             if Is_Overloaded (P) then
 
-               --  The prefix must resolve to a unique enclosing construct
+               --  The prefix must resolve to a unique enclosing construct, per
+               --  the last sentence of RM 4.1.3 (13).
 
                declare
                   Found : Boolean := False;