GNAT memory leak in compiled code (3.13p/Linux)

GNAT memory leak in compiled code (3.13p/Linux)

[Marc A. Criley]

The appended program, when compiled with GNAT 3.13p on Linux (RedHat
6.2) experiences a memory leak.  The offending line contains an implicit
dereference that occurs when assigning to the Buf array slice.

Does this leak occur in later versions of GNAT?  Or on other platforms?

The way I observed the memory leak occurring was by running the
executable in one window and using the following Linux command in
another:

top -bq | grep mem_leak

The fifth column is the total process size, which can be observed to
continuously grow as the program runs.

(Note to Robert Dewar:  If this memory leak is present in later versions
of GNAT, a bug report will of course be submitted to ACT via the
appropriate mechanism.)

Marc A. Criley, Consultant
Quadrus Corporation
www.quadruscorp.com

-------------------------------------------------------------------------

with Ada.Strings.Unbounded;
use  Ada.Strings.Unbounded;

procedure Mem_Leak is

   type Us_Uc_Array is array (Natural range <>) of Unbounded_String;

   type Us_Uc_Array_Ptr is access Us_Uc_Array;

   Buf : Us_Uc_Array_Ptr;

   Count : Natural := 0;

   procedure F(S : Us_Uc_Array) is
   begin
      -- The following line results in a memory leak when this program
      -- is compiled with GNAT 3.13p on Linux.
      Buf(1..S'Length) := S;

      -- Comment out the above line, and uncomment the following to
      -- see the program run with no memory leak.
      -- Buf.all(1..S'Length) := S;
   end F;

begin
   Buf := new Us_Uc_Array(1..10_000);
   for I in 1..50 loop
      F((1..110 => To_Unbounded_String("Hello")));
      delay 0.5;
   end loop;
end Mem_Leak;

Re: GNAT memory leak in compiled code (3.13p/Linux)

[Simon Wright]

"Marc A. Criley" <mcq95@earthlink.net> writes:

> The appended program, when compiled with GNAT 3.13p on Linux (RedHat
> 6.2) experiences a memory leak.  The offending line contains an
> implicit dereference that occurs when assigning to the Buf array
> slice.

3.14p, 3.15a and gcc-3.1 all show stable memory usage. Slackware 7.1.

Re: GNAT memory leak in compiled code (3.13p/Linux)

[Fabien Garcia]

I have no memory leak with Gnat 3.13p/Windows XP (sorry for the later :)

Fabien

Re: GNAT memory leak in compiled code (3.13p/Linux)

[Dave Taylor]

It works OK in 3.13p / MacOS X.

Re: GNAT memory leak in compiled code (3.13p/Linux)

[Preben Randhol]

On 17 Jul 2002 06:28:29 +0100, Simon Wright wrote:
> "Marc A. Criley" <mcq95@earthlink.net> writes:
> 
>> The appended program, when compiled with GNAT 3.13p on Linux (RedHat
>> 6.2) experiences a memory leak.  The offending line contains an
>> implicit dereference that occurs when assigning to the Buf array
>> slice.
> 
> 3.14p, 3.15a and gcc-3.1 all show stable memory usage. Slackware 7.1.

Also 3.14p on Debian 3.0

Preben