Your message dated Wed, 10 Jul 2013 13:48:05 +0000
with message-id <e1uwukx-0003cn...@franck.debian.org>
and subject line Bug#713605: fixed in cbmc 4.4-1
has caused the Debian Bug report #713605,
regarding cbmc: FTBFS: wmm/goto2graph.cpp:935:20: error: 'current_po' 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.)
--
713605: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=713605
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: cbmc
Version: 4.3-6
Severity: serious
Tags: jessie sid
User: debian...@lists.debian.org
Usertags: qa-ftbfs-20130620 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> g++ -c -MMD -MP -DSTL_HASH_TR1 -g -O2 -fstack-protector
> --param=ssp-buffer-size=4 -Wformat -Werror=format-security -Wall -O2 -g
> -Werror -Wno-long-long -Wno-sign-compare -Wno-parentheses
> -Wno-strict-aliasing -pedantic -I .. -I ../util -DHAVE_CPP -o
> wmm/goto2graph.o wmm/goto2graph.cpp
> wmm/goto2graph.cpp: In member function 'bool
> instrumentert::is_cfg_spurious(const event_grapht::critical_cyclet&)':
> wmm/goto2graph.cpp:935:20: error: 'current_po' may be used uninitialized in
> this function [-Werror=maybe-uninitialized]
> goto_programt* current_po;
> ^
> cc1plus: all warnings being treated as errors
> make[3]: *** [wmm/goto2graph.o] Error 1
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2013/06/20/cbmc_4.3-6_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: 4.4-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 713...@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: Wed, 10 Jul 2013 12:39:13 +0100
Source: cbmc
Binary: cbmc
Architecture: source i386
Version: 4.4-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: 701253 713605
Changes:
cbmc (4.4-1) unstable; urgency=low
.
* New upstream release (Closes: #701253, #713605)
Checksums-Sha1:
b2eb8fa9266b20cd82400be3dba369f0df9945b0 1741 cbmc_4.4-1.dsc
f87479b4ef9ecd72bb7eb456e3a93ba553e76b70 3749566 cbmc_4.4.orig.tar.gz
aca2635ca5fd86ae928b0d5ca08f22b62568fe8f 5706 cbmc_4.4-1.debian.tar.gz
6eb79659f1fc0ac4123f33b8f9aa468ff9a377e9 5593596 cbmc_4.4-1_i386.deb
Checksums-Sha256:
b9ac24f30c00693ef66967d585401907cc97f04251005dd1558dab0975e98bb0 1741
cbmc_4.4-1.dsc
2d23471dfc9edf108263c103ed3e9d70f53047e7c4cb46feabb79926ed737086 3749566
cbmc_4.4.orig.tar.gz
72891aea51c2fbd7b2862c5eca97701636dbe3eb56995b8224c1aa42396ee1a9 5706
cbmc_4.4-1.debian.tar.gz
4729bbc33fedb5c0bf984bda35b74308c7ab1329405af89a323d8057ef14d7e8 5593596
cbmc_4.4-1_i386.deb
Files:
8fbb3c027ea6cefa180e74121d8bcc45 1741 science extra cbmc_4.4-1.dsc
1451356db27e9b5e12641771d8339bda 3749566 science extra cbmc_4.4.orig.tar.gz
f83b9bea674b7e339457b93243f1b550 5706 science extra cbmc_4.4-1.debian.tar.gz
c04459aee01e6fc37e1c4fa6591b69e9 5593596 science extra cbmc_4.4-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJR3WMVAAoJEKjvEonjOGdBRAEP/R0puAitkCyF2JmjT56hjWMI
lNT9aEnk3w1ffELKIonhyxZIotU/fLqn6wv5jr8sXzJG5olbaAIkICWEmEfGGQDK
TqRlN4+1fXEw4FaOdaDVD7aAbaaAOApI/2f0zSPvAEpIgasmGqS7zfNiraSn3OQw
wxLT3YHf+n7BK1R7sK36WgnLJtaoO1G+c6OEkIPqbuD+BKsg9Jk91Ax5b2yCZhhx
xaWYzUcpTekkTpH/1Ev4j8zNhWvEHuIhK+k7kcav+hrhBB8+5CvpDPxyZvrD+kiC
+jJQZt49/g06V7BSqkMCvbTl86UKHsech8qlmJ5fp4GqmUMhHyi/2O3j8wJZ9yAh
YComDxnCinif3/d33Pq8gFDJ6YsrpEUjolD80KOFhNSyGNDe4vBEPjXPVgCtgrBS
3m0UBwl76TjQXEfdDxQM5MzeM/93IrpOuATQ3Rd7smQPam/zAsSPsyNOTTADBSc0
Pj1gCFXQ2r+9avuyRD9bHBKlHRBXVlN/c5zB0oI6mRDMxF1BZkUKq7d0RF1Da8yT
nkOSsEKNemmVM9271X/+m0++XUvlNmYz28EM/rYgN2EnOXrOVaZ75lRWZAbHDJIQ
hNNv3FaFKLjkX7Rw72FxQFYXE8IVf1apyV0WNE9dX1yikN+sE6we8kNg96kpmjuH
89QklOPariVKnjphgdT7
=c+an
-----END PGP SIGNATURE-----
--- End Message ---
