[COMMITTED] ada: Minor fixes in description of scope depth

Message ID 20230525080528.1955789-1-poulhies@adacore.com
State Accepted
Headers
Series [COMMITTED] ada: Minor fixes in description of scope depth |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Marc Poulhiès May 25, 2023, 8:05 a.m. UTC
  From: Eric Botcazou <ebotcazou@adacore.com>

In particular, the scope depth of library units is 1 instead of 0.

gcc/ada/

	* einfo.ads (Scope_Depth): Fix circular definition.
	(Scope_Depth_Value): Fix value for library units.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/einfo.ads | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
  

Patch

diff --git a/gcc/ada/einfo.ads b/gcc/ada/einfo.ads
index 78a1534c749..b39cffd172c 100644
--- a/gcc/ada/einfo.ads
+++ b/gcc/ada/einfo.ads
@@ -4324,14 +4324,14 @@  package Einfo is
 --       concurrent types, private types and entries, and also to record types,
 --       i.e. to any entity that can appear on the scope stack. Yields the
 --       scope depth value, which for those entities other than records is
---       simply the scope depth value, for record entities, it is the
---       Scope_Depth of the record scope.
+--       simply the Scope_Depth_Value, and for record entities, is the
+--       Scope_Depth of the record's scope.
 
 --    Scope_Depth_Value
 --       Defined in program units, blocks, loops, return statements,
 --       concurrent types, private types and entries.
 --       Indicates the number of scopes that statically enclose the declaration
---       of the unit or type. Library units have a depth of zero. Note that
+--       of the unit or type. Library units have a depth of one. Note that
 --       record types can act as scopes but do NOT have this field set (see
 --       Scope_Depth above). Queries should normally be via Scope_Depth,
 --       and not call Scope_Depth_Value directly.