Re: Memory leak - What the ...?

[mosteo@gmail.com (Alex R. Mosteo)]

Well, I have collected all the code snippets which use Udp_Message.
This is part of an UDP bandwidth throttling mechanism, here stripped
to only leave the relevant parts. I can't reproduce it with a small
test case. I can't see anything wrong in this code neither. I'll try
with Valgrind when I get back to my linux PC, but I feel unsuccesfull.

I've placed counters in the Udp_Message type that show that there
aren't leaked objects. The leak affects only the Data buffers, not the
whole objects.

Thanks everyone for your time. Code follows.

package Udp_Msgs_List is new Ada.Containers.Doubly_Linked_Lists (
   Udp_Message);

Udp_Msgs : Udp_Msgs_List.List;

-- Packet creation: --------------------
   Udp_message_list.Prepend (
      Udp_msgs,
      Create (Buffer (1 .. Last), Packet.Destination));
----------------------------------------

-- Sending -----------------------------
-- This is called periodically following some throttling rules.
---------------------------------------------------------------
   if Is_empty (Udp_msgs) then
      Next_sending := Clock + 1.0;
   else
      Msg := First_Element (Udp_msgs);
      Delete_first (Udp_msgs);

      Socket.Send (
         Udp_Socket,
         Msg.Data (Msg.Data'First .. Msg.Last),
         Last, -- Out value with the last sent component (should be
Msg.Last)
         Msg.Dest);

      -- Drop old packets:
      loop
         I := Udp_message_list.Last (Udp_msgs);
         exit when Is_empty (Udp_msgs) or else
            Now - Element (I).Date <=
            Globals.Options.G2_UdpOutboundTimeout;
         Delete_last (Udp_msgs); -- Drop it!
      end loop;
   end if;