Your message dated Tue, 05 Aug 2014 19:05:02 +0000
with message-id <e1xek2g-0002iz...@franck.debian.org>
and subject line Bug#755099: fixed in judy 1.0.5-2
has caused the Debian Bug report #755099,
regarding libjudydebian1: broken on amd64
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 ow...@bugs.debian.org
immediately.)
--
755099: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=755099
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: libjudydebian1
Version: 1.0.5-1.1
Severity: grave
Tags: upstream
Justification: renders package unusable
Dear Maintainer,
gcc-4.8.3+ miscompile libjudy on AMD64. Workarounds:
* use -fno-aggressive-loop-optimizations
* compile witn gcc-4.7
* compile with clang :-)
Judy's quite obscure; I've not seen any obvious bug, but it's a challenge to
compilers... And -fno-aggressive-loop-optimizations works around the bug so
I hesitate to fill a PR on https://gcc.gnu.org/bugzilla/.
Oh yes, GCC upstream doesn't work either (tested w/pristine 4.8.3 and 4.9.1).
Here's a testcase:
---><---
// testj1.cc
#include <cstdint>
#include <stdexcept>
#include <Judy.h>
using namespace std;
namespace {
uint64_t Items[] =
{
39895168241613, 72383693324832, 395899889036069, 847472082254022,
946081064318053, 1037167590154045,
1633874457044695, 1693551557777793, 1699866756097333,
2297933432179674, 2340748542246111, 2490696201066604,
2928757784612027, 3419613478295142, 3477583438964521,
3487665594607298, 3714788097418699, 3721974488148864,
3758589574777127, 4156020789217938, 4459711081140573,
4682530741276476, 4731624807195863, 4846840683894723,
4857387254864689, 4873346723597917, 4966839149608974,
5631406002858271, 5722255428668219, 5820718729024077,
6209639118315956, 6406299749329887, 6454295835737737,
6503048444249319, 6520786252857121, 6906836761168795,
6926132865086029, 6954533820994232
};
}
int
main(int /*argc*/, char const * /*argv*/[])
{
int Rc_int; // boolean values returned (0 or 1)
Pvoid_t PJ1Array = nullptr; // initialize Judy1 array
for (auto item: Items) {
// set item
J1S(Rc_int, PJ1Array, item);
// get last (with value <= ii)
auto ii = item;
J1L(Rc_int, PJ1Array, ii);
if (ii != item)
throw runtime_error("J1L: ii != item");
}
return 0;
}
---><---
This program inserts increasing int64_t's into a Judy1 array. After each insert,
it checks whether the last item is what was just added.
$ g++ -O3 -g -W -Wall -pipe -std=c++11 testj1.cc -o testj1 -lJudy
Expected result:
$ ./testj1
$
Actual result:
$ ./testj1
terminate called after throwing an instance of 'std::runtime_error'
what(): J1L: ii != item
Aborted (core dumped)
$
Thanks!
Yves
-- System Information:
Debian Release: jessie/sid
APT prefers testing-updates
APT policy: (500, 'testing-updates'), (500, 'testing')
Architecture: amd64 (x86_64)
Kernel: Linux 3.16.0-3-generic (SMP w/4 CPU cores)
Locale: LANG=C, LC_CTYPE=C (charmap=ANSI_X3.4-1968)
Shell: /bin/sh linked to /bin/dash
Versions of packages libjudydebian1 depends on:
ii libc6 2.19-7
libjudydebian1 recommends no packages.
libjudydebian1 suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: judy
Source-Version: 1.0.5-2
We believe that the bug you reported is fixed in the latest version of
judy, 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 755...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Troy Heber <tr...@debian.org> (supplier of updated judy 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 15 Jul 2014 15:14:04 -0600
Source: judy
Binary: libjudy-dev libjudydebian1
Architecture: source amd64
Version: 1.0.5-2
Distribution: unstable
Urgency: medium
Maintainer: Troy Heber <tr...@debian.org>
Changed-By: Troy Heber <tr...@debian.org>
Description:
libjudy-dev - C library for creating and accessing dynamic arrays (dev package)
libjudydebian1 - C library for creating and accessing dynamic arrays
Closes: 513200 755099
Changes:
judy (1.0.5-2) unstable; urgency=medium
.
* Accepting NMU changes
* Update policy to 3.9.5.0
* Compile with -fno-aggressive-loop-optimizations, (Closes: #755099)
* Add watch file (Closes: #513200)
* debian/rules re-write to minimal dh 9 compability
Checksums-Sha1:
020d7b3dca55a850c39cef1ec910376f678490aa 1041 judy_1.0.5-2.dsc
bffc7287a08741071f1174ee815382627f2aa3dc 4353 judy_1.0.5-2.diff.gz
e41027a90f60ad176da48d636d1b56727ce35534 138308 libjudy-dev_1.0.5-2_amd64.deb
35a3ddcc2ab2cd198c893b25fbee7001bbe4b4d2 97658 libjudydebian1_1.0.5-2_amd64.deb
Checksums-Sha256:
a1cb3d329c35e49e4455933e3fdf9ac19efd403091dc110a86f197660dbaec14 1041
judy_1.0.5-2.dsc
9affd38221fd2fc3047f77ca5af14bc53f149150889176001091784385cc19ac 4353
judy_1.0.5-2.diff.gz
bdca03b2d84843d69f94a7aa87f980bd71d9d2aae3b966c674a566e3cb40bc61 138308
libjudy-dev_1.0.5-2_amd64.deb
1ac6fb1d7be35213890c543e3152958108529db178383e0cd6a87d3f33cdb1a9 97658
libjudydebian1_1.0.5-2_amd64.deb
Files:
995a44d08662e902e19a869fb0b25b16 138308 libdevel optional
libjudy-dev_1.0.5-2_amd64.deb
01fc3b23be2e8138dddb2afbe5418226 97658 libs optional
libjudydebian1_1.0.5-2_amd64.deb
90cc3f1d32f71b9db3f443cb9aba45ef 1041 libs optional judy_1.0.5-2.dsc
7fc1a0b30bc2574967933acde97b436f 4353 libs optional judy_1.0.5-2.diff.gz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
iD8DBQFT4SYQQOr9C+GfGI4RAn54AJ0R+C9J/NlMTfCfC1B7u38RojGO6ACgxApG
lDtAoVppa6Vg6Wh+S5f4Yms=
=9290
-----END PGP SIGNATURE-----
--- End Message ---
