Source: cbmc Version: 5.6-1 Severity: serious Tags: buster sid User: [email protected] 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.

