Re: Can't set executable stack size during compilation

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

On 04.01.12 16:49, Erich wrote:
> I have a problem setting the stack size of a GNAT made program during
> compilation. It is a bit memory extensive and sometimes yields a
> storage error with the standard stack size (I'd prefer to avoid the
> heap for the time being).
> 
> None of the methods described here:
> 
> http://gcc.gnu.org/onlinedocs/gnat_ugn_unw/Setting-Stack-Size-from-gnatlink.html
> 
> so far had any effect on the executable. (The -Xlinker version yields
> a linker error when set as link option in GNAT-GPS.) Using ulimit -s
> 32768 manually in the shell solves the problem, but this is not a good
> option for final deployment.

This looked like having relevant information. The last paragraph
hints at setrlimit(2).

http://linux.derkeiler.com/Newsgroups/comp.os.linux.development.apps/2008-12/msg00068.html


FWIW, I made a little test program; I think it is legal
but it crashes consistently when translated with GNAT/GCC.
With -fstack-check given, the most unexpected thing to see is a
segmentation fault!

procedure OnStack is

   type Num is range 1 .. 10000;
   type Index is range 1 .. 512;
   type Table is array (Index, Index) of Num;

   type Big is record
      X1, X2, X3, X4, X5: Table;
   end record;

   function Add (A, B : Big) return Big is
      Result : Big;

      function Add_Component (Left, Right: Table) return Table is
         Result : Table;
      begin
         for M in Left'Range loop
            for N in Right'Range loop
               Result (M, N) := Left(M, N) + Right(M, N);
            end loop;
         end loop;
         return Result;
      end Add_Component;

   begin
      Result.X1 := Add_Component (A.X1, B.X1);
      Result.X2 := Add_Component (A.X2, B.X2);
      Result.X3 := Add_Component (A.X3, B.X3);
      Result.X4 := Add_Component (A.X4, B.X4);
      Result.X5 := Add_Component (A.X5, B.X5);
      return Result;
   end Add;

   X, Y: Big;
   Data : Big;
begin
   Data := Add (X, Y);
end OnStack;