From: Ronan Desplanques <desplanq...@adacore.com>
The implicit declarations for labels are defined in 5.1 (12), not
5.1 (3).
gcc/ada/ChangeLog:
* sinfo.ads: Fix RM reference.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/sinfo.ads | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads
index a0c73140344..9b5d3c29ca4 100644
--- a/gcc/ada/sinfo.ads
+++ b/gcc/ada/sinfo.ads
@@ -8172,7 +8172,7 @@ package Sinfo is
-- An implicit label declaration is created for every occurrence of a
-- label on a statement or a label on a block or loop. It is chained
-- in the declarations of the innermost enclosing block as specified
- -- in RM section 5.1 (3).
+ -- in RM section 5.1 (12).
-- The Defining_Identifier is the actual identifier for the statement
-- identifier. Note that the occurrence of the label is a reference, NOT
--
2.43.0
