--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: gnat: Assert_Failure atree.adb:678 on invalid code (mixture of protected object and accept of entry family)
- From: "Laurent Bonnaud" <bonnaud@lis.inpg.fr>
- Date: Tue, 15 Nov 2005 20:10:26 +0100
- Message-id: <20051115191026.A03122C80FC@smtpc.lis.inpg.Fr>
Package: gnat
Version: 3.15p-16
Severity: normal
Hi,
here is the problem:
$ gnatmake gnat_bug.adb
gnatgcc -c gnat_bug.adb
+===========================GNAT BUG DETECTED==============================+
| 3.15p (Debian 3.15p-16) (i486-pc-linux-gnu) Assert_Failure atree.adb:678 |
| Error detected at gnat_bug.adb:13:10 |
| Please submit bug report by email to report@gnat.com. |
| Use a subject line meaningful to you and us to track the bug. |
| (include your customer number #nnn in the subject line). |
| Include the entire contents of this bug box in the report. |
| Include the exact gnatgcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
| (use plain ASCII or MIME attachment, or FTP to your customer directory). |
| See README.GNATPRO for full info on procedure for submitting bugs. |
+==========================================================================+
Please include these source files with error report
gnat_bug.adb
list may be incomplete
compilation abandoned
gnatmake: "gnat_bug.adb" compilation error
And here is the code:
procedure gnat_bug is
type voie is range 1..10;
protected carrefour is
entry entree_carrefour (voie);
end carrefour;
protected body carrefour is
entry entree_carrefour (for v in voie)
when true is
begin
accept entree_carrefour(v); -- remove this and you have a valid program
end entree_carrefour;
end carrefour;
begin
null;
end gnat_bug;
-- System Information:
Debian Release: testing/unstable
APT prefers unstable
APT policy: (100, 'unstable'), (99, 'experimental')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.6.14-1-686
Locale: LANG=fr_FR@euro, LC_CTYPE=fr_FR@euro (charmap=ISO-8859-15)
Versions of packages gnat depends on:
ii binutils 2.16.1cvs20051109-1 The GNU assembler, linker and bina
ii libc6-dev 2.3.5-8 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-16 The GNU Ada 95 compiler runtime li
ii libgnatprj-3.15p 3.15p-16 GNU Ada Project file support libra
Versions of packages gnat recommends:
ii ada-mode 3.6-2 Ada mode for GNU Emacs and XEmacs
ii ada-reference-m 20021112web-3 The standard describing the Ada 95
ii gnat-gdb 5.3.gnat.0.0.20030225-11 Ada-aware version of GDB
ii gnat-gps 2.1.0-5 The GNAT Programming System - adva
-- no debconf information
--- End Message ---