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

Bug#278685: marked as done ([Fixed in 4.4] accepts extension aggregate where expected type is not extension)

Your message dated Mon, 21 Apr 2008 21:17:11 +0000
with message-id <E1Jo3Nv-0001Q0-GG@ries.debian.org>
and subject line Bug#278685: fixed in gnat-4.3 4.3.0-5
has caused the Debian Bug report #278685,
regarding [Fixed in 4.4] accepts extension aggregate where expected type is not extension
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.)


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

-- same as http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17985
procedure Test_125 is
   type T1 is tagged record
      x1: integer;
   end record;

   type T2 is new T1 with record
      x2: integer;
   end record;

   function f1 return T1 is
   begin
      return (T1 with x1 => 0);  -- ERROR gnat mistakenly accepts
   end f1;

   function f2 return T2 is
   begin
      return (T2 with x2 => 0);  -- ERROR gnat correctly rejects
   end f2;

begin
   null;
end Test_125;


The actual output from gnat is:

test_125.adb:18:15: expect ancestor type of "T2"
gnatmake: "test_125.adb" compilation error

The second error is not diagnosed.


-- 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.15-4       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 --- 
Source: gnat-4.3
Source-Version: 4.3.0-5

We believe that the bug you reported is fixed in the latest version of
gnat-4.3, which is due to be installed in the Debian FTP archive:

gnat-4.3-base_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/gnat-4.3-base_4.3.0-5_amd64.deb
gnat-4.3_4.3.0-5.diff.gz
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-5.diff.gz
gnat-4.3_4.3.0-5.dsc
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-5.dsc
gnat-4.3_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.0-5_amd64.deb
libgnat-4.3-dbg_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnat-4.3-dbg_4.3.0-5_amd64.deb
libgnat-4.3_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnat-4.3_4.3.0-5_amd64.deb
libgnatprj4.3-dbg_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3-dbg_4.3.0-5_amd64.deb
libgnatprj4.3-dev_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3-dev_4.3.0-5_amd64.deb
libgnatprj4.3_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3_4.3.0-5_amd64.deb
libgnatvsn4.3-dbg_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3-dbg_4.3.0-5_amd64.deb
libgnatvsn4.3-dev_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3-dev_4.3.0-5_amd64.deb
libgnatvsn4.3_4.3.0-5_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3_4.3.0-5_amd64.deb



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 278685@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Ludovic Brenta <lbrenta@debian.org> (supplier of updated gnat-4.3 package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 21 Apr 2008 21:49:53 +0200
Source: gnat-4.3
Binary: gnat-4.3-base gnat-4.3 libgnat-4.3 libgnat-4.3-dbg libgnatvsn4.3-dev libgnatvsn4.3 libgnatvsn4.3-dbg libgnatprj4.3-dev libgnatprj4.3 libgnatprj4.3-dbg
Architecture: source amd64
Version: 4.3.0-5
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Ludovic Brenta <lbrenta@debian.org>
Description: 
 gnat-4.3   - The GNU Ada compiler
 gnat-4.3-base - The GNU Compiler Collection (gnat base package)
 libgnat-4.3 - Runtime library for GNU Ada applications
 libgnat-4.3-dbg - Runtime library for GNU Ada applications
 libgnatprj4.3 - GNU Ada Project Manager
 libgnatprj4.3-dbg - GNU Ada Project Manager
 libgnatprj4.3-dev - GNU Ada Project Manager development files
 libgnatvsn4.3 - GNU Ada compiler version library
 libgnatvsn4.3-dbg - GNU Ada compiler version library
 libgnatvsn4.3-dev - GNU Ada compiler version library - development files
Closes: 278685 476868
Changes: 
 gnat-4.3 (4.3.0-5) unstable; urgency=low
 .
   [Samuel Tardieu, Ludovic Brenta]
   * debian/patches/pr34466.dpatch,
     debian/patches/pr22255.dpatch,
     debian/patches/pr33688.dpatch,
     debian/patches/pr10768.dpatch,
     debian/patches/pr28305.dpatch,
     debian/patches/pr17985.dpatch (closes: #278685)
     debian/patches/pr15915.dpatch,
     debian/patches/pr16098.dpatch,
     debian/patches/pr18680.dpatch,
     debian/patches/pr28733.dpatch,
     debian/patches/pr22387.dpatch,
     debian/patches/pr29015.dpatch: new; backport bug fixes from GCC 4.4.
   * debian/patches/rules.patch: apply them.
   * debian/patches/pr35050.dpatch: update.
 .
   [Andreas Jochens]
   * debian/patches/ppc64-ada.dpatch: update, adding support for ppc64.
     Closes: #476868.
 .
   [Ludovic Brenta]
   * Apply ppc64-ada.dpatch whenever we build libgnat, not just on ppc64.
Checksums-Sha1: 
 c472d0ed82ed3c68b5365b9274505f54c5626a68 2600 gnat-4.3_4.3.0-5.dsc
 20a2cf3950337e04fc4f4e1ce174e6df240999dd 4018166 gnat-4.3_4.3.0-5.diff.gz
 890ae57e86eed57ccc3a596c61e84dc00a0dc5cf 555096 gnat-4.3-base_4.3.0-5_amd64.deb
 89228c7d5e56ba82b7ddd6b372f5d67694a03bd4 1111788 libgnat-4.3_4.3.0-5_amd64.deb
 123d8960bce14a23529af998ab42c9f7ca45b141 1701624 libgnatvsn4.3-dev_4.3.0-5_amd64.deb
 6cde520cbd5c9f1338998f47a3e600d5201c7780 330080 libgnatvsn4.3_4.3.0-5_amd64.deb
 c1c0736a6622054d4f96d5768efcf7c24ec37cb2 2636520 libgnatprj4.3-dev_4.3.0-5_amd64.deb
 9dfc3a92cba981e871694237ac367768ec5a0eb0 563764 libgnatprj4.3_4.3.0-5_amd64.deb
 2160e464e8c5d7829e38462a13bad24f7e860faa 909506 libgnatprj4.3-dbg_4.3.0-5_amd64.deb
 32e010ac2b1839f78879dd8ba03ff3bf75604716 1937766 libgnat-4.3-dbg_4.3.0-5_amd64.deb
 4455fcdd297d800c57948122c815638610f4ef54 461100 libgnatvsn4.3-dbg_4.3.0-5_amd64.deb
 621c3fe02ed3eda5abbc39f6b2ae6018d85c48b1 13650178 gnat-4.3_4.3.0-5_amd64.deb
Checksums-Sha256: 
 c9ce756de8b8bde142fe51de3d1f0369ab69e1098ed4b09d6e20f842b2968c96 2600 gnat-4.3_4.3.0-5.dsc
 53d85b1815135ef9fe7e8ec423fdd72091c74a237b49022d1b2207db20511725 4018166 gnat-4.3_4.3.0-5.diff.gz
 f1fd8d8e44147766c3af74acce63253411e7462600e570e6971ee7ff3378560f 555096 gnat-4.3-base_4.3.0-5_amd64.deb
 606e821760bd1cb6df1947403ad1ce5ec40576946f52af584d3b5afd478f5412 1111788 libgnat-4.3_4.3.0-5_amd64.deb
 ca9c26ac65927f41facc5b251e6483426efcbb4412ba3de38428b24a05854beb 1701624 libgnatvsn4.3-dev_4.3.0-5_amd64.deb
 f2a004f0d54920b202ea54101a2411e411875d082a56a9cd8899385e0aa1337c 330080 libgnatvsn4.3_4.3.0-5_amd64.deb
 6665ab0f8cf35ff79bd835faf6a7822cc892c1f18670d9530f0401d50720d13e 2636520 libgnatprj4.3-dev_4.3.0-5_amd64.deb
 c7226014c4209e8ddea917913bf13a950c1821f80ea53406dfa52486e7524a5b 563764 libgnatprj4.3_4.3.0-5_amd64.deb
 2fd03c585e0a334030a28864b7c8167e8bdce3d0768bab123aec186925536143 909506 libgnatprj4.3-dbg_4.3.0-5_amd64.deb
 9ac765071df5bc5f97e9c85d7bd0a99e7b5b4ee4004403efeb3dff2d76072ebc 1937766 libgnat-4.3-dbg_4.3.0-5_amd64.deb
 88db46a517a87940ecba8e502b2fdcbe75d28722a02ecb41b8db4d144eb9aa8a 461100 libgnatvsn4.3-dbg_4.3.0-5_amd64.deb
 624a6dc759e2f58e50292e4c3ef405198482228d19a866aacdfa407ca586c081 13650178 gnat-4.3_4.3.0-5_amd64.deb
Files: 
 581b4f5a3293f51412aa658ef2a18c13 2600 devel optional gnat-4.3_4.3.0-5.dsc
 b47b210e1eec4f5772ae55c2aae14b3b 4018166 devel optional gnat-4.3_4.3.0-5.diff.gz
 8f2ba0417c91381a3a36bd1d34e54c9c 555096 libs optional gnat-4.3-base_4.3.0-5_amd64.deb
 459e34480dd0c07f9ebbf6fbeedad2c2 1111788 libs optional libgnat-4.3_4.3.0-5_amd64.deb
 9109c2b08d01fe00dcc73b02cd8786d5 1701624 libdevel optional libgnatvsn4.3-dev_4.3.0-5_amd64.deb
 c9d7e2a15d2d0b0d03e1f08ace564a9f 330080 libs optional libgnatvsn4.3_4.3.0-5_amd64.deb
 84b6e9dd4b45d2a04bba8b34a5d1715c 2636520 libdevel optional libgnatprj4.3-dev_4.3.0-5_amd64.deb
 0b74fce3b553453cb0b9f3444cb6c4a2 563764 libs optional libgnatprj4.3_4.3.0-5_amd64.deb
 2f1d0f34862aca2f1af71bddd5d4a325 909506 libdevel extra libgnatprj4.3-dbg_4.3.0-5_amd64.deb
 dc20af69750d270780bef4318df82062 1937766 libdevel extra libgnat-4.3-dbg_4.3.0-5_amd64.deb
 fe09c93849e9edb5e655babd3c5a2fbe 461100 libdevel extra libgnatvsn4.3-dbg_4.3.0-5_amd64.deb
 ea819a44e509d61225a2fe1b3dde1130 13650178 devel optional gnat-4.3_4.3.0-5_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIDP5rx9kwJZ3/qtQRApzoAJ9NeGeRuBwleVYKRyv7u0kZVKYofwCgsZaT
v6ELwhvIQMesVlOkm+acRNQ=
=VahF
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: