Your message dated Tue, 03 Jul 2018 12:20:05 +0000
with message-id <e1fakht-00070u...@fasolo.debian.org>
and subject line Bug#871068: fixed in cbmc 5.9-1
has caused the Debian Bug report #871068,
regarding cbmc: FTBFS: wmm/abstract_event.h:23:7: error:
'<anonymous>.abstract_eventt::operation' may be used uninitialized in this
function [-Werror=maybe-uninitialized]
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.)
--
871068: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871068
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: cbmc
Version: 5.6-1
Severity: serious
Tags: buster sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20170805 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
> g++ -c -MMD -MP -std=c++11 -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=.
> -fstack-protector-strong -Wformat -Werror=format-security -Wall -O2 -g
> -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses
> -Wno-strict-aliasing -pedantic -I .. -DHAVE_JAVA_BYTECODE -o wmm/goto2graph.o
> wmm/goto2graph.cpp
> In file included from wmm/event_graph.h:21:0,
> from wmm/goto2graph.h:22,
> from wmm/goto2graph.cpp:28:
> wmm/abstract_event.h: In member function 'graph<N>::node_indext
> graph<N>::add_node() [with N = abstract_eventt]':
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::operation'
> may be used uninitialized in this function [-Werror=maybe-uninitialized]
> class abstract_eventt:public graph_nodet<empty_edget>
> ^~~~~~~~~~~~~~~
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::thread' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::id' may be
> used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::local' may be
> used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::WRfence' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::WWfence' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::RRfence' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::RWfence' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::WWcumul' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::RWcumul' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> wmm/abstract_event.h:23:7: error: '<anonymous>.abstract_eventt::RRcumul' may
> be used uninitialized in this function [-Werror=maybe-uninitialized]
> cc1plus: all warnings being treated as errors
> ../common:167: recipe for target 'wmm/goto2graph.o' failed
> make[3]: *** [wmm/goto2graph.o] Error 1
The full build log is available from:
http://aws-logs.debian.net/2017/08/05/cbmc_5.6-1_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
--- End Message ---
--- Begin Message ---
Source: cbmc
Source-Version: 5.9-1
We believe that the bug you reported is fixed in the latest version of
cbmc, 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 871...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (supplier of updated cbmc 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: SHA256
Format: 1.8
Date: Mon, 02 Jul 2018 17:12:01 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 5.9-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
cbmc - bounded model checker for C and C++ programs
Closes: 871068
Changes:
cbmc (5.9-1) unstable; urgency=low
.
* New upstream release (Closes: #871068)
Checksums-Sha1:
a0d86580dbbaefc5ad01519752d2502df9dfde64 2073 cbmc_5.9-1.dsc
628f41d9ccdf551161e0f47a374f967da25992f1 173159
cbmc_5.9.orig-java-models-library.tar.gz
49bb7f719f778ec3393933fc7ea28f3544298e6e 6262353 cbmc_5.9.orig.tar.gz
965fd0a4f98be0ccd86d32a4a8e45c89be5b1047 11176 cbmc_5.9-1.debian.tar.xz
b8a7f859896b068f609d9cc438d0e190e6430f13 310793220 cbmc-dbgsym_5.9-1_i386.deb
f201d0212fae37d8e4a8c9896b1c42cabedd16cb 7527 cbmc_5.9-1_i386.buildinfo
5194fba0a7b416b28668a4688ae05608c1a31b8d 9997724 cbmc_5.9-1_i386.deb
Checksums-Sha256:
799261af1100fe709a7c50942177b6207a920f99f65fbcbd22a2218c53fb7e11 2073
cbmc_5.9-1.dsc
05262cf301bcc91e0236b6ca92cab895c78d0e3156aa9152e7cabab7f4cba466 173159
cbmc_5.9.orig-java-models-library.tar.gz
e57b07036475267bc158694003fb546d128a54b556553e5e129e967972d81fd1 6262353
cbmc_5.9.orig.tar.gz
49f0f1a7ef72f5c005bbcd3505e76f498f528ad9a8083d46ac52f1233989e9ca 11176
cbmc_5.9-1.debian.tar.xz
24bdcaabc9d819c2bd98bd898589d6f74677b85a77b99852d409909c0b2adcc5 310793220
cbmc-dbgsym_5.9-1_i386.deb
be42b6a5139755af00a6588876e027aad5e2fe40f1bd5ffc6ab48750eaf18734 7527
cbmc_5.9-1_i386.buildinfo
8f3768be9971befcd66f48ce273d29cfb7095620f9e94a9aece7011e2c9f8e35 9997724
cbmc_5.9-1_i386.deb
Files:
5918ed637b54078e65fe8d5900aebe7b 2073 science optional cbmc_5.9-1.dsc
dec7966920798332e57029ce6a5cee6c 173159 science optional
cbmc_5.9.orig-java-models-library.tar.gz
f233cdc9764fffadad5997f22df9a669 6262353 science optional cbmc_5.9.orig.tar.gz
73279c514d0206f095f9dc6931b9aaa5 11176 science optional
cbmc_5.9-1.debian.tar.xz
3cdc7f56118a17f7ed6346aa7cb466c6 310793220 debug optional
cbmc-dbgsym_5.9-1_i386.deb
9de8e6c15af233c350a264f69c7bdb28 7527 science optional
cbmc_5.9-1_i386.buildinfo
878bba853f586d68101eaa4d314e251a 9997724 science optional cbmc_5.9-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org
iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAls7YuoOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTHa4Q//dJMaYuC/jzM1u0GzFXzgMyg4RtJafZxJ4aDZ
dJcm00RIxmc1tuWOW9u6iBECQ5I3JZog3M0n75+9JdV5gk2JZYxY7N5UhY0XsYZn
D1JQ75hwt4O2KPcZAPwgisHf1fypJlENLXp2xzSL8OiX6PHuBb+WPEEWcXz/9qQI
yEzzhsXDUzeFt+W6Iu+YQufDK9q2uya7iDJenAsAobmq0bv6CbfeV72ariFY4HfO
anE0YNwKdashXqLGq5UO6/1LPB6mwLXQ5jjzCNg7tiK285DZ6NaiZBafeL29i5ud
XVUpp1nTOV7XIbDYhUrCmNa3pFRMAqnvMGprED1F3DF3QR1zUpiQfx4KWTK+Z3V1
M3RNUeK7l4pi7EJ9h9ecbUTnvvULwLDnGQ0hheu8OoBUhyu4/hMk6RDRbnmlEKNL
PQTEQN/moBRlePGLeLumlUN2A5VneArA89IBlgRAer79+KIdsghGBEaRiIKYCcx/
z/OkHeTKMNaRyEAC402GtyFn/TfXxB5n76BZlMcgeUVA/pB5yWVazvRJmSIZifBW
uVg1hpvot+0Snx3o0n+aS3iPGMuX7F1OxEWjd1xp6W/Cw4fxkUV6TvuXCy2SO0lq
7AuV7HdiPk7ORmcJMsH9mpuFqFRMuv/BUwG1aRMbMrKsBABCX7huBuL9btWBr+1H
/kDgGJw=
=gNfB
-----END PGP SIGNATURE-----
--- End Message ---
