]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Add Ada RM clause mention
authorRonan Desplanques <desplanques@adacore.com>
Thu, 27 Feb 2025 13:34:49 +0000 (14:34 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 9 Jun 2025 06:32:01 +0000 (08:32 +0200)
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.

gcc/ada/sem_ch8.adb

index fe9328833df446230374d1c1e5b689e3a88df47d..4cd6b7d934029792de4a8f1b597d69d4e1b34d62 100644 (file)
@@ -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;