Your message dated Fri, 13 Jan 2017 17:33:36 +0000
with message-id <e1cs5jm-0007wy...@fasolo.debian.org>
and subject line Bug#811823: fixed in cvc3 2.4.1-5.1
has caused the Debian Bug report #811823,
regarding cvc3: FTBFS with GCC 6: misc errors
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.)
--
811823: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=811823
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: cvc3
Version: 2.4.1-5
Severity: important
User: debian-...@lists.debian.org
Usertags: ftbfs-gcc-6 gcc-6-no-match
This package fails to build with GCC 6. GCC 6 has not been released
yet, but it's expected that GCC 6 will become the default compiler for
stretch.
Note that only the first error is reported; there might be more. You
can find a snapshot of GCC 6 in experimental. To build with GCC 6,
you can set CC=gcc-6 CXX=g++-6 explicitly.
You may be able to find out more about this issue at
https://gcc.gnu.org/gcc-6/changes.html
> sbuild (Debian sbuild) 0.67.0 (26 Dec 2015) on dl580gen9-02.hlinux
...
> g++ -g -O2 -fstack-protector-strong -Wformat -Werror=format-security -Wall
> -m64 -fPIC -O2 -Wall -I. -I/<<PKGBUILDDIR>>/src/include -Wdate-time
> -D_FORTIFY_SOURCE=2 -c expr.cpp -o
> '/<<PKGBUILDDIR>>/obj/expr/x86_64-linux-gnu/expr.o'
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h: In static member function 'static
> size_t CVC3::ExprString::hash(const string&)':
> /<<PKGBUILDDIR>>/src/include/expr_value.h:667:34: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(str.c_str());
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:667:32: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(str.c_str());
> ~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/src/include/expr_value.h: In static member function 'static
> size_t CVC3::ExprRational::hash(const CVC3::Rational&)':
> /<<PKGBUILDDIR>>/src/include/expr_value.h:751:43: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(r.toString().c_str());
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:751:41: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(r.toString().c_str());
> ~~~~~~~~~~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/src/include/expr_value.h: In member function 'virtual size_t
> CVC3::ExprVar::computeHash() const':
> /<<PKGBUILDDIR>>/src/include/expr_value.h:795:37: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(d_name.c_str());
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:795:35: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(d_name.c_str());
> ~~~~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/src/include/expr_value.h: In member function 'virtual size_t
> CVC3::ExprSymbol::computeHash() const':
> /<<PKGBUILDDIR>>/src/include/expr_value.h:834:37: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind);
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:834:35: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(d_name.c_str())*PRIME + s_intHash(d_kind);
> ~~~~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/src/include/expr_value.h: In member function 'virtual size_t
> CVC3::ExprBoundVar::computeHash() const':
> /<<PKGBUILDDIR>>/src/include/expr_value.h:874:37: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:874:35: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
> ~~~~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/src/include/expr_value.h:874:71: error: no match for call to
> '(std::hash<char*>) (const char*)'
> return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
> ^
>
> In file included from /usr/include/c++/6/bits/basic_string.h:5628:0,
> from /usr/include/c++/6/string:52,
> from /usr/include/c++/6/random:40,
> from /usr/include/c++/6/bits/stl_algo.h:66,
> from /usr/include/c++/6/algorithm:62,
> from expr.cpp:22:
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: candidate: std::size_t
> std::hash<_Tp*>::operator()(_Tp*) const [with _Tp = char; std::size_t = long
> unsigned int] <near match>
> operator()(_Tp* __p) const noexcept
> ^~~~~~~~
>
> /usr/include/c++/6/bits/functional_hash.h:93:7: note: conversion of
> argument 1 would be ill-formed:
> In file included from /<<PKGBUILDDIR>>/src/include/expr_manager.h:445:0,
> from /<<PKGBUILDDIR>>/src/include/expr.h:803,
> from expr.cpp:25:
> /<<PKGBUILDDIR>>/src/include/expr_value.h:874:69: error: invalid conversion
> from 'const char*' to 'char*' [-fpermissive]
> return s_charHash(d_name.c_str())*PRIME + s_charHash(d_uid.c_str());
> ~~~~~~~~~~~^~
>
> /<<PKGBUILDDIR>>/Makefile.std:193: recipe for target
> '/<<PKGBUILDDIR>>/obj/expr/x86_64-linux-gnu/expr.o' failed
> make[3]: *** [/<<PKGBUILDDIR>>/obj/expr/x86_64-linux-gnu/expr.o] Error 1
> make[3]: Leaving directory '/<<PKGBUILDDIR>>/src/expr'
> Makefile:156: recipe for target 'build' failed
> make[2]: *** [build] Error 2
> make[2]: Leaving directory '/<<PKGBUILDDIR>>/src'
--
Martin Michlmayr
Linux for HPE Helion, Hewlett Packard Enterprise
--- End Message ---
--- Begin Message ---
Source: cvc3
Source-Version: 2.4.1-5.1
We believe that the bug you reported is fixed in the latest version of
cvc3, 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 811...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Adrian Bunk <b...@debian.org> (supplier of updated cvc3 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: SHA512
Format: 1.8
Date: Fri, 13 Jan 2017 18:58:49 +0200
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source
Version: 2.4.1-5.1
Distribution: unstable
Urgency: medium
Maintainer: Morgan Deters <mdet...@morgandeters.com>
Changed-By: Adrian Bunk <b...@debian.org>
Description:
cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Closes: 811823
Changes:
cvc3 (2.4.1-5.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Use -std=gnu++98 to fix the build with gcc 6. (Closes: #811823)
Checksums-Sha1:
247510dd6c06f1a279806e48ef734269131c93aa 2046 cvc3_2.4.1-5.1.dsc
72868f65998e420f630ea880096e4a6ff2922e9b 10208 cvc3_2.4.1-5.1.debian.tar.xz
Checksums-Sha256:
c6cb0fd23694694c7dd9b294c609a8da1180c72633817c3e77e4df4d96e8c4a2 2046
cvc3_2.4.1-5.1.dsc
b88085b8cf081ec2da326c403e34b5f3a076e36caa3d7a971595e1350684b993 10208
cvc3_2.4.1-5.1.debian.tar.xz
Files:
db95ea8fe44d85713e3d64ac5f7b48c6 2046 math extra cvc3_2.4.1-5.1.dsc
db968c061f2adbb6bf1817e65b471c8f 10208 math extra cvc3_2.4.1-5.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAlh5ChsACgkQiNJCh6LY
mLFiRQ//cTysfIn2VW+LRAPaCwDmwPbKlgSJLlb+NnNwMB89TT0E6hGAorYcBIVQ
za/KhDdF9BJXYCFcLjngMC6RiU2uOKxeomtc4iXMBvVjAkTsAGQpMcnQ0ZzNDqJZ
ipNXEvgWwu5r2rZy4ewqobSum2k8QaZoeOUhZA8tKMKIn7Hz8EY+kXghvsy7Pmwx
q58673Aj09OFjjufJVxMhfIn5f64IJFkf7rumxhIWhCArIe/8wAk75m0K3GzOTk5
eRL1yL0/pkMe9Il2oISXtGp21WVmtZOEA9gdwuYVcoAjyBWrDEbvi2v0fMrTKKSk
FPl1HaNoOkInjCwhhURQ5mkh+19QVStVa0S3afOWm3qe2hSLAzD17g7KmoE993xp
YiAHlb0s+ctSWnsRyTmEqzKz8dmNqR5f8lHX+eBx0kVJlQXFuST3858sLlh9FxHj
7Kdfec12R8h83ZhI0s5HA21YxXjoGo4W3B5HvoA1evzH013tZc2aLP66wKFk04n6
YFi73yECYyBH2aKFBEHwOMd4lb5qnW6hq0mMdJ9B6r1SRjjBql937Cu3VJLjuFFx
aJ/cP4ymiybAr3L5KwygxDlV/UMzpVSk4h6tW/nMoGyS5lgQiHqf2ZCArz3ydM9s
Xj3CnsRggHLoRVgICuYYjUyglO5RUUpmN/lyYG8bkxabeBZd+QY=
=otAx
-----END PGP SIGNATURE-----
--- End Message ---
