Bug#1067453: gnat: Ada.Calendar.Clock crashes on time_t64 architectures

2024-04-25 Thread Nicolas Boulenguez
Source: gcc-13 Followup-For: Bug #1067453 The gettimeofday import issue seems specific to the time_t 64 transition in Debian. When building C on armhf, a #define replaces gettimeofday with __gettimeofday64 so the linker finds the 64 bits version in the libc. When linking Ada code, the linker

Bug#1067453: gnat: Ada.Calendar.Clock crashes on time_t64 architectures

2024-04-06 Thread Nicolas Boulenguez
Source: gcc-13 Followup-For: Bug #1067453 Sorry for the poor summary. Here is what I have built and tested. * native build on ppc46el (not amd64) * gcc-source 13.2.0-19 from Debian * libgnat-timet64.diff unapplied (pr114065-proposed.diff should be unapplied for -20 and later) * commits 1/8

Bug#1067453: gnat: Ada.Calendar.Clock crashes on time_t64 architectures

2024-04-05 Thread Nicolas Boulenguez
--- a/debian/patches/ada-lib-info-source-date-epoch.diff +++ b/debian/patches/ada-lib-info-source-date-epoch.diff @@ -62,24 +62,26 @@ Author: Nicolas Boulenguez end File_Stamp; function File_Stamp (Name : Path_Name_Type) return Time_Stamp_Type is -@@ -3261,4 +3276,28 @@ begin +@@ -3261,4

Bug#1067453: gnat: Ada.Calendar.Clock crashes on time_t64 architectures

2024-03-21 Thread Nicolas Boulenguez
Package: gnat-13 Version: 13.2.0-19 Severity: normal X-Debbugs-Cc: lbre...@debian.org Control: affects -1 pcscada libalog dbusada anet ahven libgmpada libgtkada libgnatcoll-db libncursesada libaunit adacgi liblog4ada libtexttools libtemplates-parser libxmlezout libgnatcoll-bindings libgnatcoll

Bug#1066052: transition: gnat (12 -> 13 + time_t64)

2024-03-13 Thread nicolas . boulenguez
Hello. A bug affects the Ada tests during the build of the gcc-12 source package. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1066052 Such error messages happen on each (uncoordinated) change in the sources of an Ada library. Some sources for the standard library built by GCC are

Bug#643663: gnat-12: Legal program rejected (record component with no supplied value) and invalid access to atomic variable

2023-10-20 Thread Nicolas Boulenguez
Package: gnat-12 Followup-For: Bug #643663 Control: reassign 643663 gnat-13 13.2.0-5 Control: retitle 643663 gnat: invalid access to atomic variable Hello. With gnat-13, the following sources compile without error. On the other hand, the invalid access to the atomic variable may not be fixed.

Re: check_ali_update.sh is triggered with gcc-12 12.3.0-2

2023-06-19 Thread Nicolas Boulenguez
> check_ali_update.sh is triggered with gcc-12 12.3.0-2. Hello. This is a false alert. Commit 8fd9efdd6cc7fd537aa3ac1d4c57178ca0d3e6b7 in the GCC packaging should prevent it. Here are some details, in case further investigation is required. Between gnat-12_12.2.0-14_amd64.deb and

Re: check_ali_update.sh is triggered with gcc-12 12.3.0-2

2023-06-16 Thread Nicolas Boulenguez
Hello. > check_ali_update.sh is triggered with gcc-12 12.3.0-2. Probably, the only fix requires to rename of Ada -dev packages: ~20 trivial NMUs + NEW + stable-proposed-updates > There were no changes to gcc/ada and libada. The change may be caused by generated code interfacing with C. >

Bug#998177: gnat: segfault in tree_could_trap_p when C double parameter, -O2 -gnatn -gnatVa (regression)

2021-10-31 Thread Nicolas Boulenguez
Package: gnat-11 Version: 11.2.0-10 Severity: normal Hello. The following valid Ada sources crash 'gcc-11 -O2 -gnatn -gnatVa' as shown below. All goes well with gcc-10, with -O1, without inlining or without validity checks. cat > p.ads < p.adb < {heap 2040k} {heap 2040k} {heap 2040k}

Bug#979323: please provide cross-compiler for or1k

2021-01-23 Thread Nicolas Boulenguez
> You may also contact Nicolas, who wanted to coordinate building of > targets which are not Debian ports. I have only suggested to share experience and possibly code. The advices I have received from you and others may be found at https://wiki.debian.org/PackagingLessCommonBinutilsTargets

Bug#717014: reassign to latest gnat

2020-09-27 Thread Nicolas Boulenguez
Control: reassign 717014 gnat-10 10.2.0-9 Control: reassign 760211 gnat-10 10.2.0-9 Reproduced on armel.

Bug#748297: the libgnatvsn patch should be upstreamed or dropped

2020-09-27 Thread Nicolas Boulenguez
Package: gnat-9 Followup-For: Bug #748297 Hello. The patch (now named ada-libgnat_util.diff) has improved its integration in the GCC packaging. Its header explains why upstream is not interested in applying it (summary: upstream links GNAT tools with libgnat_util statically during bootstrap,

Bug#954681: [gnat-9] CONSTRAINT_ERROR : uintp.adb:1959 overflow check failed

2020-09-27 Thread Nicolas Boulenguez
Package: src:gcc-9 Followup-For: Bug #954681 Control: reassign -1 gnat-10 Control: retitle -1 CONSTRAINT_ERROR : uintp.adb:2002 overflow check failed Since version 10-20200410-1, the SOURCE_DATE_EPOCH patch should not trigger this bug anymore. However, this bug is most probably not fixed, and a

Bug#954681: [gnat-9] crash caused by SOURCE_DATE_EPOCH patch

2020-04-04 Thread Nicolas Boulenguez
Hello. Commit 2e5e37249f09e54bb62e3ab87508e43ff709a4fb should improve the situation. It reverts the part affecting s-os_lib.adb. A GCC build produces the same checksum for it than 9.3.0-8 in libgnat-9, hopefully making gnat usable again by existing packaged libraries (I don't know how to test

Bug#954681: [gnat-9] crash caused by SOURCE_DATE_EPOCH patch

2020-04-03 Thread Nicolas Boulenguez
Package: src:gcc-9 Followup-For: Bug #954681 Control: reopen -1 Hello. The initial symptom is cured, but the fix lets debian/patches/ada-lib-info-source-date-epoch.diff modify gcc/ada/libgnat/s-os_lib.ad[bs]. This invalidates the checksums embedded in the .ali files of libgnat-9, causing a

Bug#942442: Fwd: Bug#942442: libgnatvsn ftbfs in 9.2.1-10

2019-10-16 Thread Nicolas Boulenguez
> libgnatvsn ftbfs in 9.2.1-10 Sorry for the mess. After a successful build, it seems that I have incorrectly played the autoreconf/quilt refresh/scp/git commit music. A build currently tests the following fix. --- a/debian/patches/ada-libgnatvsn.diff +++ b/debian/patches/ada-libgnatvsn.diff @@

Bug#717014: reassign to gnat-9

2019-07-17 Thread Nicolas Boulenguez
Control: reassign 717014 gnat-9 9.1.0-8 Control: reassign 760211 gnat-9 9.1.0-8 Checked on armel. Gnatmake does not support projects anymore, a new reproducer follows. BV=9 # Reproducer for 717014 echo 'with Ada.Numerics.Generic_Elementary_Functions;' > a.ads echo 'package A is new

Bug#881938: gnat: gnatmake should call gcc/g++ with system_type prefix

2019-07-17 Thread Nicolas Boulenguez
Hello. It seems that debian/patches/ada-gcc-name.diff in gnat-8/8.3.0-6 applies your suggestion. Do you confirm that this bug can be closed?

Bug#746689: is this fixed?

2019-07-17 Thread Nicolas Boulenguez
Hello. Is the existing build system (in gcc-9 patches) sufficient to close this bug, or are full configure.ac and Makefile.in better?

Bug#919996: gnat ftbfs on kfreebsd

2019-01-22 Thread Nicolas Boulenguez
that BSD requires -lrt. It will be ignored on other platforms thanks to --as-needed. Author: Ludovic Brenta Author: Nicolas Boulenguez --- a/src/gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads +++ b/src/gcc/ada/libgnarl/s-osinte__kfreebsd-gnu.ads @@ -45,6 +45,7 @@ package System.OS_Interface is pragma Pre

Bug#903694: bootstrap issue

2018-07-19 Thread Nicolas Boulenguez
gnat-7/7.3.0-26 wrongly assumes that /usr/bin/gcc links to gcc-7. By chance, this currently holds in unstable, and gcc-7 is hopefully able to build a fixed version of itself. gnat-8/8.1.0-11 wrongly assumes that /usr/bin/gcc links to gcc-8. It is broken in unstable, at least with default options.

Bug#903694: maybe a proper fix

2018-07-18 Thread Nicolas Boulenguez
or historical reasons, gnatchop carries its own version of the old algorithm, which seems to work in our case. Bugs-Debian: https://bugs.debian.org/903694 Bugs-Debian: https://bugs.debian.org/856274 Author: Ludovic Brenta Author: Nicolas Boulenguez --- a/src/gcc/ada/osint.adb +++ b/src/gcc/

Bug#856274: patch

2018-07-15 Thread Nicolas Boulenguez
und. . Note: for historical reasons, gnatchop carries its own version of the old algorithm, which seems to work in our case. Bugs-Debian: https://bugs.debian.org/903694 Bugs-Debian: https://bugs.debian.org/856274 Author: Ludovic Brenta Author: Nicolas Boulenguez --- a/src/gcc/ada/osint.adb +++

Bug#894225: gnat: trailing separators confuse Ada.Directories.Containing_Directory

2018-03-27 Thread Nicolas Boulenguez
Package: gnat-7 Version: 7.3.0-11 Severity: minor Tags: upstream Hello. The following source with Ada.Directories; use Ada.Directories; with Ada.Text_IO; use Ada.Text_IO; procedure Directories_Bug is procedure Show (Path : in String) is With_Slash : constant String := Path & '/';

Bug#869979: gcc-7-cross: please stop building libgnatvsn-dev-cross

2017-07-28 Thread Nicolas Boulenguez
Source: gcc-7-cross Severity: wishlist Hello. As discussed on the debian-ada mailing list, building a cross libgnatvsn is a waste of efforts. Version 7.1.0-11 of gcc-7 will only produce a native libgnatvsn. The attached diff starts the work of adapting gcc-7-cross. --- a/debian/control +++

Bug#856274: gnat-BV: gnatchop attempts to execute missing *-gcc-BV-BV

2017-07-13 Thread Nicolas Boulenguez
Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 Control: retitle -1 gnat-BV: gnatchop fails to execute (ARCH-)?gcc-BV-BV Control: affects -1 libgtkada Work-around: Build-Depend (or rebuild with): gnat-5 (>= 5.4.1-11) or Build-Depend (or rebuild with): gnat-6 (>= 6.3.0-18)

Bug#864969: gnat: Ada.Locales ignores setting of LANG

2017-06-28 Thread Nicolas Boulenguez
Package: gnat-7 Followup-For: Bug #864969 Control: retitle -1 Ada.Locales ignores setting of LANG Control: tags -1 + upstream Control: forwarded -1 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81243 Ada.Locales.Country_Code is a thin wrapper to locales.c. void c_get_country_code (char4 p) {

Bug#866029: with the reproducer

2017-06-28 Thread Nicolas Boulenguez
Package: gnat-7 Followup-For: Bug #866029 Control: tags -1 + pending Now with the attachment. A patch is in the VCS. #!/bin/sh set -C -e -f -u # On a normal installation. gnatmake=gnatmake # Alongside a fresh gcc build tree. # gcctree=.. # target_noncanonical=arm-linux-gnueabi #

Bug#861734: gcc-7 fails to build gnattools on armel

2017-06-28 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #861734 Control: retitle -1 libgnat fails to link without -latomic on armel A rebuild with --as-needed confirms that libgnat requires libatomic, not the tools. As far as I understand, the problem may exist upstream, but be hidden at build time without -z

Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds

2017-06-27 Thread Nicolas Boulenguez
Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 > On gnat-7/7.1.0-7, the work-around has no effect. > ARCH-gcc-7-7 is searched but not found. > what do you mean? that this doesn't work for the cross compilers? No, simply that on a fresh (x86_64-linux-gnu) chroot: # apt-get install

Bug#806760: fixed in gnat-7

2017-06-26 Thread Nicolas Boulenguez
Package: gnat-5 Followup-For: Bug #806760 Control: retitle -1 [fixed in gnat-7] gnat-5 tools linked statically when built with DEB_BUILD_OPTIONS=parallel=1 Hello. The build process for gnat tools has changed a lot in gnat-7. The logs show that they now link dynamically (except the gcc driver,

Bug#866029: gnat-7: support for SOURCE_DATE_EPOCH triggers unneeded recompilations

2017-06-26 Thread Nicolas Boulenguez
Package: gnat-7 Severity: minor Hello. The fix for #856042 lets gnat write a fake time stamp into the .ali file when an Ada source is more recent than SOURCE_DATE_EPOCH. If another source depending on this one is later compiled with gnatmake, gnatmake will (sensibly) conclude that the

Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds

2017-06-26 Thread Nicolas Boulenguez
Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 On gnat-7/7.1.0-7, the work-around has no effect. ARCH-gcc-7-7 is searched but not found.

Bug#856274: news

2017-06-20 Thread Nicolas Boulenguez
Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 Small reproducer: # 'package P is end P;' > p.a # /usr/bin/gnatchop p.a On gnat-5/5.4.1-11, the work-around fixes the issue. Without it, gcc-5-5 is searched but not found. On gnat-6/6.3.0-18, the work-around has no effect. ARCH-gcc-6-6 is

Bug#814977: small reproducer

2017-06-20 Thread Nicolas Boulenguez
Package: gnat-5 Followup-For: Bug #814977 Control: found -1 5.4.1-11 Related to #814978 and #856274. Here is an easy way to reproduce. # echo 'package P is end P;' > p.a # /usr/bin/gnatchop p.a

Bug#861737: gcc-7 fails to build gnat on KFreeBSD

2017-06-12 Thread Nicolas Boulenguez
. +Author: Nicolas Boulenguez <nico...@debian.org> +Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861735 +Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861737 + +--- a/src/gcc/ada/gcc-interface/Makefile.in b/src/gcc/ada/gcc-interface/Makefile.in +@@ -1424,7 +

Bug#861734: gcc-7 fails to build gnattools on armel

2017-06-04 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #861734 Please build the native gnat on armel by reverting svn://anonscm.debian.org/gcccvs/branches/sid/gcc-7@9434 6ca36cf4-e1d1-0310-8c6f-e303bb2178ca Since then, the link step for the tools has changed a lot, and a recent build log would be more helpful.

Bug#856274: removal of ada-gcc-name patch causes build failures for non default gnat builds

2017-06-04 Thread Nicolas Boulenguez
Package: gnat-5,gnat-6,gnat-7 Followup-For: Bug #856274 The workaround for 814978 is a symbolic link /usr/bin/gcc-7-7 -> gcc-7 Is it still required?

Bug#857831: gcc build in gnattools apparently not safe for parallel builds

2017-06-04 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #857831 Control: tags -1 + patch The attached patch fixes the new race condition introduced by previous attempt. --- a/debian/patches/ada-gnattools-cross.diff +++ b/debian/patches/ada-gnattools-cross.diff @@ -247,23 +247,28 @@ Index:

Bug#863289: libada/libgnat now built with dpkg-buildflags

2017-06-04 Thread Nicolas Boulenguez
for libgnatvsn. +# Copyright (c) 2006 Ludovic Brenta <ludo...@ludovic-brenta.org> +# Copyright (c) 2017 Nicolas Boulenguez <nico...@debian.org> @@ -126,12 +126,6 @@ +cppflags += $(CPPFLAGS) +ldflags += $(LDFLAGS) + -+deb_cflags := $(subst -O3,-O2,$(shell dpkg-buildflags --ge

Bug#845159: gcc-7: gnat fails to build on kfreebsd-*

2017-06-04 Thread Nicolas Boulenguez
also #includes , probably for historical + reasons since no termio structure is ever used. + . + Drop the #include instead of maintaining a list of architectures. +Author: Nicolas Boulenguez <nico...@debian.org> +Bug-Debian: https://bugs.debian.org/845159 + +--- a/src/gcc/ada/terminals.c b/s

Bug#857831: gcc build in gnattools apparently not safe for parallel builds

2017-05-21 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #857831 Control: tags -1 + patch Hello. Please consider the attached suggestions for the GCC/Ada packaging. "Remove ada-gnattools-noparallel.diff, should be fixed." has been applied for several successul builds, so this bug is probably fixed. "Reduce diff

Bug#857831: gcc build in gnattools apparently not safe for parallel builds

2017-03-16 Thread Nicolas Boulenguez
Matthias Klose: > Package: src:gcc-7 > https://buildd.debian.org/status/fetch.php?pkg=gcc-7=arm64=7-20170314-1=1489581110=0 > ali.o: file not recognized: File truncated > seen with local builds as well for other files in the gnatmake, gnatlink > targets. The construction by Make of the object

Bug#857606: gcc-7: please restore libgnatvsn

2017-03-13 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #857606 Here is another update for the Ada patches (attachement 17). It will simplify a lot the maintenance. It should not modify the build process, but I have not tested. While working on this... 16 and 18 are trivial. 15 is only a suggestion.

Bug#857606: gcc-7: please restore libgnatvsn

2017-03-13 Thread Nicolas Boulenguez
Package: src:gcc-7 Followup-For: Bug #857606 With the attachements... >From 4562c92c5dce6831d75c3b9753cbc19f1351f1a5 Mon Sep 17 00:00:00 2001 From: Nicolas Boulenguez <nicolas.bouleng...@free.fr> Date: Mon, 13 Mar 2017 11:37:23 +0100 Subject: [PATCH 15/18] Replace manual -dbg

Re: can gcc regenerate src/Makefile.in before the build?

2017-03-11 Thread Nicolas Boulenguez
> > # cd src && autogen Makefile.def > > This would drop two thousand lines of noise in > > debian/patches/bootstrap-no-unneeded-libs.diff > > debian/patches/gdc-libphobos-build].diff > > plus a bit more in the Ada patches. Actually, around 1600 with future libgnatvsn patches. > > - Gcc-7

can gcc regenerate src/Makefile.in before the build?

2017-03-09 Thread Nicolas Boulenguez
Hello. gcc-7 build process may recreate src/Makefile.in from src/Makefile.def and src/Makefile.tpl with something like # cd src && autogen Makefile.def right after patch application. This would drop two thousand lines of noise in debian/patches/bootstrap-no-unneeded-libs.diff

Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps

2017-03-04 Thread Nicolas Boulenguez
Package: gnat-7 Followup-For: Bug #856042 Thank you for applying the patch. The test script passes (with "V=v;export V;c" instead of "V=v c").

Bug#844367: Debian local ada patches need an update for GCC 7

2017-02-28 Thread Nicolas Boulenguez
egenerated from the updated copyright.in. . Remove libgnatvsn7.overrides, currently unused and replaced with a more simple solution once libgnatvsn is restored. Author: Nicolas Boulenguez <nico...@debian.org> --- a/debian/copyright.in +++ b/debian/copyright.in @@ -48,7 +48,6 @@

Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps

2017-02-28 Thread Nicolas Boulenguez
Package: gnat-7 Followup-For: Bug #856042 Control: tags 856042 + patch This new source-date-epoch.diff applies to 7-20170226-1 and builds with DEB_BUILD_OPTIONS="lang=ada nocheck noopt nostrap nolang=...". The test is more extensive, but I have not been able to run it on the build result (for

Bug#844367: Debian local ada patches need an update for GCC 7

2017-02-24 Thread Nicolas Boulenguez
(`|sed instead of |sed`, and only spaces instead of blank and spaces, see 814978). . These changes have not been tested. Author: Nicolas Boulenguez <nico...@debian.org> --- a/debian/copyright.in +++ b/debian/copyright.in @@ -48,7 +48,6 @@ gcc-@BV@-source The sources with p

Bug#856042: gnat: please use SOURCE_DATE_EPOCH for reproducible ALI timestamps

2017-02-24 Thread Nicolas Boulenguez
Package: gnat-7 Severity: wishlist Hello. Please ignore file mtimes greater than SOURCE_DATE_EPOCH when generating timestamps into ALI files. This would help reproducible builds of many Ada packages patching or generating Ada sources. A first patch/test attempt is attached, but I am unable to

Bug#844367: ada-default-project-path.diff

2017-02-18 Thread Nicolas Boulenguez
Hello. As far as I understand the situation, disabling the whole patch at https://anonscm.debian.org/viewvc/gcccvs/branches/sid/gcc-7/debian/patches/ada-default-project-path.diff?view=markup was the right choice for gnat-7. It may probably be dropped, as gprbuild is already patched to search

Bug#839209: #839209 gnatgcc: wrong symlink may result ABI mix in same object

2017-01-22 Thread Nicolas Boulenguez
Source: gcc-6 Package: gnat-6 Version: 6.3.0-4 Followup-For: Bug #839209 Hello. gcc Depends: gcc-6, and they provide the following /usr/bin symlinks. gcc: gcc-> gcc-6 gcc: ARCH-gcc-> gcc-6 gcc-6 : gcc-6 -> ARCH-gcc-6 For gnat-6 (the gnat package has a

Bug#666106: more info

2016-08-02 Thread Nicolas Boulenguez
Package: gnat-6 Followup-For: Bug #666106 Control: retitle -1 kfreebsd-i386, hurd-i386: Exceptions with tracebacks cause STORAGE_ERROR or SEGFAULT Adacontrol has been affected on kfreebds and hurd, see #833026.

Bug#832799: [gnat-6]: please update confirm_debian_bugs.py

2016-07-28 Thread Nicolas Boulenguez
Package: src:gcc-6 Version: 6.1.1-10 Severity: minor Tags: patch Hello. Please consider this trivial patch. Description: updates for gnat-6 the script reproducing most Ada-related bugs. Author: Nicolas Boulenguez <nico...@debian.org> --- a/debian/ada/confirm_debian_bugs.py +++ b/debi

Bug#666106: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

2016-07-03 Thread Nicolas Boulenguez
Package: gnat-5 Followup-For: Bug #666106 With gnat-6/6.1.1-8, the following reproducer should display "No bug." and causes a segmentation fault instead. This is most probably a new symptom for the same issue. # r.adb: with Ada.Text_IO; use Ada.Text_IO; procedure R is F : File_Type; begin

Bug#802838: ada: gnatgcc-5 and gnatmake symlinks

2015-10-23 Thread Nicolas Boulenguez
Package: gnat-5 Version: 5.2.1-22 Severity: wishlist Hello. The symbolic link /usr/bin/gnatgcc -> gcc-x.y installed by package gnat-x.y used to help mixing Ada and C code, /usr/bin/gnatgcc version being compatible with gnat, and sometimes different from /usr/bin/gcc version. In gnat-5, the

Bug#673772: mips: ATC with syscalls not working

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-4.9 Followup-For: Bug #673772 Control: retitle: ATC with syscalls not working Control: reassign -1 gnat-5 5.2.1-19 As I understand the reference manual, the following program with Ada.Calendar; use Ada.Calendar; with Ada.Text_IO; use Ada.Text_IO; with Interfaces.C; use

Bug#717014: on some archs, a library using Elementary_Functions needs -lm

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-4.9 Followup-For: Bug #717014 Control: reassign -1 gnat-5 5.2.1-19 Confirmed on mips.

Bug#760211: on some archs, a library using Task_Attributes needs -lpthread

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-4.9 Followup-For: Bug #760211 Control: reassign -1 gnat-5 5.2.1-21 Confirmed on kfreebsd-amd64.

Bug#182360: 182360 fixed in gnat-5

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-4.9 Followup-For: Bug #182360 Control: retitle -1 [Fixed in 5.2] GNAT.OS_Lib.Close ignores return value Adacore has found a way to preserve compatibility *and* allow the user to raise an exception. >From s-os_lib.ads: procedure Close (FD : File_Descriptor; Status : out Boolean);

Bug#666106: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-4.9 Followup-For: Bug #666106 Control: reassign -1 gnat-5 5.2.1-18 The message is "s-intman.adb:139 explicit raise" again.

Bug#673772: asynchronous transfer of control with delay abort and syscalls not working

2015-10-04 Thread Nicolas Boulenguez
Package: gnat-5 Followup-For: Bug #673772 Control: tag -1 upstream wontfix Quoting upstream: Actually Ada does not make any guarantee when mixing ATC and system calls and indeed, it is fundamentally unsafe if not impossible to properly abort from any random system call, so this isn't supported.

Bug#800045: ada: undefined reference to lrealpath in libgnatprj.so

2015-09-25 Thread Nicolas Boulenguez
Package: gnat-5 Version: 5.2.1-17 Severity: normal Hello. If main.adb contains: procedure Main is begin null; end Main; and is compiled with # gcc-5 -c main.adb # gnatbind-5 -x main.ali # LANG=C gnatlink-5 main.ali -lgnatprj the build fails:

Bug#780031: gnat-4.9: result attribute fails in postcondition of generic functions

2015-03-08 Thread Nicolas Boulenguez
Package: gnat-4.9 Version: 4.9.1-4 Severity: minor Tags: upstream Hello. The following source produces an error message. generic_f.ads:2:48: Result attribute can only appear in postcondition of function It compiles when generic or the postcondition is removed. generic function Generic_F return

Bug#759407: gnat-4.9: gnat1 not found on kfreebsd-i386

2014-09-13 Thread Nicolas Boulenguez
Package: src:gnat-4.9 Followup-For: Bug #759407 Hello. The success on 2014/08/11 was using gcc-4.9_4.9.1-4. The failure on 2014/08/24 was using gcc-4.9_4.9.1-7. The failure is reproducible on fischer.debian.org, with gcc-4.9_4.9.1-13 and the same gnat-4.9_4.9.1-1: # find /usr/lib -name gnat1

Bug#759407: gnat-4.9: gnat1 not found on kfreebsd-i386

2014-09-13 Thread Nicolas Boulenguez
Package: src:gnat-4.9 Followup-For: Bug #759407 Svante's suggestion seems to work for the binutils package: it installs /usr/lib/i486* symlinks to make the /usr/lib/i586* tools visible to callers. A bootstrap issue will remain: building a new gnat-4.9 package installing these symlinks requires a

Bug#760211: gnat-4.9: on some archs, a library using Task_Attributes needs -lpthread

2014-09-01 Thread Nicolas Boulenguez
Package: gnat-4.9 Version: 4.9.1-1 Severity: normal On armel armhf hurd-i386 kfreebsd-amd64 s390x, the following scenario complains about the pthread_getspecific symbol being undefined. Adding -lpthread to library_options (used at the end of the link command) fixes the problem, but gnat should

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-24 Thread Nicolas Boulenguez
There seems to be two different issues. - gcc -dumpversion should answer 4.9.1 instead of 4.9 - gnat1 should be linked with gnatvsn. Your last commit fixes the former, but I would like this bug to remain open as long as the latter is not clarified. -- To UNSUBSCRIBE, email to

Bug#759038: gnat-4.9: gnat1 and libgnatvsn-dev versions differ

2014-08-23 Thread Nicolas Boulenguez
Package: gnat-4.9 Version: 4.9.1-1 Severity: normal Hello. The sources in libgnatvsn-dev do not match the embedded data in the compiler executable. The version_string embedded in libgnatvsn-dev is 4.9, as show by -- tmp.c #include stdio.h extern const char version_string []; int main (void) {

Bug#666106: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

2014-05-03 Thread Nicolas Boulenguez
Package: gnat-4.8 Followup-For: Bug #666106 Control: reassign -1 gnat-4.9 4.9.0-1 On fischer.debian.org, -E has no effect. This is a bug by itself. (sid_kfreebsd-i386)$ gnatclean -q main gnatmake main ./main gcc-4.9 -c main.adb gnatbind -x main.ali gnatlink main.ali raised CONSTRAINT_ERROR :

Bug#673772: mips: ATC with syscalls not working

2014-05-03 Thread Nicolas Boulenguez
Package: gnat-4.8 Followup-For: Bug #673772 Control: reassign -1 gnat-4.9 4.9.0-1 Seen on gabrielli.debian.org. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Bug#247564: Bug box on legal program in gnat_to_gnu_entity, at ada/gcc-interface/decl.c

2014-04-29 Thread Nicolas Boulenguez
Package: gnat-4.8 Followup-For: Bug #247564 Control: reassign -1 gnat-4.9 4.9.0-1 4.9.0 (x86_64-linux-gnu) GCC error: in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:568 Error detected at test_70.adb:18:9 -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of

Bug#251265: Bug box in Case_Statement_to_gnu, at ada/gcc-interface/trans.c:2198, on legal Ada 83 program

2014-04-29 Thread Nicolas Boulenguez
Package: gnat-4.8 Followup-For: Bug #251265 Control: reassign -1 gnat-4.9 4.9.0-1 4.9.0 (x86_64-linux-gnu) GCC error: in Case_Statement_to_gnu, at ada/gcc-interface/trans.c:2366 Error detected at test_106.adb:4:9 -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of

Bug#427108: Bug box Program_Error exp_disp.adb:8445 explicit raise

2014-04-29 Thread Nicolas Boulenguez
Package: gnat-4.8 Followup-For: Bug #427108 Control: retitle -1 Bug box Program_Error exp_disp.adb: explicit raise 4.9.0 (x86_64-linux-gnu) Program_Error exp_disp.adb:8462 explicit raise Error detected at test1.adb:21:4 -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a

Bug#743833: gnat-4.6: no longer buildable on buildds

2014-04-11 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #743833 If I understand well, right after an upload of a NEW source version: - gnat-x.y-base NEW, being Arch:all, immediately replaces OLD in unstable - gnat-x.y NEW, being Arch: any, waits to be built. Meanwhile: - gnat-x.y OLD remains in unstable - gnat-x.y

Bug#743376: gnat-4.9-base and gnat-4.6-base: error when trying to install together

2014-04-08 Thread Nicolas Boulenguez
Package: gnat-4.6,gnat-4.9-base Followup-For: Bug #743376 Sorry for the confusion gnat-4.6 is fixed (4.6.4-3) in unstable gnat-4.9 is fixed (4.9-20140330-3) in experimental but gnat-4.9 is buggy (4.9-20140330-1) in unstable It should not be in unstable yet, and latest changes will probably

Bug#743375: gnat-4.9-base and dh-ada-library: error when trying to install together

2014-04-02 Thread Nicolas Boulenguez
Package: dh-ada-library,gnat-4.9-base Followup-For: Bug #743375 Control: tags -1 + pending See #743308. Revision e8f59d20 fixes this. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Bug#743308: gnat-4.6-base and dh-ada-library: error when trying to install together

2014-04-01 Thread Nicolas Boulenguez
Package: dh-ada-library,gnat-4.6-base Followup-For: Bug #743308 Control: tags -1 + pending I have protected gnat-4.6 with dependencies, but installed the file itself into gnat-4.6-base instead of gnat-4.6. Revision 2d6a96d38fa7ab538320439d15dc419b5d2a53b6 fixes this issue. -- To UNSUBSCRIBE,

Bug#743219: gnat-4.9: should Break/Replace dh-ada-library 5.9

2014-03-31 Thread Nicolas Boulenguez
Package: gnat-4.9 Version: 4.9-20140322-1 Severity: serious Control: -1 tags + pending * Gnat-4.9 (= 4.9-20140322-1) and dh-ada-library (= 5.9) both provide /usr/share/debian_packaging.mk. * dh-ada-library version in unstable and testing is 5.9 * gnat-4.9 Breaks/Replaces: dh-ada-library (=

Bug#742590: gnat-4.9: FTBFS on powerpc, Storage_Error in two source files

2014-03-29 Thread Nicolas Boulenguez
Package: src:gnat-4.9 Followup-For: Bug #742590 At least three failures affect build/gcc/ada/rts-static-zcx. A 54 compiler segfault when optimization is asked. B 106 warnings (= errors with -gnatg), mostly about conversions between types with different sizes. C 46 errors caused by the same

Bug#742590: gnat-4.9: FTBFS on powerpc, Storage_Error in two source files

2014-03-29 Thread Nicolas Boulenguez
Package: src:gnat-4.9 Followup-For: Bug #742590 Control: retitle -1 FTBFS on powerpc, wrong System.Address'Size Control: tags -1 + pending Revision b1ec15211bb78fd840cc96b500d13e5f1531f9b8 fixes this issue. In order to help next newcomer to modify flags for specific sources, please consider

Bug#742590: gnat-4.9: FTBFS on powerpc, Storage_Error in two source files

2014-03-27 Thread Nicolas Boulenguez
Package: src:gnat-4.9 Followup-For: Bug #742590 When compiling a-direct.adb on partch.debian.org, the failure appears with -O[12] but not with -O0. Gdb shows that it happens in the gnat1 subprocess and produces a backtrace. $ gdb ../../xgcc (gdb) set args -B../.. -c -O1 -gnatpg a-direct.adb

Bug#713124: gnat-4.6: FTBFS: unsatifiable build-dependency: automake

2014-03-24 Thread Nicolas Boulenguez
Package: src:gnat-4.6 Followup-For: Bug #713124 Control: tag -1 pending gcc-4.6.4-6 resolves both dependency problems. Next gnat-4.6 upload will contain the changes. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#611248: gnat-4.4: [amrel only] unexpected symbols added for shared library

2014-02-28 Thread Nicolas Boulenguez
Package: gnat-4.4 Followup-For: Bug #611248 Hello. I checked in the oldstable chroot of abel.debian.org, libpolyorb-giop.so seems to build correctly. Your report looks quite similar to 687642. Could you please try to reproduce, and report what happens when replacing -lgnarl-4.4 with the explicit

Bug#497620: [Fixed in 4.6] Bug box on legal code, TYPES.UNRECOVERABLE_ERROR: comperr.adb:398

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.4 Followup-For: Bug #497620 Gnat 4.9-20140218 does not crash either. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20140227194124.GA8569@pegase

Bug#642981: armel: ICE in update_ssa_across_abnormal_edges, at tree-inline.c:1853

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #642981 Control: retitle -1 [Fixed in 4.8] [kfreebsd-amd64,mips,mipsel] Bug box in interpret_loop_phi, at tree-scalar-evolution.c:1645 Fixed on falla.debia.org with gnat 4.8.2-8 and -O[0123]. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org

Bug#642980: Fixed in 4.8

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #642980 Control: retitle -1 [Fixed in 4.8] [kfreebsd-amd64,mips,mipsel] Bug box in interpret_loop_phi, at tree-scalar-evolution.c:1645 Fixed on falla.debia.org with gnat 4.8.2-8 and -O[0123]. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org

Bug#642981: gnat-4.6: Correct last commands

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #642981 Control: retitle -1 [Fixed in 4.8] armel: ICE in update_ssa_across_abnormal_edges, at tree-inline.c:1853 Please ignore last message, I confused two bugs. However: Fixed on abel.debian.org with gnat 4.8.2-8 and -O[0123]. -- To UNSUBSCRIBE, email to

Bug#687642: gnat-4.6: reassign to 4.8

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #687642 Control: reassign -1 gnat-4.8 4.8.2-8 Control: retitle -1 armel armhf: gcc -shared reads libgnarl.a instead of .so Checked on abel.debian.org. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble?

Bug#717014: gnat-4.6: reassign 4.8

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #717014 Control: reassign -1 gnat-4.8 4.8.2-8 Control: retitle -1 on some archs, a library using Elementary_Functions needs -lm Checked on abel.debian.org (armel). -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of

Bug#673772: mips: ATC with syscalls not working

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #673772 Control: reassign -1 gnat-4.8 4.8.2-8 Checked on gabrielli.debian.org. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Bug#666106: kfreebsd-i386: Exceptions with tracebacks in task rendezvous cause STORAGE_ERROR

2014-02-27 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #666106 Control: reassign -1 gnat-4.8 4.8.2-8 Same symptoms on fischer.debian.org (s-intman.adb:139), but signal is named as SIGSEGV. Backtrace: 0x2834bd7b in __gnat_backtrace () from /usr/lib/i386-kfreebsd-gnu/libgnat-4.8.so.1 (gdb) backtrace #0

Bug#717014: gnat-4.6: on some archs, a library using Elementary_Functions needs -lm

2014-02-23 Thread Nicolas Boulenguez
Package: gnat-4.6 Followup-For: Bug #717014 For the record, here are two sensible work-arounds: * in linker options: -Wl,--as-needed -lm -Wl,--no-as-needed * in a GNAT project: case External (NEEDS_LM) is when yes = for Library_Options use (-lm); when no = null;

Bug#642981: some news

2013-10-30 Thread Nicolas Boulenguez
Control: retitle -1 armel: ICE in update_ssa_across_abnormal_edges, at tree-inline.c:1853 Control: found -1 4.6.4-1 On abel.debian.org with libtemplates-parser-11.6-4, the bug now disappears when -O0 is used instead of -O2. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with

Bug#642981: smaller example

2013-10-30 Thread Nicolas Boulenguez
Here is a short source triggering the bug. # gcc-4.6 -c -O1 -gnatn pack.adb package Pack is type T is tagged null record; type A is access T'Class; type V (Discriminant : Boolean := True) is record case Discriminant is when False = I_Field : Integer; when True =

Bug#658566: fixed in 4.8

2013-10-30 Thread Nicolas Boulenguez
Control: retitle -1 [Fixed in 4.8] Assert_Failure sinfo.adb:1072 in iterator 4.8.2-1 correctly reports the problem: proc.adb:9:10: iterator is an Ada 2012 feature -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#658567: fixed in 4.8

2013-10-30 Thread Nicolas Boulenguez
Control: retitle -1 [Fixed in 4.8] GCC error on precondition in gnat_to_gnu_entity, at ada/gcc-interface/decl.c:353 4.8.2-1 compiles silently. -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org Archive:

Bug#246187: reassign to gnat-4.8

2013-10-29 Thread Nicolas Boulenguez
Followup-For: Bug #246187 Control: reassign -1 gnat-4.8 4.8.2-1 Control: retitle -1 Bug box, Storage_Error at system.ads:139:5 on legal program 4.8.2 (x86_64-linux-gnu) Storage_Error stack overflow or erroneous memory access Error detected at system.ads:152:5 -- To UNSUBSCRIBE, email to

  1   2   >