Fix bug in ada_print_floating
authorTom Tromey <tromey@adacore.com>
Wed, 16 Feb 2022 19:33:45 +0000 (12:33 -0700)
committerTom Tromey <tromey@adacore.com>
Mon, 7 Mar 2022 15:27:38 +0000 (08:27 -0700)
ada_print_floating rewrites a floating-point string representation to
conform to Ada syntax.  However, if you managed to get a floating
point error, you might see:

    (gdb) print whatever
    $2 = <invalid float valu.0e>

What's happening here is that ada_print_floating doesn't recognize
this error case, and proceeds to modify the error text.

This patch fixes this problem.

gdb/ada-valprint.c
gdb/testsuite/gdb.ada/float-bits.exp

index bf95719f0406377b849a4acd66a6613af2082309..e113088491c3c13f842692da50a5ed1f51869c77 100644 (file)
@@ -314,6 +314,13 @@ ada_print_floating (const gdb_byte *valaddr, struct type *type,
   std::string s = tmp_stream.release ();
   size_t skip_count = 0;
 
+  /* Don't try to modify a result representing an error.  */
+  if (s[0] == '<')
+    {
+      fputs_filtered (s.c_str (), stream);
+      return;
+    }
+
   /* Modify for Ada rules.  */
 
   size_t pos = s.find ("inf");
index 61db5f325ad29d8bcc3e3984c72810b9311279e5..c98afb53c064afebcc20203fbf674c26c4295e4d 100644 (file)
@@ -48,3 +48,6 @@ gdb_test "print val_long_double := 16llf#7FFFF7FF4054A56FA5B99019A5C8#" \
     " = 5.0e\\+25"
 gdb_test "print val_long_double" " = 5.0e\\+25" \
     "print val_long_double after assignment"
+
+gdb_test "print 16llf#a56fa5b99019a5c800007ffff7ff4054#" \
+    " = <invalid float value>"