[Bug exp/27051] New: maintenance command to show floating point emulation precision

["vries at gcc dot gnu.org" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=27051

            Bug ID: 27051
           Summary: maintenance command to show floating point emulation
                    precision
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: exp
          Assignee: unassigned at sourceware dot org
          Reporter: vries at gcc dot gnu.org
  Target Milestone: ---

I just did commit 9cd7a95a2bb9ba9d5a6af022e5454c8ce78aee56 "[gdb/testsuite] Fix
gdb.base/float128.exp with --with-mpfr=no", where we do:
...
+       if { $mpfr_supported == 0 } {
+          # If the host platform has native 128-bit float support (as is
+          # the case for some versions of s390 and powerpc), the
+          # "print large128" test should be passing, even without MPFR
+          # support.  So, in those cases we should have fail here rather than
+          # unsupported.  However, given that we don't have a way to readily
+          # test for this, we fall back to unsupported.
+          unsupported "$test (Missing MPFR support)"
+       } else {
...

In principle, gdb could make a statement through some maintenance command about
what the expected host-side float point precision is. [ I'm sort of hoping
there already is one, and I haven't found it yet. ]

Then, using this maintenance command we could make this test more accurate.

-- 
You are receiving this mail because:
You are on the CC list for the bug.