The implicit declarations for labels are defined in 5.1 (12), not
5.1 (3).
gcc/ada/ChangeLog:
* sinfo.ads: Fix RM reference.
-- 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