comp.lang.ada
 help / color / mirror / Atom feed
From: Lutz Donnerhacke <lutz@iks-jena.de>
Subject: Compiler bug or illegal code for entry_family?
Date: Wed, 31 Mar 2004 10:38:50 +0000 (UTC)
Date: 2004-03-31T10:38:50+00:00	[thread overview]
Message-ID: <slrnc6l7tq.nu.lutz@taranis.iks-jena.de> (raw)

procedure gnat_gigi_116 is
   type Entries is range 1 .. 16;
   
   protected type X is
      entry Call(Entries);
   end X;
   
   protected body X is
      entry Call(for e in Entries)
      when True is
        i : Entries := e;
      begin
        null;
      end Call;
   end X;
begin
   null;
end gnat_gigi_116;

\f
gcc -c gnat_gigi_116.adb
+===========================GNAT BUG DETECTED==============================+
| 3.3.2 (i686-pc-linux-gnu) Gigi abort, Code=116                           |
| Error detected at gnat_gigi_116.adb:11:24                                |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html.            |
| Include the entire contents of this bug box in the report.               |
| Include the exact gcc or gnatmake command that you entered.              |
| Also include sources listed below in gnatchop format                     |
| concatenated together with no headers between files.                     |
+==========================================================================+

Please include these source files with error report

gnat_gigi_116.adb

compilation abandoned
gnatmake: "gnat_gigi_116.adb" compilation error
\f
Should I submit a bug report or fix my code?
Obvious fix:
procedure gnat_gigi_116 is
   type Entries is range 1 .. 16;
   
   protected type X is
      entry Call(Entries)(i : Entries);
   end X;
   
   protected body X is
      entry Call(for e in Entries)(i : Entries)
      when True is
      begin
        null;
      end Call;
   end X;
begin
   null;
end gnat_gigi_116;




             reply	other threads:[~2004-03-31 10:38 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-03-31 10:38 Lutz Donnerhacke [this message]
2004-03-31 11:26 ` Compiler bug or illegal code for entry_family? Egil H. H�vik
2004-03-31 11:34   ` Lutz Donnerhacke
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox