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

Bug#749574: marked as done (gnat-4.9: Gnatlink fails with CONSTRAINT_ERROR in gnatlink.adb)



Your message dated Thu, 29 May 2014 21:39:53 +0000
with message-id <E1Wq83F-0001ZH-B0@franck.debian.org>
and subject line Bug#749574: fixed in gnat-4.9 4.9.0-2
has caused the Debian Bug report #749574,
regarding gnat-4.9: Gnatlink fails with CONSTRAINT_ERROR in gnatlink.adb
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.)


-- 
749574: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749574
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: gnat-4.9
Severity: normal

Dear Maintainer,

*** Reporter, please consider answering these questions, where appropriate ***

   * What led up to the situation?

Use of the -D option to gnatmake, to locate (most) intermediate files in a
separate directory.  This worked up to a certain point, then failed despite
reducing testcase to 3 small files.

   * What exactly did you do (or not do) that was effective (or
     ineffective)?
Use the -D option to locate .o,.ali files in a subdirectory
Eliminating the -D option allowed a successful build (with a cluttered
directory)
   * What was the outcome of this action?

brian@Gannet:~/Ada/bug$ mkdir objs
brian@Gannet:~/Ada/bug$ gnatmake -D objs mai_read_config.adb
gcc-4.8 -c -o /home/brian/Ada/bug/objs/mai_read_config.o mai_read_config.adb
gcc-4.8 -c -o /home/brian/Ada/bug/objs/mai_driver.o mai_driver.adb
gnatbind -aO/home/brian/Ada/bug/objs -x
/home/brian/Ada/bug/objs/mai_read_config.ali
gnatlink /home/brian/Ada/bug/objs/mai_read_config.ali
Exception name: CONSTRAINT_ERROR
Message: gnatlink.adb:2094 range check failed

gnatlink: INTERNAL ERROR. Please report
gnatmake: *** link failed.

Seen with Debian gnat-4.8 (gcc4.8.2) - constraint error at gnatlink.adb line
2094
Seen with Debian gnat-4.9  - constraint error at at gnatlink.adb line 2195
NOT seen with home-built upstream gnat-4.9 snapshot (gcc-4.9-20140112)

   * What outcome did you expect instead?

brian@Gannet:~/Ada/bug$ export PATH=/opt/gcc4_9/bin:$PATH
brian@Gannet:~/Ada/bug$ gnatmake -D objs mai_read_config.adb
gcc -c -o /home/brian/Ada/bug/objs/mai_read_config.o mai_read_config.adb
gcc -c -o /home/brian/Ada/bug/objs/mai_driver.o mai_driver.adb
gnatbind -aO/home/brian/Ada/bug/objs -x
/home/brian/Ada/bug/objs/mai_read_config.ali
gnatlink /home/brian/Ada/bug/objs/mai_read_config.ali

*** End of the template - remove these template lines ***



-- System Information:
Debian Release: jessie/sid
  APT prefers testing-updates
  APT policy: (500, 'testing-updates'), (500, 'testing')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 3.14-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_GB.utf8, LC_CTYPE=en_GB.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
with Mai_Driver;

procedure MAI_Read_Config is
begin
   MAI_Driver.Open(Addr => 0);
   MAI_Driver.Close;
end MAI_Read_Config;
package MAI_driver is

   procedure Open(Addr : natural);	
   procedure Close;

end MAI_driver;
package body MAI_driver is

   procedure Open(Addr : natural) is 
   begin
      null;
   end Open;
	
   procedure Close is 
   begin
      null;
   end Close;

end MAI_driver;

--- End Message ---
--- Begin Message ---
Source: gnat-4.9
Source-Version: 4.9.0-2

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

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 749574@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.9 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@ftp-master.debian.org)


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

Format: 1.8
Date: Thu, 29 May 2014 17:08:07 +0200
Source: gnat-4.9
Binary: gnat-4.9-base gnat-4.9 gnat-4.9-sjlj libgnat-4.9 libgnat-4.9-dbg libgnatvsn4.9-dev libgnatvsn4.9 libgnatvsn4.9-dbg libgnatprj4.9-dev libgnatprj4.9 libgnatprj4.9-dbg
Architecture: source amd64
Version: 4.9.0-2
Distribution: unstable
Urgency: low
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Changed-By: Ludovic Brenta <lbrenta@debian.org>
Description: 
 gnat-4.9   - GNU Ada compiler
 gnat-4.9-base - GNU Ada compiler (common files)
 gnat-4.9-sjlj - GNU Ada compiler (setjump/longjump runtime library)
 libgnat-4.9 - runtime for applications compiled with GNAT (shared library)
 libgnat-4.9-dbg - runtime for applications compiled with GNAT (debugging symbols)
 libgnatprj4.9 - GNU Ada compiler Project Manager (shared library)
 libgnatprj4.9-dbg - GNU Ada compiler Project Manager (debugging symbols)
 libgnatprj4.9-dev - GNU Ada compiler Project Manager (development files)
 libgnatvsn4.9 - GNU Ada compiler selected components (shared library)
 libgnatvsn4.9-dbg - GNU Ada compiler selected components (debugging symbols)
 libgnatvsn4.9-dev - GNU Ada compiler selected components (development files)
Closes: 749574
Changes: 
 gnat-4.9 (4.9.0-2) unstable; urgency=low
 .
   * Lintian warnings:
   * debian/control.m4 (gnat-4.9-base): Multi-Arch: same.
   * debian/patches/ada-749574.diff: new.  Closes: #749574.
 .
   Merge from gcc-4.9 (4.9.0-5) unstable; urgency=medium
 .
   * Update to SVN 20140527 (r210956) from the gcc-4_9-branch.
   * Limit systemtap-sdt-dev build dependency to enumerated linux architectures.
   * Build libitm on AArch64, patch taken from the trunk.
   * Update the testsuite to allow more testcases to pass with hardening options
     turned on (Steve Beattie). LP: #1317307.
   * Revert the fix for PR rtl-optimization/60969, causing bootstrap failure
     on ppc64el.
   * Fix PR other/61257, check for working sys/sdt.h.
   * Drop the libstdc++-arm-wno-abi patch, not needed anymore in 4.9.
 .
   Merge from gcc-4.9 (4.9.0-4) unstable; urgency=medium
 .
   * Update to SVN 20140518 (r210592) from the gcc-4_9-branch.
   * Update the local ada-libgnatprj patch for AArch64. Addresses: #748233.
   * Update the libstdc++v-python3 patch. Fixes: #748317, #738341, 747903.
   * Build-depend on systemtap-sdt-dev, on every architecure, doesn't seem to hurt
     on architectures where it is not supported. Fixes: #748315.
   * Update the gcc-default-format-security patch (Steve Beattie). LP: #1317305.
   * Apply the proposed patch for PR c/57653. Fixes: #734345.
 .
   Merge from gcc-4.9 (4.9.0-3) unstable; urgency=medium
 .
   * Update to SVN 20140512 (r210323) from the gcc-4_9-branch.
 .
   [ Matthias Klose ]
   * Update build dependencies for ada enabled snapshot builds.
   * Fix PR tree-optimization/60902, taken from the trunk. Fixes: #746944.
   * Ensure that the common libs (built from the next GCC version) are
     available when building without common libs.
   * Fix java.security symlink in libgcj15. Addresses: #746786.
   * Move the libstdc++ gdb pretty printers into libstdc++6, install the
     -gdb.py files into /usr/share/gdb/auto-load.
   * Set the 'Multi-Arch: same' attribute for packages, cross built with
     with_deps_on_target_arch_pkgs=yes (Helmit Grohne). Fixes: #716795.
   * Build the gcc-X.Y-base package with with_deps_on_target_arch_pkgs=yes
     (Helmit Grohne). Addresses: #744782.
   * Apply the proposed patches for PR driver/61106, PR driver/61126.
     Fixes: #747345.
 .
   [ Aurelien Jarno ]
   * Fix libasan1 symbols file for sparc and sparc64.
 .
   Merge from gcc-4.9 (4.9.0-2) unstable; urgency=medium
 .
   * Update to SVN 20140503 (r210033) from the gcc-4_9-branch.
     - Fix PR go/60931, garbage collector issue with non 4kB system page size.
       LP: #1304754.
 .
   [Matthias Klose]
   * Fix libgcc-dev dependency on gcc, when not building libgcc.
   * Fix gnat for snapshot builds on ppc64el.
   * Update the libsanitizer build fix for sparc.
   * Install only versioned gcc-ar gcc-nm gcc-ranlib binaries for the hppa64
     cross compiler. Install hppa64 alternatives. Addresses: #745967.
   * Fix the as and ld symlinks for the hppa64 cross compiler.
   * Add the gnat backport for AArch64.
   * Update gnat patches not to use tabs and too long lines.
   * libgnatvsn: Use CC and CXX passed from the toplevel makefile, drop gnat
     build dependency on g++. Addresses: #746688.
Checksums-Sha1: 
 721a752571d7fcca44591e214a0b13c41bc416c9 4150 gnat-4.9_4.9.0-2.dsc
 9e773c928aa8cb2343562fdc9c5c6b2bd822a058 798784 gnat-4.9_4.9.0-2.tar.gz
 02624d94e380189a3691634dcac03a8dcf50154f 219484 gnat-4.9-base_4.9.0-2_amd64.deb
 e73d51e66682e37c4796346d1d8501715e50f0bd 912256 libgnat-4.9_4.9.0-2_amd64.deb
 c71c654604d6f568b7df9559060545aa2c21db80 1657454 libgnat-4.9-dbg_4.9.0-2_amd64.deb
 d3d7d4d2bf8687eee2f42195f35fc40d4f0d4177 1323928 libgnatvsn4.9-dev_4.9.0-2_amd64.deb
 d11c992dc027200b2197cd83b3352a83958e1c78 250890 libgnatvsn4.9_4.9.0-2_amd64.deb
 18c51a29c62cf94d299546161a8a2a76c8fb990b 383672 libgnatvsn4.9-dbg_4.9.0-2_amd64.deb
 a5cfb7a6c89a3838144e7ee6f32695e944c51a3b 3039826 libgnatprj4.9-dev_4.9.0-2_amd64.deb
 b75a696d67fec3ff87d04f0e5f8804b8463d81cc 612942 libgnatprj4.9_4.9.0-2_amd64.deb
 a7bfde269f3e874a653251b99c1b90e5beb2917c 1359870 libgnatprj4.9-dbg_4.9.0-2_amd64.deb
 916fd8ccf60ece531aa08c6da6d49a842fca6ccc 9959538 gnat-4.9_4.9.0-2_amd64.deb
 539315267ff438d443076fe22c7969b62671d633 2989286 gnat-4.9-sjlj_4.9.0-2_amd64.deb
Checksums-Sha256: 
 e72f3495056636538a4395bb89d49ffec79704c09c070fc9ce5e941b83031439 4150 gnat-4.9_4.9.0-2.dsc
 3c2fe534f2a52aad0f77982c3ae7a626cc80f98e20dff5abc3f63f445a1099c3 798784 gnat-4.9_4.9.0-2.tar.gz
 8177e809181a8a083ee627760a520fde66a4949331274e1731acc6796f9cf020 219484 gnat-4.9-base_4.9.0-2_amd64.deb
 e9a38e81b3a7a06e0ed4ebf6601b874e4b30af50344a4d7882cadd81c6cd2785 912256 libgnat-4.9_4.9.0-2_amd64.deb
 79778a569a26c79ee7615e94ee72e7fc238c5f50de3ba70a43149db19fc486b2 1657454 libgnat-4.9-dbg_4.9.0-2_amd64.deb
 ac47a7b911c8581e62fa1207cd13bd737fdd53cd86d63015be06c49fcda2e47f 1323928 libgnatvsn4.9-dev_4.9.0-2_amd64.deb
 38b5d4ebe1540d422aab97550f4b0c8ab7674bb0c9b637017b1aa206264564cb 250890 libgnatvsn4.9_4.9.0-2_amd64.deb
 6bd28e2f204ba36369da5372361f53e9965b6fbbd4e865ed711c723668e81f83 383672 libgnatvsn4.9-dbg_4.9.0-2_amd64.deb
 89263882b89cf03fb429f9ca42429d67b5722a8f74e10ca7663559620c0081b5 3039826 libgnatprj4.9-dev_4.9.0-2_amd64.deb
 890f67e8db0b233112d94044a1707d736917d64f44626a54cca1d642f435563d 612942 libgnatprj4.9_4.9.0-2_amd64.deb
 d8b32f47d945b659eec08dca2f3388414cc81bafce000d69ba0008bf28bbf898 1359870 libgnatprj4.9-dbg_4.9.0-2_amd64.deb
 0e1ef4033134bdd96940d885c4228899ba96072832522c8d85bdaba8940d0723 9959538 gnat-4.9_4.9.0-2_amd64.deb
 7367ef86e7d51b7e3dac24e3256fcef52066046948d0bf1fee8232ee269b2433 2989286 gnat-4.9-sjlj_4.9.0-2_amd64.deb
Files: 
 18a565914994c517c7823152bf9837cb 219484 libs optional gnat-4.9-base_4.9.0-2_amd64.deb
 28e6dbb82e2389cea0abc9e3532b0e52 912256 libs optional libgnat-4.9_4.9.0-2_amd64.deb
 f0952bafa92a3bb929d6bf5529b942ef 1657454 debug extra libgnat-4.9-dbg_4.9.0-2_amd64.deb
 ab525ed343d6724bf254d0d593f3cd95 1323928 libdevel extra libgnatvsn4.9-dev_4.9.0-2_amd64.deb
 838d851e2e614ae8b1c5712529b1dd07 250890 libs optional libgnatvsn4.9_4.9.0-2_amd64.deb
 a3018636c9729d9290a1737031e96d1d 383672 debug extra libgnatvsn4.9-dbg_4.9.0-2_amd64.deb
 78df1e236af8d48d05e28c1a45de24e7 3039826 libdevel extra libgnatprj4.9-dev_4.9.0-2_amd64.deb
 953db0c8a5f613192f46a8715822ec25 612942 libs optional libgnatprj4.9_4.9.0-2_amd64.deb
 039523c72db32eb3dec430df7643fa98 1359870 debug extra libgnatprj4.9-dbg_4.9.0-2_amd64.deb
 e197a4d5fa1ab1fdaa857a79a03fa760 9959538 devel optional gnat-4.9_4.9.0-2_amd64.deb
 400c71a5d00efe8725c7be8012af8d8b 2989286 devel extra gnat-4.9-sjlj_4.9.0-2_amd64.deb
 ef468d1f9ac7de3ab9976c2256f692eb 4150 devel optional gnat-4.9_4.9.0-2.dsc
 d6ff442903256c68552ff258678b515b 798784 devel optional gnat-4.9_4.9.0-2.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIVAwUBU4edkfHJqDwIqj6cAQJJUxAAgGrtOU+Fu9DgJDJGEmikq5DxJyotBi8a
j4hnuFCYVUwNa1uTmhp9+zG7ipKdSywWugwtVoz3kIOVsvDsGcJ+UGEEH+oL1OX8
JaJl/BP1y+blCPwqOhPE19j9xWW2yzunlFCL651Cd2D6h8OkE7dxTiWbEhUH7mH2
kT8NeP9gmu8yDo4SFMEeYwIrTVtSu76yyro6Tv3a0sMI470LVQksaUSjb2pymw4K
K1RbIqlbqL/mF3YJadf+wfJaURDFH/eN2Ll7P/gU/0AdKn8yuT8dxxKM0uMoCXKZ
tDk4N/c9NVao8X/f0HgeNl5xY+c94cRcdCjKJ0Hr0QvjEWF2Biu3YHR/ZQCMO7lT
+7xKXBnv698VZge2VLufKX2r0wVBSPtAloamWL2wMBm8HrxhlvZUf0EcNVmG3PI9
eQneyvxJM6gxvMR4Y9xmShFawdqUdtrlUSxOf8QsDl/00OcpBZ3lDZwCQxR/mTcM
PR+XtyosT1cGYxscMVqmyUXK5rHOMCkBU7OmUf5sm+54aot5hDvsdWa/IbaxPM5l
lcE8F2ZaJd8GL03bJVWtmirdSqYgjz0++rvnvYUdAkipq/7bzuMe+6jPwiQ5X0ML
TnQq5FZzBuEWOkN0hsMIj8e1HNWuuHoxMEcBJ3Z2cArLhPXvxlR2Fuc9VYFbyrKx
QCjqOhpi9+s=
=uvdM
-----END PGP SIGNATURE-----

--- End Message ---

Reply to: