Package: gnat
Version: 3.15p-13
Severity: normal
Tags: upstream
In the following program, the environment task deallocates a protected
object while a task is busy in it. Per RM 9.4(20), the task should
receive a Program_Error. In gnat 3.15p-13 and gnat-4.0 4.0.1-2, the
program teminates immediately but without an exception (no output).
with Ada.Exceptions;
with Ada.Text_IO;
with Ada.Unchecked_Deallocation;
procedure Raise_Program_Error is
protected type P is
procedure E;
end P;
protected body P is
procedure E is
G : Integer;
begin
for K in 1 .. 10 ** 8 loop
G := K - 1 + K * (1 - K);
end loop;
exception
when E : others =>
Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Information (E));
end E;
end P;
task type T (Prot : access P);
task body T is
begin
Prot.E;
end T;
type Access_T is access T;
New_T : Access_T;
type Access_P is access P;
procedure Free is new Ada.Unchecked_Deallocation (Object => P,
Name => Access_P);
New_P : Access_P := new P;
begin
New_T := new T (New_P);
Free (New_P);
exception
when E : others =>
Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Information (E));
end Raise_Program_Error;
-- System Information:
Debian Release: testing/unstable
APT prefers testing
APT policy: (600, 'testing')
Architecture: i386 (i686)
Shell: /bin/sh linked to /bin/bash
Kernel: Linux 2.4.27-2-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Versions of packages gnat depends on:
ii binutils 2.16.1-2 The GNU assembler, linker and bina
ii libc6 2.3.5-6 GNU C Library: Shared libraries an
ii libc6-dev 2.3.5-6 GNU C Library: Development Librari
ii libgnat-3.15p-1 3.15p-13 The GNU Ada 95 compiler runtime li
Versions of packages gnat recommends:
ii ada-reference-manual 20021112web-3 The standard describing the Ada 95
ii gnat-gps 2.1.0-5 The GNAT Programming System - adva
-- no debconf information
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
