Source: cbmc Version: 4.3-6 Severity: serious Tags: jessie sid User: [email protected] 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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
