Code coverage/profiling information for basic block under GNAT ?

Code coverage/profiling information for basic block under GNAT ?

[Francois Pomerleau]

I am having difficulties to get a small test program that includes an Ada
task to run when generating profiling information for basic blocks. I
can compile but I get a segmentation fault when running it. 

Here is what I get from GDB

Program received signal SIGSEGV, Segmentation fault.
0x10f7c in system__tasking__stages__activate_tasks (chain_access=0xeffff254) at s-tassta.adb:321
s-tassta.adb:321: No such file or directory.


I was able to generate the profiling information (bb.out) for a
program with no Ada task.

I am using GNAT 3.04 under Sun OS 4.1.3 and compile my test programs using gnatmake:

gnatmake -g tasking.adb -cargs -a



Thanks in advance

Francois Pomerleau




Here is my test program with tasking

--------------------------------------------------------------
With Text_IO; use Text_io;

procedure tasking is

   procedure toto (data : integer) is
      buf : integer;
   begin
      if data > 3 then
         buf := data;
         buf := buf +1;
         buf := 10;
      else
         buf := 0;
      end if;
   end toto;
   procedure titi is
      buf : integer;
   begin
      for i in 1..10 loop
         buf := i;
      end loop;
   end titi;
   task tester is
       pragma Storage_Size(10000);
       entry go;
   end tester;
   task body tester is
   begin
      loop
         accept go;
         titi;
      end loop;
   end tester;
begin
   text_io.Put_line("Start");
   for i in 1..3 loop
      tester.go;
   end loop;
   for i in 1..2 loop
      toto (1);
   end loop;
 
   text_io.Put_Line("Done");

end tasking; 

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