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.

Reply via email to