From: Bob Dubner <rdubner@symas.com>
Date: Wed, 26 Mar 2025 20:07:44 +0000 (-0400)
Subject: cobol: Bring trunk in line with Dubner's test system.
X-Git-Tag: basepoints/gcc-16~616
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=4c05d6d26dbc0e8799325cc1c1a8221b52e7e28e;p=thirdparty%2Fgcc.git

cobol: Bring trunk in line with Dubner's test system.

gcc/cobol

	* genapi.cc: (parser_display_internal): Adjust for E vs e exponent notation.
	* parse.y: (literal_refmod_valid): Display correct value in error message.
---

diff --git a/gcc/cobol/genapi.cc b/gcc/cobol/genapi.cc
index dc0bb79e153..032236b15db 100644
--- a/gcc/cobol/genapi.cc
+++ b/gcc/cobol/genapi.cc
@@ -4818,14 +4818,34 @@ parser_display_internal(tree file_descriptor,
     if( !p )
       {
       // Probably INF -INF NAN or -NAN, so ach has our result
+      // Except that real_to_decimal prints -0.0 and 0.0 like that with
+      // no e.
+      if( ach[0] == '0' || ( ach[0] == '-' && ach[1] == '0' ))
+        __gg__remove_trailing_zeroes(ach);
       }
     else
       {
-      p += 1;
-      int exp = atoi(p);
+      int exp = atoi(p+1);
       if( exp >= 6 || exp <= -5 )
         {
         // We are going to stick with the E notation, so ach has our result
+        // Except that real_to_decimal prints with e notation rather than E
+        // and doesn't guarantee at least two exponent digits.
+        *p = 'E';
+        if( exp < 0 && exp >= -9 )
+          {
+            p[1] = '-';
+            p[2] = '0';
+            p[3] = '0' - exp;
+            p[4] = '\0';
+          }
+        else if( exp >= 0 && exp <= 9 )
+          {
+            p[1] = '+';
+            p[2] = '0';
+            p[3] = '0' + exp;
+            p[4] = '\0';
+          }
         }
       else if (exp == 0)
         {
diff --git a/gcc/cobol/parse.y b/gcc/cobol/parse.y
index bad99528e59..538e56fa64d 100644
--- a/gcc/cobol/parse.y
+++ b/gcc/cobol/parse.y
@@ -12856,14 +12856,14 @@ literal_refmod_valid( YYLTYPE loc, const cbl_refer_t& r ) {
     if( ! is_literal(refmod.len->field) ) return true;
     auto edge = refmod.len->field->as_integer();
     if( 0 < edge ) {
-      if( --edge < r.field->data.capacity ) return true;
+      if( edge-1 < r.field->data.capacity ) return true;
     }
     // len < 0 or not: 0 < from + len <= capacity
     error_msg(loc, "%s(%s:%zu) out of bounds, "
 	           "size is %u",
 	      r.field->name,
 	      refmod.from->name(),
-	      size_t(refmod.len->field->data.value_of()),
+	      size_t(edge),
 	      static_cast<unsigned int>(r.field->data.capacity) );
     return false;
   }