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

Bug#246392: marked as done ([Fixed in 4.4] Illegal program not detected, RM 3.9.3(10))



Your message dated Sat, 06 Sep 2008 15:47:05 +0000
with message-id <E1Kc009-0004tT-OV@ries.debian.org>
and subject line Bug#246392: fixed in gnat-4.3 4.3.2-1
has caused the Debian Bug report #246392,
regarding [Fixed in 4.4] Illegal program not detected, RM 3.9.3(10)
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.)


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

-- RM 3.9.3(10)
-- For an abstract type declared in a visible part, an abstract
-- primitive subprogram shall not be declared in the private part,
-- unless it is overriding an abstract subprogram implicitly
-- declared in the visible part.

generic
package Test_52 is
   type T1 is abstract tagged private;
private
   type T1 is abstract tagged null record;
   procedure p (x: T1) is abstract;  --ERROR: abstract subprogram not visible
end Test_52;


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

Versions of packages gnat depends on:
ii  libc6                       2.3.2.ds1-11 GNU C Library: Shared libraries an
ii  libgnat-3.15p-1             3.15p-8      The GNU Ada 95 compiler runtime li

-- no debconf information



--- End Message ---
--- Begin Message ---
Source: gnat-4.3
Source-Version: 4.3.2-1

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.2-1_amd64.deb
  to pool/main/g/gnat-4.3/gnat-4.3-base_4.3.2-1_amd64.deb
gnat-4.3_4.3.2-1.diff.gz
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.2-1.diff.gz
gnat-4.3_4.3.2-1.dsc
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.2-1.dsc
gnat-4.3_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.2-1_amd64.deb
gnat-4.3_4.3.2.orig.tar.gz
  to pool/main/g/gnat-4.3/gnat-4.3_4.3.2.orig.tar.gz
libgnat-4.3-dbg_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnat-4.3-dbg_4.3.2-1_amd64.deb
libgnat-4.3_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnat-4.3_4.3.2-1_amd64.deb
libgnatprj4.3-dbg_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3-dbg_4.3.2-1_amd64.deb
libgnatprj4.3-dev_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3-dev_4.3.2-1_amd64.deb
libgnatprj4.3_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatprj4.3_4.3.2-1_amd64.deb
libgnatvsn4.3-dbg_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3-dbg_4.3.2-1_amd64.deb
libgnatvsn4.3-dev_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3-dev_4.3.2-1_amd64.deb
libgnatvsn4.3_4.3.2-1_amd64.deb
  to pool/main/g/gnat-4.3/libgnatvsn4.3_4.3.2-1_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 246392@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: Sat,  6 Sep 2008 15:26:30 +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.2-1
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: 246392
Changes: 
 gnat-4.3 (4.3.2-1) unstable; urgency=low
 .
   Merge from gcc-4.3 (4.3.2-1):
 .
   [Matthias Klose]
   * Final gcc-4.3.2 release (regression fixes).
     - Remove the generated install docs from the tarball (GFDL licensed).
     - C++ regression fixes: PR debug/37156.
     - general regression fixes: PR debug/37156, PR target/37101.
     - Java regression fixes: PR libgcj/8995.
   * Update to SVN 20080902 from the gcc-4_3-branch.
     - Fix PR target/36533, wrong-code with incorrectly assumed aligned_operand.
       Fixes: #487115.
     - Fix PR target/36634, wrong-code on powerpc with -msecure-plt.
     - Fix PR middle-end/36811, infinite loop building with -O3.
     - C++/libstdc++ regression fixes: PR c++/36407, PR c++/34963,
       PR libstdc++/36832, PR libstdc++/36552, PR libstdc++/36729.
     - Fortran regression fixes: PR fortran/36366, PR fortran/36824.
     - general regression fixes: PR middle-end/36877, PR target/36780,
       PR target/36827, PR rtl-optimization/35281, PR rtl-optimization/36753,
       PR target/36827, PR target/36784, PR target/36782, PR middle-end/36369,
       PR target/36780, PR target/35492, PR middle-end/36811,
       PR rtl-optimization/36419, PR target/35802, PR target/36736,
       PR target/34780.
     - C++/libstdc++ regression fixes: PR c++/36688, PR c++/37016, PR c++/36999,
       PR c++/36405, PR c++/36767, PR c++/36852.
     - general regression fixes: PR target/36613, PR rtl-optimization/36998,
       PR middle-end/37042, PR middle-end/35432, PR target/35659,
       PR middle-end/37026, PR middle-end/36691, PR tree-optimization/36991,
       PR rtl-optimization/35542, PR bootstrap/35752, PR rtl-optimization/36419,
       PR debug/36278, PR preprocessor/36649, PR rtl-optimization/36929,
       PR tree-optimization/36830, PR c/35746, PR middle-end/37014,
       PR middle-end/37103.
     - Fortran regression fixes: PR fortran/36132.
     - Java regression fixes: PR libgcj/31890.
     - Fixes PR middle-end/37090. Fixes: #494815.
     - C++ regression fixes: PR c++/36741 (wrong diagnostic),
     - general regression fixes: PR target/37184 (ice on valid code),
       PR target/37191 (ice on valid code), PR target/37197 (ice on valid code),
       PR middle-end/36817 (ice on valid code), PR middle-end/36548 (wrong code),
       PR middle-end/37125 (wrong code), PR c/37261 (wrong diagnostic),
       PR target/37168 (ice on valid code), PR middle-end/36449 (wrong code),
       PR middle-end/37248 (missed optimization).
   * Move symlinks in gcc_lib_dir from cpp-4.3 to gcc-4.3-base. Fixes: #497369.
   * Don't build-depend on autogen on architectures where it is not installable
     (needed for the fixincludes testsuite only); don't build-depend on it for
     source packages not running the fixincludes testsuite.
   * gij/gcj: Don't remove alternatives on upgrade. Addresses: #479950.
   * Start the logwatch script on alpha as well to avoid timeouts in
     the testsuite.
   * Fix PR target/35965, PIC + -fstack-protector on arm/armel. Fixes: #469517.
   * Don't run the libjava testsuite with -mabi=n32.
   * Update patch for PR other/28322, that unknown -Wno-* options do not
     cause errors, but warnings instead.
   * On m68k, add -fgnu89-inline when in gnu99 mode (requested by Michael
     Casadeval for the m68k port). Fixes: #489234.
   * Remove obsolete multiarch-lib patch.
   * debian/rules.defs: Remove hurd-i386 from ssp_no_archs (Samuel Thibault).
     Fixes: #483613.
   * Do not create a /usr/lib/gcc/<target-arch>/4.3.0 symlink.
   * libjava/classpath: Set and use EXTRA_CFLAGS (taken from the trunk).
 .
   [Arthur Loiret]
   * debian/rules2:
     - configure sh4-linux with --with-multilib-list=m4,m4-nofpu
       and --with-cpu=sh4.
     - configure sparc-linux with --enable-targets=all on snapshot builds
       (change already in 4.3.1-1).
   * debian/rules.patch: Don't apply sh4-multilib.dpatch.
 .
   [Ludovic Brenta]
   * debian/patches/ada-alpha.dpatch: remove, applied upstream.
 .
   [Samuel Tardieu, Ludovic Brenta]
   * debian/patches/pr15808.dpatch (closes: #246392),
     debian/patches/pr30827.dpatch: new; backport from the trunk.
Checksums-Sha1: 
 774a9e2c5eaf4e79f91f53ff14481606d46d058d 2409 gnat-4.3_4.3.2-1.dsc
 b4cb99458f734f7e7a1e3feb4961d53dcf36ddd8 129 gnat-4.3_4.3.2.orig.tar.gz
 c3ebdc34bfe7bc8f5194265e06fde3f653221ec8 674939 gnat-4.3_4.3.2-1.diff.gz
 2c8ef570947252dd12dd22b13e633e9fee01b072 555926 gnat-4.3-base_4.3.2-1_amd64.deb
 ca51887f7f91422eca33e6557f7f5035442cf9c8 1111946 libgnat-4.3_4.3.2-1_amd64.deb
 d887420735e6f29af6ca2444bb12e30d928be718 1716782 libgnatvsn4.3-dev_4.3.2-1_amd64.deb
 b0f29620b61445b81f2ab355fde0f23a7576bdc8 330446 libgnatvsn4.3_4.3.2-1_amd64.deb
 8e06d2e03c2d1bef8d2e7111749d8fe630ee9212 2657392 libgnatprj4.3-dev_4.3.2-1_amd64.deb
 acfb4e74bc53b0dd9264226a0d8aec48ac0ed8a4 564364 libgnatprj4.3_4.3.2-1_amd64.deb
 cc1d0211aaa20e8593c2b20f2de24d5917677994 898890 libgnatprj4.3-dbg_4.3.2-1_amd64.deb
 ace8519081ccd8f7f711a5fdcf43ec1a4cbe4800 1927962 libgnat-4.3-dbg_4.3.2-1_amd64.deb
 d7d559241ec8a89a2c5fdf7d3a0f012f664d6ea7 460158 libgnatvsn4.3-dbg_4.3.2-1_amd64.deb
 45995dea184cea25cc20dbe3722da1fe8baeb702 13662960 gnat-4.3_4.3.2-1_amd64.deb
Checksums-Sha256: 
 babd19ece211eba2c40f62ece78a74083c403adbf215dc85e68c251a427c9eb0 2409 gnat-4.3_4.3.2-1.dsc
 ff6b1a003038ae8262b30ea654c1cbfeff17cc5376dd39ba4659d6adc9a0e806 129 gnat-4.3_4.3.2.orig.tar.gz
 5011e49eba361e44ed9558163d41479ae7190f1e1f7625db69a56c5967f48918 674939 gnat-4.3_4.3.2-1.diff.gz
 018ee8ec969f129d7f7989d4acbf5532f833382210396e02117e98be61c77369 555926 gnat-4.3-base_4.3.2-1_amd64.deb
 c03fb9997bdd51410e3cb752835445b5913cf88b5ebb5c6e8968a7114ed6ec36 1111946 libgnat-4.3_4.3.2-1_amd64.deb
 8e600403ee33722fa7fd257913279348f1edbd4e8f6489199681c83435b265b1 1716782 libgnatvsn4.3-dev_4.3.2-1_amd64.deb
 34307b5451afa02d7574fad8b7a813b74c3a7f1cf6edf7a6c14b5509c78b113b 330446 libgnatvsn4.3_4.3.2-1_amd64.deb
 30937d699e44158d7956acad13b903ad7afe06a74090a3b4c62733335b75fdd5 2657392 libgnatprj4.3-dev_4.3.2-1_amd64.deb
 8cdb9f05803038dabeacaabce8a29d3c313df9a2d6a709da667a29c7837f78bc 564364 libgnatprj4.3_4.3.2-1_amd64.deb
 53064e065189b3e7e0075d4cda07731d64c3f44da1790a91ffd2c7a7bf80e393 898890 libgnatprj4.3-dbg_4.3.2-1_amd64.deb
 645b5aa15586fd4202fe20b727afdf3643be87628647a62a25c6c5b1d021b3e0 1927962 libgnat-4.3-dbg_4.3.2-1_amd64.deb
 e9500778f522ee3446c2ca944ae25d67646060cf7e274c9018b9ace8755511de 460158 libgnatvsn4.3-dbg_4.3.2-1_amd64.deb
 d33a3320c776a0be403f3633cf3fcee75d09933d4a42d09ad7dfc06589659901 13662960 gnat-4.3_4.3.2-1_amd64.deb
Files: 
 fcc1931a419afcf7934fb4d78ba9e615 2409 devel optional gnat-4.3_4.3.2-1.dsc
 1bd010d006f549a297799468205965bd 129 devel optional gnat-4.3_4.3.2.orig.tar.gz
 1f3cc514c3edd15d4b94da5a91ae7bd9 674939 devel optional gnat-4.3_4.3.2-1.diff.gz
 d675ebae055816ec15cb5e1a3a0d8610 555926 libs optional gnat-4.3-base_4.3.2-1_amd64.deb
 37dbeeb382e8c016d063f6eeb2ff169d 1111946 libs optional libgnat-4.3_4.3.2-1_amd64.deb
 83b82089792e59b2df218bc526aa6931 1716782 libdevel optional libgnatvsn4.3-dev_4.3.2-1_amd64.deb
 0d3723b997abeeb253b193cbcf8e60d3 330446 libs optional libgnatvsn4.3_4.3.2-1_amd64.deb
 08532a4669adebbebdc119ead07fd763 2657392 libdevel optional libgnatprj4.3-dev_4.3.2-1_amd64.deb
 c99ddb8ae5bdfdb9086fb761e95bf717 564364 libs optional libgnatprj4.3_4.3.2-1_amd64.deb
 1978348b1db0a8c327c3c87b119e6139 898890 libdevel extra libgnatprj4.3-dbg_4.3.2-1_amd64.deb
 97011591bc3a94dafb7788fb3e0e7e8b 1927962 libdevel extra libgnat-4.3-dbg_4.3.2-1_amd64.deb
 993e4af15427e32aad026465340b357b 460158 libdevel extra libgnatvsn4.3-dbg_4.3.2-1_amd64.deb
 f6d89dd7e20fc2530e437a7cd184e192 13662960 devel optional gnat-4.3_4.3.2-1_amd64.deb

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

iD8DBQFIwqMjx9kwJZ3/qtQRAm9wAJ9QdcHzP80RUpeXONEatcGd8P3l6QCbBYGq
C/ALhs1clsKkt/QuPs5MPqQ=
=6wb8
-----END PGP SIGNATURE-----



--- End Message ---

Reply to: