[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#274077: marked as done (gnat: Bug box, Program_Error sem_type.adb:1348 in legal program)

Your message dated Tue, 30 Dec 2008 11:36:12 +0100
with message-id <1230633372.4959f99c05ca5@www.versateladsl.be>
and subject line gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
has caused the Debian Bug report #274077,
regarding gnat: Bug box, Program_Error sem_type.adb:1348 in legal program
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
274077: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=274077
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: gnat
Version: 3.15p-12
Severity: normal
Tags: upstream

with text_io;
procedure Test_120 is

   protected type pt1 is
      function f3 return integer;   -- overloaded
      function f4 return integer;   -- not overloaded
   end pt1;

   protected body pt1 is
      function f3 return integer is begin return 1; end;
      function f4 return integer is begin return 2; end;
   end pt1;

   protected type pt2 is
      function f3 return float;
   end pt2;

   protected body pt2 is
      function f3 return float is begin return 0.0; end;
   end pt2;

   type pt1_acc is access all pt1;
   type pt2_acc is access all pt2;

   x1: aliased pt1;
   x2: aliased pt2;
   function f1 return pt1_acc is begin return x1'access; end;
   function f1 return pt2_acc is begin return x2'access; end;

begin
   text_io.put_line(integer'image(f1.all.f4));
   text_io.put_line(integer'image(f1.f4));
   text_io.put_line(integer'image(f1.all.f3));
   text_io.put_line(integer'image(f1.f3));  -- should allow implicit .all
end Test_120;


When compiling this, GNAT 3.15p displays a bug box:

+===========================GNAT BUG DETECTED==============================+
| 3.15p  (20020523) (i486-pc-linux-gnu) Program_Error sem_type.adb:1348 explicit raise|
| Error detected at test_120.adb:34:37                                     |


And GCC 3.4.2 displays the following incorrect error message:

test_120.adb:34:35: access type required in prefix of explicit dereference
gnatmake: "test_120.adb" compilation error


-- System Information:
Debian Release: 3.1
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Kernel: Linux 2.4.27-1-686
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8

Versions of packages gnat depends on:
ii  binutils                   2.14.90.0.7-8 The GNU assembler, linker and bina
ii  libc6                      2.3.2.ds1-16  GNU C Library: Shared libraries an
ii  libc6-dev                  2.3.2.ds1-16  GNU C Library: Development Librari
ii  libgnat-3.15p-1            3.15p-12      The GNU Ada 95 compiler runtime li

-- no debconf information

--- End Message ---
--- Begin Message --- 
fixed 274077 4.3.1-0
thanks

Closing the bug as per Jörgen's information.

-- 
Ludovic Brenta.

--- End Message ---
Reply to: