https://gcc.gnu.org/g:035fa0ded56a1c7b56f36dfd134f347f6a4a8af5

commit r16-1452-g035fa0ded56a1c7b56f36dfd134f347f6a4a8af5
Author: Ronan Desplanques <desplanq...@adacore.com>
Date:   Wed Apr 2 17:30:43 2025 +0200

    ada: Add Ada RM clause reference in comment
    
    gcc/ada/ChangeLog:
    
            * libgnat/s-valuer.adb (Scan_Raw_Real): Add RM reference.

Diff:
---
 gcc/ada/libgnat/s-valuer.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/ada/libgnat/s-valuer.adb b/gcc/ada/libgnat/s-valuer.adb
index 4b444c2f8a77..2410b6bd4e14 100644
--- a/gcc/ada/libgnat/s-valuer.adb
+++ b/gcc/ada/libgnat/s-valuer.adb
@@ -604,7 +604,8 @@ package body System.Value_R is
          Bad_Value (Str);
       end if;
 
-      --  Check if the first number encountered is a base
+      --  Check if the first number encountered is a base. ':' is allowed in
+      --  place of '#' in virtue of RM J.2 (3).
 
       pragma Assert (Index >= Str'First);

Reply via email to