Processing commands for cont...@bugs.debian.org:
> retitle 614402 gnat: Pragma Assert is rejected with No_Implementation_Pragmas
> restriction
Bug #614402 [gnat-4.6] gnat-4.4: Pragma Assert is rejected with
No_Implementation_Pragmas restriction
Changed Bug title to 'gnat: Pragma Assert is reject
Processing commands for cont...@bugs.debian.org:
> reassign 614402 gnat-4.6
Bug #614402 [gnat-4.4] gnat-4.4: Pragma Assert is rejected with
No_Implementation_Pragmas restriction
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
Bug No longer marked as found in versions gnat-4.4/4.4.5-3.
> fou
Processing commands for cont...@bugs.debian.org:
> retitle 540174 gnat: bug box Assert_Failure sinfo.adb, error detected
> ata-unccon.ads
Bug #540174 [gnat-4.6] gnat-4.4: Assert_Failure sinfo.adb:360, error detected
at a-unccon.ads:23:27
Changed Bug title to 'gnat: bug box Assert_Failure sinfo.a
Processing commands for cont...@bugs.debian.org:
> reassign 540174 gnat-4.6
Bug #540174 [gnat-4.4] gnat-4.4: Assert_Failure sinfo.adb:360, error detected
at a-unccon.ads:23:27
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
Bug No longer marked as found in versions gnat-4.4/4.4.1-1.
> found
Processing commands for cont...@bugs.debian.org:
> reassign 496614 gnat-4.6
Bug #496614 [gnat-4.4] gnat-4.3: can not find definition of an ada variable
with gdb
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> retitle 496614 gnat: can not find definition of an ada variable with gdb
Bug #49
reassign 496614 gnat-4.6
retitle 496614 gnat: can not find definition of an ada variable with gdb
thanks
Some news from upstream.
4.1.2 buggy
4.1.3 ok
4.2.3 ok
4.3.1 buggy
4.6.1 ok
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact
Accepted:
gdc-4.4_1.063-4.4.6-6_i386.deb
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-6_i386.deb
libphobos-4.4-dev_1.063-4.4.6-6_i386.deb
to main/g/gdc-4.4/libphobos-4.4-dev_1.063-4.4.6-6_i386.deb
Override entries for your package:
gdc-4.4_1.063-4.4.6-6_i386.deb - optional devel
libphobos-4.4-dev
gdc-4.4_1.063-4.4.6-6_i386.changes uploaded successfully to localhost
along with the files:
gdc-4.4_1.063-4.4.6-6_i386.deb
libphobos-4.4-dev_1.063-4.4.6-6_i386.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To UNSUBSCRIBE, email to debian-gcc-requ...
Processing commands for cont...@bugs.debian.org:
> reassign 427108 gnat-4.6
Bug #427108 [gnat-4.4] gnat-4.1: Legal program executes incorrectly, RM 3.4(27)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 427108 4.6.1-5
Bug #427108 [gnat-4.6] gnat-4.1: Legal program executes incorrect
Processing commands for cont...@bugs.debian.org:
> reassign 279893 gnat-4.6
Bug #279893 [gnat-4.4] gnat: Legal instantiation rejected; illegal
instantiation accepted
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 279893 4.6.1-5
Bug #279893 [gnat-4.6] gnat: Legal instantiation rejec
Actually, no illegal program is undetected. The (minor) bug is that GNAT
reports only one error instead of two.
If one line is commented out, GNAT correctly reports the problem for the
other one.
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". T
Processing commands for cont...@bugs.debian.org:
> reassign 276224 gnat-4.6
Bug #276224 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.2(9)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 276224 4.6.1-5
Bug #276224 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.2(9)
Bug
Accepted:
gdc-4.4_1.063-4.4.6-6.diff.gz
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-6.diff.gz
gdc-4.4_1.063-4.4.6-6.dsc
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-6.dsc
gdc-4.4_1.063-4.4.6-6_amd64.deb
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-6_amd64.deb
libphobos-4.4-dev_1.063-4.4.6-6_amd64.deb
to mai
gdc-4.4_1.063-4.4.6-6_amd64.changes uploaded successfully to localhost
along with the files:
gdc-4.4_1.063-4.4.6-6.dsc
gdc-4.4_1.063-4.4.6-6.diff.gz
gdc-4.4_1.063-4.4.6-6_amd64.deb
libphobos-4.4-dev_1.063-4.4.6-6_amd64.deb
Greetings,
Your Debian queue daemon (running on host franc
Package: gcc-defaults
Version: 1.96
Severity: normal
Hi,
building gcc defaults I get:
dh_fixperms -i
dh_python2 -plibgcj-common
make: dh_python2: Command not found
make: *** [binary-indep] Error 127
dh_python2 is part of python and I don't see a Build-Depends: python in
the source.
MfG
Accepted:
gdc-4.4_1.063-4.4.6-5.diff.gz
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-5.diff.gz
gdc-4.4_1.063-4.4.6-5.dsc
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-5.dsc
gdc-4.4_1.063-4.4.6-5_amd64.deb
to main/g/gdc-4.4/gdc-4.4_1.063-4.4.6-5_amd64.deb
libphobos-4.4-dev_1.063-4.4.6-5_amd64.deb
to mai
Processing commands for cont...@bugs.debian.org:
> reassign 427107 gnat-4.6
Bug #427107 [gnat-4.4] gnat-4.1: Bug box, Assert_Failure at einfo.adb:846,
renaming predefined "=" and "/="
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 427107 4.6.1-5
Bug #427107 [gnat-4.6] gnat-4.1: Bug
reassign 427107 gnat-4.6
found 427107 4.6.1-5
thanks
We now have two distinct assertion failures.
First version with T1 Eq Neq gives:
4.6.1 (x86_64-pc-linux-gnu) Assert_Failure einfo.adb:904
Error detected at pak1.ads:1:1
Second version with T1 Eq and T2 Eq gives:
4.6.1 (x86_64-pc-linux-gnu) Ass
Processing commands for cont...@bugs.debian.org:
> reassign 416979 gnat-4.6
Bug #416979 [gnat-4.4] gnat-4.1: Illegal program not detected, RM 7.3(13),
4.9.1(1), nonstatic discriminants
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 416979 4.6.1-5
Bug #416979 [gnat-4.6] gnat-4.1: Il
Processing commands for cont...@bugs.debian.org:
> reassign 339356 gnat-4.6
Bug #339356 [gnat-4.4] gnat: Assert_Failure atree.adb:678 on invalid code
(mixture of protected object and accept of entry family)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 4.6.1-5
Unknown command or m
reassign 339356 gnat-4.6
found 4.6.1-5
thanks
The bug box now refers to
4.6.1 (x86_64-pc-linux-gnu) Assert_Failure atree.adb:794
--
To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.d
Processing commands for cont...@bugs.debian.org:
> reassign 283835 gnat-4.6
Bug #283835 [gnat-4.4] gnat: Illegal program not detected, "/=" when "=" is
ambiguous
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 283835 4.6.1-5
Bug #283835 [gnat-4.6] gnat: Illegal program not detected,
Hi all,
I have a problem about gcc not finding a library and its symbols. I link
my very simple test program against libssl using -lssl and the linker
emit a lot of errors about symbols not found. These are symbols from
libcrypto.so, but they should be automatically found since libssl.so
require li
Processing commands for cont...@bugs.debian.org:
> reassign 280939 gnat-4.6
Bug #280939 [gnat-4.4] gnat: Illegal program not detected, RM 10.1.5(4), 8.1(16)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 280939 4.6.1-5
Bug #280939 [gnat-4.6] gnat: Illegal program not detected, RM 10
Processing commands for cont...@bugs.debian.org:
> found 247018 4.6.1-5
Bug #247018 [gnat-4.6] gnat: Illegal program not detected, RM 8.3(8)
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 247019 4.6.1-5
Bug #247019 [gnat-4.6] gnat: Illegal program not detected, circular renames
Bug Mark
Processing commands for cont...@bugs.debian.org:
> found 182360 4.6.1-5
Bug #182360 [gnat-4.6] gnat: GNAT.OS_Lib.Close ignores return value
Bug Marked as found in versions gnat-4.6/4.6.1-5.
> found 244936 4.6.1-5
Bug #244936 [gnat-4.6] gnat-4.6: Legal program rejected, RM 8.2(22)
Bug Marked as fou
gdc-4.4_1.063-4.4.6-5_amd64.changes uploaded successfully to localhost
along with the files:
gdc-4.4_1.063-4.4.6-5.dsc
gdc-4.4_1.063-4.4.6-5.diff.gz
gdc-4.4_1.063-4.4.6-5_amd64.deb
libphobos-4.4-dev_1.063-4.4.6-5_amd64.deb
Greetings,
Your Debian queue daemon (running on host franc
Processing commands for cont...@bugs.debian.org:
> reassign 416975 gnat-4.6
Bug #416975 [gnat-4.4] gnat-4.1: Illegal program not detected, RM 7.3(13),
4.9.1(1)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 416975 4.6.1-5
Bug #416975 [gnat-4.6] gnat-4.1: Illegal program not detecte
Accepted:
gcj-4.4-base_4.4.6-9_amd64.deb
to main/g/gcj-4.4/gcj-4.4-base_4.4.6-9_amd64.deb
gcj-4.4-jdk_4.4.6-9_amd64.deb
to main/g/gcj-4.4/gcj-4.4-jdk_4.4.6-9_amd64.deb
gcj-4.4-jre-headless_4.4.6-9_amd64.deb
to main/g/gcj-4.4/gcj-4.4-jre-headless_4.4.6-9_amd64.deb
gcj-4.4-jre-lib_4.4.6-9_al
Processing commands for cont...@bugs.debian.org:
> reassign 278831 gnat-4.6
Bug #278831 [gnat-4.4] gnat: Illegal program not detected, access to invisible
type RM 8.2(9)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 278831 4.6.1-5
Bug #278831 [gnat-4.6] gnat: Illegal program not d
reassign 278831 gnat-4.6
found 278831 4.6.1-5
thanks
I suggest providing a body to avoid any other illegality.
package Test_128 is
package inner is
private
type T1;
end inner;
type T1_ptr is access inner.T1; -- line 9 ERROR: gnat mistakenly accepts
end Test_128;
package body te
gcj-4.4_4.4.6-9_amd64.changes uploaded successfully to localhost
along with the files:
gcj-4.4_4.4.6-9.dsc
gcj-4.4_4.4.6-9.diff.gz
gcj-4.4-jre-lib_4.4.6-9_all.deb
gcj-4.4-source_4.4.6-9_all.deb
gcj-4.4-base_4.4.6-9_amd64.deb
gcj-4.4-jre-headless_4.4.6-9_amd64.deb
libgcj10_4.4.6-9_amd6
Processing commands for cont...@bugs.debian.org:
> reassign 278687 gnat-4.6
Bug #278687 [gnat-4.4] gnat: Legal program rejected, RM 13.13.2(14)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 278687 4.6.1-5
Bug #278687 [gnat-4.6] gnat: Legal program rejected, RM 13.13.2(14)
Bug Marke
Processing commands for cont...@bugs.debian.org:
> reassign 276227 gnat-4.6
Bug #276227 [gnat-4.4] gnat: Legal program rejected, packed array of booleans
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 276227 4.6.1-5
Bug #276227 [gnat-4.6] gnat: Legal program rejected, packed array o
reassign 276227 gnat-4.6
found 276227 4.6.1-5
thanks
Since both messages are now coherent, I propose to test one single type.
package Test_124 is
type T is range 1 .. 32;
type T_arr_unconstrained is array (T range <>) of boolean;
type T_arr_constrained is new T_arr_unconstrained (T);
Accepted:
cpp-4.4_4.4.6-9_amd64.deb
to main/g/gcc-4.4/cpp-4.4_4.4.6-9_amd64.deb
g++-4.4-multilib_4.4.6-9_amd64.deb
to main/g/gcc-4.4/g++-4.4-multilib_4.4.6-9_amd64.deb
g++-4.4_4.4.6-9_amd64.deb
to main/g/gcc-4.4/g++-4.4_4.4.6-9_amd64.deb
gcc-4.4-base_4.4.6-9_amd64.deb
to main/g/gcc-4.4/g
gcc-4.4_4.4.6-9_amd64.changes uploaded successfully to localhost
along with the files:
gcc-4.4_4.4.6-9.dsc
gcc-4.4_4.4.6-9.diff.gz
gcc-4.4-source_4.4.6-9_all.deb
libstdc++6-4.4-doc_4.4.6-9_all.deb
gcc-4.4-locales_4.4.6-9_all.deb
gcc-4.4-base_4.4.6-9_amd64.deb
cpp-4.4_4.4.6-9_amd64.deb
Processing commands for cont...@bugs.debian.org:
> reassign 269951 gnat-4.6
Bug #269951 [gnat-4.4] gnat: Illegal program not detected, name hidden by use
clauses
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 269951 4.6.1-5
Bug #269951 [gnat-4.6] gnat: Illegal program not detected,
Your message dated Wed, 31 Aug 2011 12:02:52 +
with message-id
and subject line Bug#637418: fixed in gcc-4.4 4.4.6-9
has caused the Debian Bug report #637418,
regarding gnat-4.6 ftbfs with eglibc-2.13-16
to be marked as done.
This means that you claim that the problem has been dealt with.
If
Processing commands for cont...@bugs.debian.org:
> reassign 269948 gnat-4.6
Bug #269948 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.3(11)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 269948 4.6.1-5
Bug #269948 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.3(11)
B
Processing commands for cont...@bugs.debian.org:
> reassign 253737 gnat-4.6
Bug #253737 [gnat-4.4] gnat: Legal program rejected, nested generic packages
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 253737 4.6.1-5
Bug #253737 [gnat-4.6] gnat: Legal program rejected, nested generic
Processing commands for cont...@bugs.debian.org:
> reassign 251265 gnat-4.6
Bug #251265 [gnat-4.4] gnat: Bug box in Gigi, code=316, on legal Ada 83 program
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 251265 4.6.1-5
Bug #251265 [gnat-4.6] gnat: Bug box in Gigi, code=316, on legal
Processing commands for cont...@bugs.debian.org:
> reassign 248682 gnat-4.6
Bug #248682 [gnat-4.4] gnat: Illegal program not detected, RM 6.3.1(9), RM
8.5.4(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248682 4.6.1-5
Bug #248682 [gnat-4.6] gnat: Illegal program not detected, R
Processing commands for cont...@bugs.debian.org:
> reassign 248681 gnat-4.6
Bug #248681 [gnat-4.4] gnat: Illegal program not detected, RM 8.5.4(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248681 4.6.1-5
Bug #248681 [gnat-4.6] gnat: Illegal program not detected, RM 8.5.4(5)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 248680 gnat-4.6
Bug #248680 [gnat-4.4] gnat: Illegal program not detected, X'Access of wrong
type
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248680 4.6.1-5
Bug #248680 [gnat-4.6] gnat: Illegal program not detected, X'A
Processing commands for cont...@bugs.debian.org:
> reassign 248678 gnat-4.6
Bug #248678 [gnat-4.4] gnat: Illegal program not detected, RM 3.4.1(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248678 4.6.1-5
Bug #248678 [gnat-4.6] gnat: Illegal program not detected, RM 3.4.1(5)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 248170 gnat-4.6
Bug #248170 [gnat-4.4] gnat: Illegal program not detected, RM 3.10.2(24)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248170 4.6.1-5
Bug #248170 [gnat-4.6] gnat: Illegal program not detected, RM 3.10.2(24)
Processing commands for cont...@bugs.debian.org:
> reassign 248168 gnat-4.6
Bug #248168 [gnat-4.4] gnat: Illegal program not detected, RM 3.9.2(13)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248168 4.6.1-5
Bug #248168 [gnat-4.6] gnat: Illegal program not detected, RM 3.9.2(13)
B
Processing commands for cont...@bugs.debian.org:
> reassign 248167 gnat-4.6
Bug #248167 [gnat-4.4] gnat: Legal program rejected, expect derived type in
instantiation
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248167 4.6.1-5
Bug #248167 [gnat-4.6] gnat: Legal program rejected, e
Processing commands for cont...@bugs.debian.org:
> reassign 247571 gnat-4.6
Bug #247571 [gnat-4.4] gnat: Wrong output from legal program, pragma Import
(Ada)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 247571 4.6.1-5
Bug #247571 [gnat-4.6] gnat: Wrong output from legal program,
Processing commands for cont...@bugs.debian.org:
> reassign 248166 gnat-4.6
Bug #248166 [gnat-4.4] gnat: Illegal program not detected, ambiguous call to "="
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 248166 4.6.1-5
Bug #248166 [gnat-4.6] gnat: Illegal program not detected, ambig
Processing commands for cont...@bugs.debian.org:
> reassign 247570 gnat-4.6
Bug #247570 [gnat-4.4] gnat: Illegal program not detected, RM 13.14(5)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 247570 4.6.1-5
Bug #247570 [gnat-4.6] gnat: Illegal program not detected, RM 13.14(5)
Bug
Processing commands for cont...@bugs.debian.org:
> reassign 247569 gnat-4.6
Bug #247569 [gnat-4.4] gnat: Wrong output from legal program, ordered generic
parameter association
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> found 247569 4.6.1-5
Bug #247569 [gnat-4.6] gnat: Wrong output fr
Processing commands for cont...@bugs.debian.org:
> reassign 247564 gnat-4.6
Bug #247564 [gnat-4.4] gnat: Bug box in Gigi, code=103, on legal program
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
247564: http:
Processing commands for cont...@bugs.debian.org:
> reassign 247020 gnat-4.6
Bug #247020 [gnat-4.4] gnat: Illegal program not detected, self renames
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
247020: http:/
Processing commands for cont...@bugs.debian.org:
> reassign 247019 gnat-4.6
Bug #247019 [gnat-4.4] gnat: Illegal program not detected, circular renames
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
247019: ht
Processing commands for cont...@bugs.debian.org:
> reassign 247018 gnat-4.6
Bug #247018 [gnat-4.4] gnat: Illegal program not detected, RM 8.3(8)
Bug reassigned from package 'gnat-4.4' to 'gnat-4.6'.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
247018: http://bu
57 matches
Mail list logo