From: Ronan Desplanques <desplanques@adacore.com>
Date: Thu, 27 Feb 2025 13:34:49 +0000 (+0100)
Subject: ada: Add Ada RM clause mention
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7c9069750405d147670ad9143d19505a5dea8240;p=thirdparty%2Fgcc.git

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 --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb
index fe9328833df..4cd6b7d9340 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;