GDB 2.8.1 defect

[Anonymous Coward <spam@spam.com>]

In article.., Anonymous Coward wrote:
> 
> One such problem is that the "finish" command does not work.  I had
> a function that returned a float constrained to -1.0 to 1.0.  The
> "finish" command incorrectly reported the function to return
> -1.999xxx when it actually returned 0.89xxx.  So the "finish"
> command cannot be trusted on version 2.8.1.  I'll try to isolate
> that code into a small demonstration, which I will post if someone
> wants to see it.

Okay, here is a piece of code to illustrate the defect:

   procedure GDB_Final_Failure is

      function Simple_Float return Float is
      begin
         return 5.5;
      end Simple_Float;

      Some_Float : Float;

   begin

      Some_Float := Simple_Float;
      null;

   end GDB_Final_Failure;

Run these commands in gdb:

   tbreak gdb_final_failure.adb:5
   run
   finish # observe that it claims to return ~-1.999
   next
   info locals # notice that it actually returned 5.5

I'm not sure if this defect has been corrected in recent versions.