[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#737225: marked as done ([Fixed in 11] gnat: decimal type's 'Round does not round, effectively truncates)

Your message dated Sun, 28 Jul 2024 15:35:35 +0000
with message-id <[🔎] E1sY5vr-00F0o3-Pw@fasolo.debian.org>
and subject line Bug#1076503: Removed package(s) from unstable
has caused the Debian Bug report #737225,
regarding [Fixed in 11] gnat: decimal type's 'Round does not round, effectively truncates
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
737225: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=737225
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: gnat
Version: 4.6
Severity: normal
Tags: patch

Dear Maintainer,

The program attached to this report reflects a finding
in c.l.ada, Jan 2014, "How to round to the nearest
fixed-point value",
Message-ID: <slrnldvtim.1lme.lithiumcat@sigil.instinctive.eu
which has been classified as a compiler bug. The program
should run as is, with no output. Instead, it raises
Program_Error because the value of 0.999, rounded to 3 digits,
is not 1.00, but 0.99.

procedure Round_Decimal is

   --  OJBECTIVE:
   --    Check that 'Round of a decimal fixed point type does round
   --    away from zero if the operand is of a decimal fixed point
   --    type with a smaller delta.

   type Milli is delta 0.001 digits 9;
   type Centi is delta 0.01 digits 9;

   function Rounded (Value : Milli) return Centi;
   --  Value, rounded using Centi'Round

   function Rounded (Value : Milli) return Centi is
   begin
      return Centi'Round (Value);
   end Rounded;

begin

   --  Operands used directly:

   if not (Milli'Round (0.999) = Milli'(0.999)
             and
           Centi'Round (0.999) = Centi'(1.0)
             and
           Centi'Round (Milli'(0.999)) = Centi'(1.0))
   then
      raise Program_Error;
   end if;

   --  This is expected to fail, currently, but shouldn't:

   if Rounded (Milli'(0.999)) /= Centi'(1.0) then
      raise Program_Error;
   end if;

end Round_Decimal;


-- System Information:
Debian Release: 7.3
  APT prefers stable
  APT policy: (500, 'stable')
Architecture: i386 (i686)

Kernel: Linux 3.2.0-4-686-pae (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnat depends on:
ii  gnat-4.6  4.6.3-8

Versions of packages gnat recommends:
pn  ada-reference-manual  <none>
pn  gnat-gps              <none>

gnat suggests no packages.

-- no debconf information

--- End Message ---
--- Begin Message --- 
Version: 10.5.0-4+rm

Dear submitter,

as the package gcc-10 has just been removed from the Debian archive
unstable we hereby close the associated bug reports.  We are sorry
that we couldn't deal with your issue properly.

For details on the removal, please see https://bugs.debian.org/1076503

The version of this package that was in Debian prior to this removal
can still be found using https://snapshot.debian.org/.

Please note that the changes have been done on the master archive and
will not propagate to any mirrors until the next dinstall run at the
earliest.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster@ftp-master.debian.org.

Debian distribution maintenance software
pp.
Scott Kitterman (the ftpmaster behind the curtain)

--- End Message ---
Reply to: