https://gcc.gnu.org/g:7ab63499ac8a0883a53fbc85e7868d5f72f42571
commit r16-1311-g7ab63499ac8a0883a53fbc85e7868d5f72f42571
Author: Ronan Desplanques <desplanq...@adacore.com>
Date: Mon Mar 3 12:03:02 2025 +0100
ada: Add example in Current_Entity_In_Scope comment
gcc/ada/ChangeLog:
* sem_util.ads (Current_Entity_In_Scope): Add example in comment.
Diff:
---
gcc/ada/sem_util.ads | 16 +++++++++++++++-
1 file changed, 15 insertions(+), 1 deletion(-)
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 38e9676c5c4b..29dbae8073ef 100644
--- a/gcc/ada/sem_util.ads
+++ b/gcc/ada/sem_util.ads
@@ -619,7 +619,21 @@ package Sem_Util is
-- Find whether there is a previous definition for name or identifier N in
-- the current scope. Because declarations for a scope are not necessarily
-- contiguous (e.g. for packages) the first entry on the visibility chain
- -- for N is not necessarily in the current scope.
+ -- for N is not necessarily in the current scope. Take, for example:
+ --
+ -- package P is
+ -- X : constant := 13;
+ --
+ -- package Q is
+ -- X : constant := 67;
+ -- end Q;
+ --
+ -- Y : constant := X;
+ -- end P;
+ --
+ -- When the declaration of Y is analyzed, the first entry on the visibility
+ -- chain is the X equal to 67, but Current_Entity_In_Scope returns the X
+ -- equal to 13.
function Current_Scope return Entity_Id;
-- Get entity representing current scope
