Your message dated Tue, 25 Jul 2017 11:00:11 +0000
with message-id <[email protected]>
and subject line Bug#861949: fixed in gecode 5.1.0-1
has caused the Debian Bug report #861949,
regarding flatzinc: fzn-gecode segfaults on most input files
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 [email protected]
immediately.)
--
861949: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861949
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: flatzinc
Version: 4.4.0-4
Severity: important
Tags: upstream
Dear Maintainer,
fzn-gecode segmentation faults on most input .fzn files, rendering it mostly
unusable.
Running the following commands reproduce the segmentation fault
(behaviour is not exclusive to this file):
$ mzn2fzn /usr/share/doc/examples/functions/warehouses.mzn -O- -o warehouses.fzn
$ fzn-gecode warehouses.fzn
An example of a file that does not cause a segfault is:
/usr/share/doc/minizinc/new_syntax/extended_let.mzn
This appears to also affect the upstream 4.4.0 release when compiled on the
same system.
GDB backtrace is attached.
-- System Information:
Debian Release: 9.0
APT prefers testing-debug
APT policy: (500, 'testing-debug'), (500, 'testing')
Architecture: amd64
(x86_64)
Foreign Architectures: i386
Kernel: Linux 4.9.0-2-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages flatzinc depends on:
ii libc6 2.24-10
ii libgcc1 1:6.3.0-14
ii libgecode41v5 4.4.0-4
ii libgecodeflatzinc41v5 4.4.0-4
ii libgecodegist41v5 4.4.0-4
ii libstdc++6 6.3.0-14
flatzinc recommends no packages.
flatzinc suggests no packages.
-- no debconf information
*** backtrace.txt
user@debian:~/Desktop/flatzinc-debugging$ mzn2fzn
/usr/share/doc/minizinc/examples/functions/warehouses.mzn -o ./warehouses.fzn
-O-
user@debian:~/Desktop/flatzinc-debugging$ gdb fzn-gecode
GNU gdb (Debian 7.12-6) 7.12.0.20161007-git
Copyright (C) 2016 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law. Type "show copying"
and "show warranty" for details.
This GDB was configured as "x86_64-linux-gnu".
Type "show configuration" for configuration details.
For bug reporting instructions, please see:
<http://www.gnu.org/software/gdb/bugs/>.
Find the GDB manual and other documentation resources online at:
<http://www.gnu.org/software/gdb/documentation/>.
For help, type "help".
Type "apropos word" to search for commands related to "word"...
Reading symbols from fzn-gecode...Reading symbols from
/usr/lib/debug/.build-id/98/163b16bd01cfce89b50186d369bd0086c05a77.debug...done.
done.
(gdb) run warehouses.fzn
Starting program: /usr/bin/fzn-gecode warehouses.fzn
[Thread debugging using libthread_db enabled]
Using host libthread_db library "/lib/x86_64-linux-gnu/libthread_db.so.1".
Program received signal SIGSEGV, Segmentation fault.
__cxxabiv1::__dynamic_cast (src_ptr=src_ptr@entry=0x0,
src_type=src_type@entry=0x555555759ad0 <typeinfo for
Gecode::FlatZinc::AST::Node>,
dst_type=dst_type@entry=0x7ffff7dd7258 <typeinfo for
Gecode::FlatZinc::AST::Array>, src2dst=src2dst@entry=0)
at ../../../../src/libstdc++-v3/libsupc++/dyncast.cc:50
50 ../../../../src/libstdc++-v3/libsupc++/dyncast.cc: No such file or
directory.
(gdb) bt
#0 __cxxabiv1::__dynamic_cast (src_ptr=src_ptr@entry=0x0,
src_type=src_type@entry=0x555555759ad0 <typeinfo for
Gecode::FlatZinc::AST::Node>,
dst_type=dst_type@entry=0x7ffff7dd7258 <typeinfo for
Gecode::FlatZinc::AST::Array>, src2dst=src2dst@entry=0)
at ../../../../src/libstdc++-v3/libsupc++/dyncast.cc:50
#1 0x00007ffff7b8c658 in Gecode::FlatZinc::AST::Node::hasAtom (this=0x0,
id="output_var") at ./gecode/flatzinc/ast.hh:326
#2 0x00007ffff7bb2b66 in yyparse (
parm=parm@entry=0x7fffffffda00)
at gecode/flatzinc/parser.yxx:628
#3 0x00007ffff7bbb9ef in Gecode::FlatZinc::parse (
filename="warehouses.fzn", p=..., err=...,
fzs=<optimized out>, rnd=<optimized out>)
at gecode/flatzinc/parser.yxx:416
#4 0x0000555555557256 in main (argc=<optimized out>,
argv=<optimized out>) at tools/flatzinc/fzn-gecode.cpp:68
(gdb)
--- End Message ---
--- Begin Message ---
Source: gecode
Source-Version: 5.1.0-1
We believe that the bug you reported is fixed in the latest version of
gecode, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Kari Pahula <[email protected]> (supplier of updated gecode 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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 18 Jul 2017 21:41:42 +0300
Source: gecode
Binary: libgecode-dev libgecode-doc libgecode44 libgecodegist44
libgecodeflatzinc44 flatzinc
Architecture: source amd64 all
Version: 5.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Kari Pahula <[email protected]>
Changed-By: Kari Pahula <[email protected]>
Description:
flatzinc - constraint problem modelling language
libgecode-dev - generic constraint development environment
libgecode-doc - generic constraint development environment
libgecode44 - generic constraint development environment
libgecodeflatzinc44 - Gecode support for FlatZinc modelling language
libgecodegist44 - Gecode Interactive Search Tool library
Closes: 861949
Changes:
gecode (5.1.0-1) unstable; urgency=medium
.
* New upstream release (soname 44)
- fzn-gecode seems to work correctly now. (Closes: #861949)
* Standards-Version 4.0.0 (no changes necessary).
* Drop patch bison-3-support since upstream updated their build with
similar change.
* Remove mzn-gecode from flatzinc since mzn-fzn provided by minizinc
provides that functionality.
* Remove /usr/share/gecode/mznlib from flatzinc since minizinc comes
with its own copy of it.
* Add symlink /usr/bin/flatzinc to fzn-gecode.
* Add recommends on minizinc to flatzinc.
Checksums-Sha1:
535606245d4a7123f10ff4debf255fef1bb8a1d9 2142 gecode_5.1.0-1.dsc
fdcdeb55a8b10046ec8b9e7c0ea24fad89c7f71b 3213603 gecode_5.1.0.orig.tar.gz
a013234bbcd792e9b3db1757becfba9799436db9 13036 gecode_5.1.0-1.debian.tar.xz
81c17ac59c5f54a88470c09886fbb0fd4883c549 107098
flatzinc-dbgsym_5.1.0-1_amd64.deb
1f9edcba36b1a34c14b3a7f702e8be185e5e28d5 62994 flatzinc_5.1.0-1_amd64.deb
7d63f4b770d2e44c493a3601557d5e39fd2a5b88 13882 gecode_5.1.0-1_amd64.buildinfo
31fd1507a8c4c935d0da74e961c76ffb5e7389a1 538978 libgecode-dev_5.1.0-1_amd64.deb
15aa77d1f407032819675ef2b347df17f716c20a 10549298 libgecode-doc_5.1.0-1_all.deb
0ee73d63df58df46c95de743dd62e3192d49d097 35877042
libgecode44-dbgsym_5.1.0-1_amd64.deb
2ccdaab691aaad95b12a763e196ccb5cd64640c2 2362192 libgecode44_5.1.0-1_amd64.deb
70202869f44c3d1b6badb20b7e5923ecfe63b7ae 1663514
libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb
bd48d19b1092054e02c021c7212aeee54aa6931d 228742
libgecodeflatzinc44_5.1.0-1_amd64.deb
c6b5710f2132a1a7f49dfac9af29a8ea59af6261 3017666
libgecodegist44-dbgsym_5.1.0-1_amd64.deb
b7ef8b6de565d44b2ac759658931c6616e13bebd 165242
libgecodegist44_5.1.0-1_amd64.deb
Checksums-Sha256:
da468883e02c9fdb24d1b45bee06977be4bf747ccd842c7b7fa603999daeaeb0 2142
gecode_5.1.0-1.dsc
f9885f97e0f80b54eaf1a8f9d0c419d831229a689619f6429c6148f5c50740d0 3213603
gecode_5.1.0.orig.tar.gz
38ec97c548f184da23687326ef823b0aa58fd60815c656a31378138dc72e7730 13036
gecode_5.1.0-1.debian.tar.xz
4878d4c5de636bde090c9217e0a114f944d41cfbb83f3bfcfbd51ff204819983 107098
flatzinc-dbgsym_5.1.0-1_amd64.deb
af2904043709bc784fcc2bd7d766f02554ca15d38b6388ba77b0a22253a76953 62994
flatzinc_5.1.0-1_amd64.deb
149bf6f506bda0c96577607f2c777ed9b33f9ad72266a2a70a7c8753bd3e6bdd 13882
gecode_5.1.0-1_amd64.buildinfo
9991e8541f5d584f1385c41c61ec83c0da289b097778ea73fc1c01ff7ec983ba 538978
libgecode-dev_5.1.0-1_amd64.deb
072c42f9942d18ab124366ec015127759b197b2e5694aea8998e47c5833e1d08 10549298
libgecode-doc_5.1.0-1_all.deb
6c3389aac34a1d1ff14a747b0c1517f62c6bd6deff9c511ad5afba01edfd30b3 35877042
libgecode44-dbgsym_5.1.0-1_amd64.deb
1b620cd618a28427d7fb5458dd3210ffd35f6081d151194ef99de21c5960ec15 2362192
libgecode44_5.1.0-1_amd64.deb
0ff85967c2a330da72b3e6fe1e9588ba3f7ad4c1b799016d4cf9d0da768e0735 1663514
libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb
39bfe9ffa312853442fe10c3cd4bb20a2898a2b958920943d76d6ff880eb7df7 228742
libgecodeflatzinc44_5.1.0-1_amd64.deb
267ab73e65b85ba7c5d1aa4db92acf7fa49da732e7a486d2edb260e139df0957 3017666
libgecodegist44-dbgsym_5.1.0-1_amd64.deb
d064d37bc5c8ebd815ba8d306fea75da362af7237adfac58799c5d95ef237147 165242
libgecodegist44_5.1.0-1_amd64.deb
Files:
832a1bf1cde726484b642b73b6c4f1cc 2142 libs optional gecode_5.1.0-1.dsc
79674c35d0af68d6ef8854da756792eb 3213603 libs optional gecode_5.1.0.orig.tar.gz
b74674dcf7f3833b87d6eeb80b3d2d30 13036 libs optional
gecode_5.1.0-1.debian.tar.xz
5aac2e41c7485c519efb49c1ff0a37f8 107098 debug extra
flatzinc-dbgsym_5.1.0-1_amd64.deb
a0461e9c1a1839ab01621834dc672ea5 62994 devel optional
flatzinc_5.1.0-1_amd64.deb
25bb65fb34ec88fb43696f8419d64923 13882 libs optional
gecode_5.1.0-1_amd64.buildinfo
29c91cb7d74be953f7e98d388fc79e8e 538978 libdevel optional
libgecode-dev_5.1.0-1_amd64.deb
c11f5fdc835f3a3d90e9a4d5128eaaa4 10549298 doc optional
libgecode-doc_5.1.0-1_all.deb
d4ac53fe6c2845c255299e1a9e3b0a55 35877042 debug extra
libgecode44-dbgsym_5.1.0-1_amd64.deb
30e7b980bea84655537871176ddcc966 2362192 libs optional
libgecode44_5.1.0-1_amd64.deb
3fa6e77852ed611c5a57da72e1dc420a 1663514 debug extra
libgecodeflatzinc44-dbgsym_5.1.0-1_amd64.deb
359294c612eae59dde851dfc4ece4588 228742 libs optional
libgecodeflatzinc44_5.1.0-1_amd64.deb
dbc8d69004a00204f7a7bd1e5ceaefe4 3017666 debug extra
libgecodegist44-dbgsym_5.1.0-1_amd64.deb
492aef3ccf5b29a85a248168a29bfa3f 165242 libs optional
libgecodegist44_5.1.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEECcOX/lMRGGlaUzRFhAhn7p2PJlwFAlluYAoACgkQhAhn7p2P
Jly6Ow//W/fob5eu0eXm9rlyRZwoF0J6PQqe3PmyrSzySGDg4bVH2cisrT0+dAQ+
jIw/uZ/UVKH3FV0c62tXvh+XjyP7iKEb4+2Gnczs0ozHWyj/H+Wg6qVUCAl1jXPf
VO6k1QiyCYWZcwYJvHzlwW5vGc9f3FBw8T9uA0YVt2KRL5dEQsgDPsiiTUu3wEK3
c2UcdQS4edQtWYvR/5m8//kmF6iellkB4tHLRpulFRB+svf1pX6zVdvPIQ/pO5q1
2pHDN9up22burOlCFl6lFQYYS40bIBgen/uBfL9aOTknOpsgfMvVrxX2+nqVmVgM
RfFg11jVGuErbKwszz/xGPHVgXr+T02PqdF5IzwgUc0IDqwPvao0Ijw0pAp6UWJe
NMgHuqWJp70ELFYfWzBsSLWO19X5i3B2KLMtBlOEtbERkExel5YlY5JiBspFdBql
K0loTl+lVY74OUT3jEDInwH0+wJhMdqETYwC0kWRTxAaNW54L5CXIUoAbAtzNFoL
HOS9SZRlSXlaaFmYcFsSUq8XEcrXz/UWwM/k1IaWS7goROvCVkiRQMrll8pLWnZJ
GItHRDDxSakGzEi9zziwnJD8TMcolIg0AV4h8xOfcAVf94j6R8WJoiMmCEExjQmh
S2wDozCX47YuVuQumE2A42MR/ekl7ec/Bxyyw7kVluHVikm5wDo=
=B7h1
-----END PGP SIGNATURE-----
--- End Message ---
