From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,84dd257410877928,start
X-Google-Attributes: gid103376,public
From: francois@asterix.spar.ca (Francois Pomerleau)
Subject: Code coverage/profiling information for basic block under GNAT ?
Date: 1996/12/02
Message-ID: <FRANCOIS.96Dec2130934@asterix.spar.ca>#1/1
X-Deja-AN: 201922654
distribution: local
organization: Spar Aerospace Ltd.
followup-to: comp.lang.ada
newsgroups: comp.lang.ada
Date: 1996-12-02T00:00:00+00:00
List-Id: <comp.lang.ada>



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; 

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