stack overflow on GNAT 3.09 (linux)

stack overflow on GNAT 3.09 (linux)

[Domenico Giannini]

-- I have same problems with stack overflow with GNAT 3.09 for Linux.
-- Some programs abort with "Segmentation fault" and some others lost
-- the value of the default parameters of some procedures.
--
-- Can i change some parameter of Gnat to avoid this problem?
-- Gnat 4.00 for Linux has the same limitations?

with Text_Io;
use  Text_Io;

procedure The_Test is

  -- LEN:constant:=1397748; -- Terminate correctly
  LEN:constant:=1397749; -- Terminate with Segmentation fault

  procedure Do_The_Test_2 is
    str:string(1..LEN):=(others => ' ');
  begin
    put_line("Hello 2 !");
  end Do_The_Test_2;

  procedure Do_The_Test_1 is
    str:string(1..LEN):=(others => ' ');
  begin
    put_line("Hello 1 !");
    do_the_test_2;
  end Do_The_Test_1;

  procedure Do_The_Test is
    str:string(1..LEN):=(others => ' ');
  begin
    put_line("Hello !");
    do_the_test_1;
  end Do_The_Test;

begin  -- The_Test
  put_line("Start !");
  do_the_test;
  put_line("The End !");
end The_Test;

--------------------------------------------------------
Applicazioni Ricerche Informatica    tel. +39 80 5482012
Via Fanelli 224 DS/10                fax. +39 80 5482012
70126 BARI -- ITALY --               Email ari@teseo.it